The Challenge of Object Orientation for the Analysis of Concurrent Systems

There have been a number of proposals for the integration of object-oriented capabilities into the Petri Net formalism. These proposals have demonstrated benefits for modelling, simulation and code generation. However, little has been said about analysis, particularly the use of state space methods, which are so prominent in Petri Net research and application. This talk will consider the impact of object oriented capabilities on state space analysis.

[1]  Kim B. Bruce,et al.  Subtyping Is Not a Good "Match" for Object-Oriented Languages , 1997, ECOOP.

[2]  Glenn Anthony Lewis,et al.  Incremental specification and analysis in the context of coloured Petri nets , 2002 .

[3]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[4]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[5]  Charles Lakos,et al.  A Practical Approach to Incremental Specification , 2000, FMOODS.

[6]  Stanley B. Zdonik,et al.  Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like , 1988, ECOOP.

[7]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[8]  Lars Michael Kristensen,et al.  Exploiting stabilizers and parallelism in state space generation with the symmetry method , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.

[9]  Tommi A. Junttila.  Finding Symmetries of Algebraic System Nets , 1999, Fundam. Informaticae.

[10]  Raghu V. Hudli,et al.  CORBA fundamentals and programming , 1996 .

[11]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[12]  Grady Booch.  Architecting web-based systems with the unified modeling language , 1999 .

[13]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[14]  Grady Booch,et al.  Object-oriented analysis and design with applications (2nd ed.) , 1993 .

[15]  Jan Bosch,et al.  Design and use of software architectures - adopting and evolving a product-line approach , 2000 .

[16]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[17]  Pierre America,et al.  Designing an Object-Oriented Programming Language with Behavioural Subtyping , 1990, REX Workshop.

[18]  Walter Vogler,et al.  Modular Construction and Partial Order Semantics of Petri Nets , 1992, Lecture Notes in Computer Science.

[19]  Laure Petrucci,et al.  Modular State Space Analysis of Coloured Petri Nets , 1995, Application and Theory of Petri Nets.

[20]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[21]  Oscar Nierstrasz,et al.  Component-oriented software development , 1992, CACM.

[22]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[23]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[24]  Gul Agha,et al.  Concurrent Object-Oriented Programming and Petri Nets , 2001, Lecture Notes in Computer Science.

[25]  Charles Lakos,et al.  On the Abstraction of Coloured Petri Nets , 1997, ICATPN.

[26]  Dieter Hogrefe,et al.  SDL : formal object-oriented language for communicating systems , 1997 .

[27]  David Wong,et al.  Java-based mobile agents , 1999, CACM.

[28]  Nisse Husberg,et al.  Emma: Developing an Industrial Reachability Analyser for SDL , 1999, World Congress on Formal Methods.

[29]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[30]  Charles Lakos,et al.  Composing Abstractions of Coloured Petri Nets , 2000, ICATPN.

[31]  Antti Valmari,et al.  The State Explosion Problem , 1996, Petri Nets.

[32]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[33]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[34]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[35]  Radu Iosif.  Exploiting heap symmetries in explicit-state model checking of software , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[36]  Claudio Demartini,et al.  dSPIN: A Dynamic Extension of SPIN , 1999, SPIN.

[37]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[38]  Stein Gjessing,et al.  ECOOP ’88 European Conference on Object-Oriented Programming , 1988, Lecture Notes in Computer Science.

[39]  Arend Rensink,et al.  Action Refinement , 1999, Handbook of Process Algebra.

[40]  Charles Lakos,et al.  Incremental State Space Construction for Coloured Petri Nets , 2001, ICATPN.

[41]  Jens Palsberg,et al.  Object-oriented type systems , 1994, Wiley professional computing.

[42]  Harold Ossher,et al.  Subject-oriented programming: a critique of pure objects , 1993, OOPSLA '93.

[43]  OssherHarold,et al.  Subject-oriented programming , 1993 .

[44]  Erich Gamma,et al.  ET++—an object oriented application framework in C++ , 1988, OOPSLA 1988.