Formal Specification and Prototyping of CORBA Systems

Authors:
Rémi Bastide;Ousmane Sy;Philippe A. Palanque
Affiliations:
-;-;-
Venue:
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Year:
1999

Citing 15
Cited 4

Larch: languages and tools for formal specification

Larch: languages and tools for formal specification
Systematic concurrent object-oriented programming

Communications of the ACM
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
OMG overview: CORBA and the OMA in enterprise computing

Communications of the ACM
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Common Object Services Specification: Atandt/NCR, Bnr Europe Limited, Digital Equipment Corporation ..

Common Object Services Specification: Atandt/NCR, Bnr Europe Limited, Digital Equipment Corporation ..
Object-Oriented Behavioral Specifications

Object-Oriented Behavioral Specifications
Executable Object Modeling with Statecharts

Computer
Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language

AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
A Petri Net based Environment for the Design of Event-driven Interfaces

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Life-Cycle Inheritance: A Petri-Net-Based Approach

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Petri Nets as Token Objects: An Introduction to Elementary Object Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Cooperative Nets

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A General Systematic Approach to Arc Extensions for Coloured Petri Nets

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

IEEE Transactions on Software Engineering

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Runtime Validation of Behavioural Contracts for Component Software

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Specifying interaction constraints of software components for better understandability and interoperability

ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Typing the Behavior of Software Components using Session Types

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.