Formal support for the engineering of CORBA-based distributed object systems

Author

Bastide, Rémi ; Sy, Ousmane ; Palanque, Philippe

Author_Institution

LIHS-FROGIS, Univ. Toulouse I, France

fYear

1999

fDate

1999

Firstpage

264

Lastpage

272

Abstract

We present a CASE tool based on an object oriented Petri net dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used for the formal behavioural specification of objects, and its associated tool puts an emphasis on supporting the design life cycle of CORBA systems. The tool offers enhanced interactivity to present the results derived from the capabilities of verification, validation and distributed interpretation provided by Cooperative Objects

Keywords

Petri nets; computer aided software engineering; distributed object management; formal specification; interactive systems; CASE tool; CORBA based distributed object systems engineering; CORBA systems; Cooperative Objects; design life cycle; distributed interpretation; enhanced interactivity; formal behavioural specification; formal support; object oriented Petri net dialect; validation; Computer aided software engineering; Computer languages; Costs; Design engineering; Electrical capacitance tomography; Petri nets; Software design; Software prototyping; Software tools; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Objects and Applications, 1999. Proceedings of the International Symposium on

Conference_Location

Edinburgh

Print_ISBN

0-7695-0182-6

Type

conf

DOI

10.1109/DOA.1999.794042

Filename

794042