Formal specification and prototyping of CORBA systems

被引：0

作者：

Bastide, R ^{[1
]}

Sy, O ^{[1
]}

Palanque, P ^{[1
]}

机构：

[1] Univ Toulouse 1, FROGIS, LIHS, F-31042 Toulouse, France

来源：

ECOOP'99 - OBJECT-ORIENTED PROGRAMMING | 1999年 / 1628卷

关键词：

formal methods; distributed object-oriented systems; CORBA; Petri nets; behavioral specification;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets. This technique allows specifying in an abstract, concise and precise way the behavior of CORBA servers, including internal concurrency and synchronization. As the behavioral specification is fully executable, this approach also enables to early prototyping and testing of a distributed object system as soon as the behaviors of individual objects have been defined. The paper discusses several implementation issues of the multithreaded, distributed interpreter built for that purpose. The high level of formality of the chosen formalism allows for mathematical analysis of behavioral specifications.

引用

下载

页码：474 / 494

页数：21

共 50 条

[31] Formal driven prototyping approach for multiagent systems
SeT Laboratory, UTBM, 90010 Belfort Cedex, France
不详
Int. J. Agent-Oriented Softw. Eng., 2008, 2 (246-266):
[32] Resource Specification for Prototyping Human-Intensive Systems
Shin, Seung Yeob
Brun, Yuriy
Osterweil, Leon J.
Balasubramanian, Hari
Henneman, Philip L.
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, 2015, 9033 : 332 - 346
[33] LfP:: A specification language for rapid prototyping of concurrent systems
Regep, D
Kordon, F
12TH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2000, : 90 - 96
[34] A METHOD OF HIERARCHICAL SPECIFICATION AND PROTOTYPING OF FLEXIBLE MANUFACTURING SYSTEMS
AMAR, S
CRAYE, E
GENTINA, JC
RAIRO-AUTOMATIQUE-PRODUCTIQUE INFORMATIQUE INDUSTRIELLE-AUTOMATIC CONTROL PRODUCTION SYSTEMS, 1992, 26 (5-6): : 483 - 514
[35] RAPID PROTOTYPING IN REQUIREMENTS SPECIFICATION PHASE OF SOFTWARE SYSTEMS
Ghajar-Dowlatshahi, Jahangir
Vernekar, Ashok
INCOSE International Symposium, 1994, 4 (01) : 125 - 130
[36] FORMAL SPECIFICATION OF MULTILINGUAL ALPHANUMERIC ORDERING SYSTEMS
GAITANIS, N
KOKKOTOS, S
COMPUTER STANDARDS & INTERFACES, 1995, 17 (5-6) : 535 - 552
[37] Discussion on: Formal Specification Method for Systems Automation
Instituto de Investigación en Informá tica de Albacete, Universidad de Castilla-La Mancha, Campus Univ. s/n, Albacete, Spain
Eur J Control, 2006, 2 (132-133):
[38] Formal specification of multilingual alphanumeric ordering systems
N.C.S.R. 'Demokritos', Aghia Paraskevi, Greece
Comput Stand Interfaces, 5-6 (535-552):
[39] Formal specification of symbolic-probabilistic systems
López, N
Núñez, M
Rodríguez, I
APPLYING FORMAL METHODS: TESTING, PERFORMANCE, AND M/E- COMMERCE, PROCEEDINGS, 2004, 3236 : 114 - 127
[40] On Methods for the Formal Specification of Fault Tolerant Systems
Mazzara, Manuel
PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DEPENDABILITY (DEPEND 2011), 2011, : 72 - 81

← 1 2 3 4 5 →