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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The Common Object Request Broker:Architecture and Specification, CORBA 2.4.2 (February 2001)
Hong, J.-E., Lee, N.H., Cha, S.D., Bae, D.H.: Towards reusable colored Petri nets. In: Proceedings of International Symposium on Software Engineering for Parallel and Distributed, Systems, Kyoto, Japan (April 1998) 223–229
Lakos, C.: The object orientation of object Petri nets. In: Proceeding of the International Workshop on Object-oriented and Models of Concurrency Turin, Italy (June 1995)
Lakos, C., Keen, C.D.: LOOPN++: a New Language for Object-Oriented Petri Nets. European Simulation Multiconference, Barcelona, Spain (June 1994)
Maier, C., Moldt, D.: Object Coloured Petri Nets-a Formal Technique for Object Ori-ented Modelling. In: Farwer, B.; Moldt, D.; Stehr, M.-O. (Eds.): Petri Nets in System Engineering, Modelling, Verification and Validation. University of Hamburg (1997) 11–19
Object Management Group: Deployment and Configuration of Component-based Distributed Applications, OMG Document: orbos/2002-01-19 (2002)
Petri, C.A.: Kommunikation Mit Automaten. PhD Thesis, Institut fur Instrumentelle Mathematik, Bonn (1962).
Rémi, B., Philippe, P.: Modeling a Groupware Editing Tool With Cooperative Objects, Concurrent Object-Oriented Programming and Petri Nets. Gul A. Agha, and Fiorella De Cindio, editors. Wien: Springer-Verlag (1998)
Sriram, S.: Introducing Formal Methods to Software Engineers Through OMG’s CORBA Environment and Interface Definition Language, Algebraic Methodology and Software Technology. In: 5th International Conference, AMAST’ 96, Munich, Germany, July 1–5, 1996. Martin Wirsing, and Maurice Nivat, Editors. ed. Lecture Notes In Computer Science, no. 1101. Springer (1996) 52–61
Verkoulen, P.A.C.: Integrated Information Systems Design: An Approach Based on Object-Oriented Concepts and Petri Nets. PhD Thesis, Technical University of Eindhoven, the Netherlands (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zheng, H., Li, Sx. (2002). The Description of CORBA Objects Based on Petri Nets. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_7
Download citation
DOI: https://doi.org/10.1007/3-540-36103-0_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00029-7
Online ISBN: 978-3-540-36103-9
eBook Packages: Springer Book Archive