By Topic

LfP: A specification language for rapid prototyping of concurrent systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Regep, D. ; CS Telecom, Fontenay-aux-Roses, France ; Kordon, F.

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)

Published in:

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

Date of Conference: