The Description of CORBA Objects Based on Petri Nets

Authors:
Hong Zheng;Shi-xian Li
Affiliations:
-;-
Venue:
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Year:
2002

Citing 3
Cited 0

Modeling a groupware editing tool with cooperative objects

Concurrent object-oriented programming and petri nets
Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language

AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Towards Reusable Colored Petri Nets

PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

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.