Formal Description and Analysis on CORBA Specifications
Zheng Hong①; Li Shi-xian②
①Dept of Computer Science and Engineering East China University of Science and Tech., Shanghai 200237 China;②Dept of Computer Science Zhongshan University Guangzhou 510275 China
Abstract:CORBA has provided a set of Common Object Services (COS), which help users to build large-scale distributed applications, but Common Object Services Specifications (COSS) do not include integrated formal description. Petri nets are a powerful instrument for modeling, analyzing, and simulating dynamic systems with concurrent and non-deterministic behavior. An extended colored Petri net is introduced to express the behaviors of individual objects, the concurrency between different objects as well as the intra-object concurrency in the context of CORBA, and gives an example for formal description of CORBA objects.