Specifying Processes with Dynamic Life Cycles

We propose an alternative notation and semantics for process models in object analysis, to resolve problems with current diagram languages. Our dynamic life cycles are communicating state diagrams. Our life cycles support polymorphic creation, and they are straightforwardly composed. We provide an operational semantics, and demonstrate how to interact with a system of life cycles.

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

[2]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[3]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[4]  Diego Latella,et al.  Towards a Formal Operational Semantics of UML Statechart Diagrams , 1999, FMOODS.

[5]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[6]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[7]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[8]  Michel Diaz,et al.  Formal Description Technique Estelle: Results of the Esprit Sedos Project , 1989 .

[9]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[10]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[11]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[12]  Maarten M. Fokkinga,et al.  Protocol Assuring Universal Language , 1998, FMOODS.

[13]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[14]  Inmos Limited,et al.  OCCAM 2 reference manual , 1988 .

[15]  Benjamin G. Zorn,et al.  The measured cost of conservative garbage collection , 1993, Softw. Pract. Exp..