|
|
|
| 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.
|
|
Received: 29 January 2003
|
|
|
|
|
|
|
|
|
2004, Vol. 26 
