LfP:: A specification language for rapid prototyping of concurrent systems

被引：0

作者：

Regep, D ^{[1
]}

Kordon, F ^{[1
]}

机构：

[1] CS TELECOM, F-92263 Fontenay Aux Roses, France

来源：

12TH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS | 2000年

关键词：

modelling of embedded distributed systems; formal verification; automatic distributed program generation; UML extensions; ODP;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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). LfT 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).

引用

页码：90 / 96

页数：7

共 50 条

[1] <bold>RealSpec: An Executable Specification Language for Prototyping Concurrent Systems</bold>
Khwaja, Amir A.
Urban, Joseph E.
[J]. RSP 2008: 19TH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2008, : 3 - +
[2] Rapid prototyping of specification language implementations
Leucker, M
Noll, T
[J]. TENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS, 1999, : 60 - 65
[3] PROSPER - A LANGUAGE FOR SPECIFICATION BY PROTOTYPING
LESZCZYLOWSKI, J
BIEMAN, JM
[J]. COMPUTER LANGUAGES, 1989, 14 (03): : 165 - 180
[4] The rapid prototyping methodology and its support language - Visual system specification and design language
Tan, WA
Xuhong
Zhou, BS
[J]. OBJECT-ORIENTED TECHNOLOGY, 1998, : 82 - 87
[5] An executable specification language for fast prototyping parallel responsive systems
Heping, H
Zedan, H
[J]. COMPUTER LANGUAGES, 1996, 22 (01): : 1 - 13
[6] A domain specific language and methodology for control systems GUI specification, verification and prototyping
Risoldi, Matteo
Buchs, Didier
[J]. VL/HCC 2007: IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2007, : 179 - +
[7] CONCURRENT INTELLIGENT RAPID PROTOTYPING ENVIRONMENT
MASOOD, SH
LIM, BS
[J]. JOURNAL OF INTELLIGENT MANUFACTURING, 1995, 6 (05) : 291 - 310
[8] SPECIFICATION AND PROTOTYPING OF A COMPILER FOR A SMALL APPLICATIVE LANGUAGE
HUSSMANN, H
RANK, C
[J]. ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 403 - 418
[9] SPECIFICATION AND PROTOTYPING OF A COMPILER FOR A SMALL APPLICATIVE LANGUAGE
HUSSMANN, H
RANK, C
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 403 - 418
[10] FUNCTIONAL PROGRAMMING, FORMAL SPECIFICATION, AND RAPID PROTOTYPING
HENDERSON, P
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 241 - 250

← 1 2 3 4 5 →