LfP : A specification language for rapid prototyping of concurrent systems

Dan Regep 1 Fabrice Kordon 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
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).
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01571157
Contributor : Lip6 Publications <>
Submitted on : Tuesday, August 1, 2017 - 4:28:45 PM
Last modification on : Thursday, March 21, 2019 - 1:13:47 PM

Identifiers

Citation

Dan Regep, Fabrice Kordon. LfP : A specification language for rapid prototyping of concurrent systems. 12th IEEE International Workshop on Rapid System Prototyping, Jun 2001, Monterey, United States. pp.90-96, ⟨10.1109/IWRSP.2001.933844⟩. ⟨hal-01571157⟩

Share

Metrics

Record views

254