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
    不详
    [J]. 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.
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. INCOSE International Symposium, 1994, 4 (01) : 125 - 130
  • [36] FORMAL SPECIFICATION OF MULTILINGUAL ALPHANUMERIC ORDERING SYSTEMS
    GAITANIS, N
    KOKKOTOS, S
    [J]. 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
    [J]. Eur J Control, 2006, 2 (132-133):
  • [38] Formal specification of symbolic-probabilistic systems
    López, N
    Núñez, M
    Rodríguez, I
    [J]. APPLYING FORMAL METHODS: TESTING, PERFORMANCE, AND M/E- COMMERCE, PROCEEDINGS, 2004, 3236 : 114 - 127
  • [39] Formal specification of multilingual alphanumeric ordering systems
    N.C.S.R. 'Demokritos', Aghia Paraskevi, Greece
    [J]. Comput Stand Interfaces, 5-6 (535-552):
  • [40] On Methods for the Formal Specification of Fault Tolerant Systems
    Mazzara, Manuel
    [J]. PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DEPENDABILITY (DEPEND 2011), 2011, : 72 - 81
12345