In: Formal Methods and Software Engineering (ICFEM 2002), Proceedings of the 4th International Conference on Formal Engineering Methods, Shanghai, China, October 21-25, 2002, pages 48-56. Volume 2495 of Lecture Notes in Computer Science / C. George, H. Miao (Eds.) --- Springer Verlag, October 2002.
Abstract: OMG has provided a set of Common Object Services (COS), which help users to build large-scale distributed CORBA applications, but Common Object Services Specifications (COSS) don't contain integrated formal descriptions. Petri-nets are a powerful instrument for modeling, analyzing, and simulating dynamic systems with concurrent and non-deterministic behavior. This paper introduces a high-level Object-oriented extended Petri nets to express the behaviors of individual objects as well as the concurrency between different objects and concurrency internal to an object in the context of CORBA, and gives an example for formal description of CORBA Objects.