LfP : A specification language for rapid prototyping of concurrent systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2001

LfP : A specification language for rapid prototyping of concurrent systems

Dan Regep
  • Fonction : Auteur
  • PersonId : 1009154
Fabrice Kordon

Résumé

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).
Fichier non déposé

Dates et versions

hal-01571157 , version 1 (01-08-2017)

Identifiants

Citer

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⟩
184 Consultations
0 Téléchargements

Altmetric

Partager

More