|
|
|
 |
|
 |
|
Formal Support for the Engineering of CORBA-based Distributed Object Systems
|
R. Bastide,
O. Sy, and
P. Palanque
View Paper (PDF)
Return to Track I: Semantics
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.
Copyright(C) 2000 ACM
|
|
|
|
|
|
|
