LfP: A specification language for rapid prototyping of concurrent systems
2001
We present LfP: a specification Language for rapid prototyping of embedded concurrent systems. LfP is a graphical coordination language providing facilities of an architecture description language (ADL). LfP can be linked to an UML-based methodology. It aims to provide a UML description with structured information enabling formal verification and automatic generation of distributed programs. To do so, we inspired LfP from principles stated in ODP (computational, engineering and technological viewpoints).
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
23
References
13
Citations
NaN
KQI