Abstract
This paper presents an object-oriented language (OOL) designed to allow the easy description of objects with concurrent behavior. In this language, concurrency, objects' behavior and inter-objects communication are formally described in terms of high-level Petri nets (HLPN). The language relies on a client-server organisation of objects, and retains the most important features common to sequential OOL: classification, encapsulation, inheritance, instantiation and dynamic use relationship. The language allows one to provide both an abstract specification for a class, in the spirit of abstract data types, and one or several executable implementations. Object-oriented notations and PN designs are not kept apart, but on the contrary tightly integrated in a syntactically and semantically coherent framework. The PN theory allows for static analysis of the programs, and provides means for executing them. >
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
