Abstract
This paper presents a concurrent object-oriented modeling language based on Petri nets: OMNets, which helps greatly to avoid the inheritance anomaly problem appeared in concurrent OO languages. OMNets separates the functional part and the synchronization part of objects and uses Petri nets to describe the synchronization part. Both parts are reusable through inheritance.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Matsuoka S, Yonezawa A. Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages. Research Directions in Concurrent Object-Oriented Programming, Agha G, Yonenawa A, Wegner P (eds.), The MIT Press, 1993, pp. 107–150.
Ferenczi S. Guarded methods vs. inheritance anomaly.ACM SIGPLAN Notices 1995, 30(2): 49–58.
Mitchell S E. TAO — A model for the integration of concurrency and synchronisation in object-oriented programming [dissertation]., Department of Computer Science, York University, UK, 1995.
Rèmi Bastide. Approaches in unifying Petri nets and the object-oriented approach. InProceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, 1995.
Yu Jian. Concurrent object-oriented modeling with Petri nets [dissertation]. Department of Computer Science and Technology, Peking University, 2001.
Kafura D G, Lee K H. Inheritance in actor based concurrent object-oriented languages. InProceedings of the 3rd European Conference on Object-Oriented Programming (ECOOP’89), Cambridge University Press, 1989, pp. 131–145.
Burns A, Wellings A. Real-Time Systems and Their Programming Languages. Addison-Wesley, 1989.
Vander Aalst W M P, Basten J. Life-cycle inheritance: A Petri-net-based approach. In18th Int. Conf. the Application and Theory of Petri Nets, also inLecture Notes in Computer Science 1248, Toulouse, France, Springer-Verlag, 1997, pp. 62–81.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the National Natural Science Foundation of China under grant No.69973003 and by the NKBRSF (973) of China under grant No.G1999032706.
Rights and permissions
About this article
Cite this article
Yu, J., Wang, S. & Yuan, C. Solving inheritance anomaly with OMNets. J. Comput. Sci. & Technol. 17, 101–105 (2002). https://doi.org/10.1007/BF02949830
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02949830