loading...
LfP : A Specification Language for Rapid Prototyping of Concurrent Systems
Monterey, California June 25-June 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IWRSP.2001.93384412th IEEE International Workshop on R ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Dan Regep, Fabrice Kordon, "LfP : A Specification Language for Rapid Prototyping of Concurrent Systems," Rapid System Prototyping, IEEE International Workshop on, pp. 0090, 12th IEEE International Workshop on Rapid System Prototyping (RSP'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/IWRSP.2001.933844,
author = {Dan Regep and Fabrice Kordon},
title = {LfP : A Specification Language for Rapid Prototyping of Concurrent Systems},
journal ={Rapid System Prototyping, IEEE International Workshop on},
volume = {0},
year = {2001},
isbn = {0-7695-1206-2},
pages = {0090},
doi = {http://doi.ieeecomputersociety.org/10.1109/IWRSP.2001.933844},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Rapid System Prototyping, IEEE International Workshop on
TI - LfP : A Specification Language for Rapid Prototyping of Concurrent Systems
SN - 0-7695-1206-2
SP
EP
A1 - Dan Regep,
A1 - Fabrice Kordon,
PY - 2001
KW - Modelling of embedded distributed systems
KW - Formal verification
KW - Automatic distributed program generation
KW - UML extensions
KW - ODP.
VL - 0
JA - Rapid System Prototyping, IEEE International Workshop on
ER -
 
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).
Index Terms:
Modelling of embedded distributed systems, Formal verification, Automatic distributed program generation, UML extensions, ODP.
Citation:
Dan Regep, Fabrice Kordon, "LfP : A Specification Language for Rapid Prototyping of Concurrent Systems," rsp, pp.0090, 12th IEEE International Workshop on Rapid System Prototyping (RSP'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.