Concurrent Object-Oriented Programming and Petri Nets

1. Front Matter

   Pages I-VIII

   PDF

2. Section I

   1. Object Oriented Modelling with Object Petri Nets

      • Charles Lakos

      Pages 1-37

   2. Using Petri Nets for Specifying Active Objects and Generative Communication

      • Tom Holvoet, Pierre Verbaeten

      Pages 38-72

   3. Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism

      • Olivier Biberstein, Didier Buchs, Nicolas Guelfi

      Pages 73-130

   4. CLOWN as a Testbed for Concurrent Object-Oriented Concepts

      • Eugenio Battiston, Alfredo Chizzoni, Fiorella De Cindio

      Pages 131-163

   5. Concurrency in Communicating Object Petri Nets

      • Rüdiger Valk

      Pages 164-195

   6. Object Orientation in Hierarchical Predicate Transition Nets

      • Xudong He, Yingjia Ding

      Pages 196-215

   7. CoOperative Objects: Principles, Use and Implementation

      • C. Sibertin-Blanc

      Pages 216-246

   8. OB(PN)2: An Object Based Petri Net Programming Notation

      • Johan Lilius

      Pages 247-275

   9. On Formalizing UML with High-Level Petri Nets

      • Luciano Baresi, Mauro Pezzè

      Pages 276-304

3. Section II

   1. Modeling a Groupware Editing Tool with Cooperative Objects

      • Rémi Bastide, Philippe Palanque

      Pages 305-318

   2. Modelling Constrained Geometric Objects with OBJSA Nets

      • Maria Alberta Alberti, Paolo Evi, Daniele Marini

      Pages 319-337

   3. An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment

      • Dalton Serey Guerrero, Jorge C.A. de Figueiredo, Angelo Perkusich

      Pages 338-354

   4. KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects

      • J.A. Bãnares, P.R. Muro-Medrano, J.L. Villarroel, F.J. Zarazaga

      Pages 355-374

   5. Modeling of a Library with THORNs

      • Frank Köster, Stefan Schöf, Michael Sonnenschein, Ralf Wieting

      Pages 375-390

   6. Inheritance of Dynamic Behavior Development of a Groupware Editor

      • Twan Basten, Wil M.P. van der Aalst

      Pages 391-405

   7. Object Coloured Petri Nets - A Formal Technique for Object Oriented Modelling

      • Christoph Maier, Daniel Moldt

      Pages 406-427

4. Section III

   1. An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study

      • Mauro Gaspari, Gianluigi Zavattaro

      Pages 428-444

   2. Formal Reasoning about Actor Programs Using Temporal Logic

      • Susanne Schacht

      Pages 445-460

   3. Flexible Types for a Concurrent Model

      • Franz Puntigam

      Pages 461-472

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study.
This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.

• Groupware
• Unified Modeling Language (UML)
• calculus
• computer
• computer science
• concurrency
• distributed systems
• inheritance
• logic
• modeling
• object
• object-oriented programming
• object-oriented programming (OOP)
• petri net
• programming

• Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA

  Gul A. Agha

• Computer Science Department, University of Milan, Milan, Italy

  Fiorella Cindio

• Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

  Grzegorz Rozenberg

Policies and ethics