Using Petri nets for specifying active objects and generative communication

DOI10.1007/3-540-45397-0_2MaRDI QIDQ2761703zbMATH OpenFDO

Authors Tom Holvoet, Pierre Verbaeten

Publication date 7 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2001/20010038

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Review text

A majority of the research committee dealing with the development of advanced future software systems appears to agree upon the \textit{requirements} that a software modelling approach should meet. In short, it should enable a cost-effective software development for open parallel and distributed systems. One concept that is intrinsicly involved is \textit{agent-based modelling techniques}, which combine object technology with concurrency. Most current approaches to combining objects and concurrency fail to provide a well-founded integration of the conflicting dimensions in advanced object-oriented environments, such as classes, inheritance, concurrency and types. This paper first elaborates on the set of requirements of an advanced software development approach. Thereafter, it discusses an approach for modelling, implementing and reasoning upon such systems. It is based on principles of concurrent object-orientation, generative communication --- in particular the coordination language called Objective Linda --- and Petri nets. The main contribution of this paper is to provide formal definitions of a Petri net formalism that is used to provide (1) semantics for the Objective Linda language, and (2) modelling the internal behaviour of concurrent objects. The approach is illustrated through a case study, proposed by C. Sibertin-Blanc. The case is a variant of the well known dining philosophers problem, called the Hurried Philosophers problem. For the entire collection see [Zbl 0976.68544].

Recommendations

• Concurrency in communicating object Petri nets
• Integrated Formal Methods
• Object oriented modelling with object Petri nets
• Applications and Theory of Petri Nets 2004
• Lectures on Concurrency and Petri Nets

Cited in

(8)

• Behaviour specification of parallel active objects
• Translating active objects into colored Petri nets for communication analysis
• Concurrency in communicating object Petri nets
• CoOperative objects: principles, use and implementation
• Net models for concurrent object behaviour
• scientific article; zbMATH DE number 2079534 (Why is no real title available?)
• A Petri Net Based Modeling of Active Objects and Futures
• Compositional Petri net models of advanced tasking in Ada-95

This page was built for publication: Using Petri nets for specifying active objects and generative communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761703)