Title :
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
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;
Conference_Titel :
Distributed Objects and Applications, 1999. Proceedings of the International Symposium on
Conference_Location :
Edinburgh
Print_ISBN :
0-7695-0182-6
DOI :
10.1109/DOA.1999.794042
