Title :
LfP: A specification language for rapid prototyping of concurrent systems
Author :
Regep, Dan ; Kordon, Fabrice
Author_Institution :
CS Telecom, Fontenay-aux-Roses, France
Abstract :
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 :
embedded systems; formal verification; program compilers; software prototyping; specification languages; LfP; UML description; UML-based methodology; architecture description language; automatic generation; concurrent systems; distributed programs; embedded concurrent systems; formal verification; graphical coordination language; rapid prototyping; specification language; Architecture description languages; Computer architecture; Explosions; Formal verification; Prototypes; Software architecture; Software prototyping; Specification languages; Telecommunications; Unified modeling language;
Conference_Titel :
Rapid System Prototyping, 12th International Workshop on, 2001.
Conference_Location :
Monterey, CA
Print_ISBN :
0-7695-1206-2
DOI :
10.1109/IWRSP.2001.933844
