Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
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 resear...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2001 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Concurrent object-oriented programming and Petri Nets, advances in Petri Nets, Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.), 2001, Berlin, Springer, 1 vol. (VIII-537 p.), Lecture notes in computer science, 3-540-41942-X • Concurrent Object-Oriented Programming and Petri Nets, Texte imprimé, 9783662206546 |
Indholdsfortegnelse:
- Section I
- Object Oriented Modelling with Object Petri Nets
- Using Petri Nets for Specifying Active Objects and Generative Communication
- Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism
- CLOWN as a Testbed for Concurrent Object-Oriented Concepts
- Concurrency in Communicating Object Petri Nets
- Object Orientation in Hierarchical Predicate Transition Nets
- CoOperative Objects: Principles, Use and Implementation
- OB(PN)2: An Object Based Petri Net Programming Notation
- On Formalizing UML with High-Level Petri Nets
- Section II
- Modeling a Groupware Editing Tool with Cooperative Objects
- Modelling Constrained Geometric Objects with OBJSA Nets
- An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment
- KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects
- Modeling of a Library with THORNs
- Inheritance of Dynamic Behavior Development of a Groupware Editor
- Object Coloured Petri Nets - A Formal Technique for Object Oriented Modelling
- Section III
- An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study
- Formal Reasoning about Actor Programs Using Temporal Logic
- Flexible Types for a Concurrent Model
- High Level Transition Systems for Communicating Agents
- Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets
- Control Properties in Object-Oriented Specifications
- Case Studies
- A Cooperative Petri Net Editor
- The Hurried Philosophers.