Formal Support for the Engineering of CORBA-based Distributed Object Systems

Authors:
Rémi Bastide;Ousmane Sy;Philippe Palanque
Affiliations:
-;-;-
Venue:
DOA '99 Proceedings of the International Symposium on Distributed Objects and Applications
Year:
1999

Citing 0
Cited 3

Formal specification of CORBA services: experience and lessons learned

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modeling a groupware editing tool with cooperative objects

Concurrent object-oriented programming and petri nets
LfP: A Specification Language for Rapid Prototyping of Concurrent Systems

RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a CASE tool based on an object-oriented Petri nets dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used for the formal behavioral 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.