Rapid System Prototyping, IEEE International Workshop on (2001)
June 25, 2001 to June 27, 2001
Dan Regep , CS TELECOM
Fabrice Kordon , Université P. & M. Curie
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).
Modelling of embedded distributed systems, Formal verification, Automatic distributed program generation, UML extensions, ODP.
Dan Regep, Fabrice Kordon, "LfP : A Specification Language for Rapid Prototyping of Concurrent Systems", Rapid System Prototyping, IEEE International Workshop on, vol. 00, no. , pp. 0090, 2001, doi:10.1109/IWRSP.2001.933844