LfP: A specification language for rapid prototyping of concurrent systems

Author

Regep, Dan ; Kordon, Fabrice

Author_Institution

CS Telecom, Fontenay-aux-Roses, France

fYear

2001

fDate

2001

Firstpage

90

Lastpage

96

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Rapid System Prototyping, 12th International Workshop on, 2001.

Conference_Location

Monterey, CA

Print_ISBN

0-7695-1206-2

Type

conf

DOI

10.1109/IWRSP.2001.933844

Filename

933844