Concurrent Object-Oriented Programming and Petri Nets Advances in Petri Nets /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Agha, Gul A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), De Cindio, Fiorella (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2001
• Θέματα: Software engineering.; Computers.; Computer logic.; Computer communication systems.; Computer science-Mathematics.; Information technology.; Business-Data processing.; Software Engineering/Programming and Operating Systems.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Computer Communication Networks.; Discrete Mathematics in Computer Science.; IT in Business.

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...

Πίνακας περιεχομένων:

• 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.