Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
References
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
M. von der Beeck. A comparison of Statecharts variants. In H. Langmaack, W.P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 128–148. Springer, 1994. Lecture Notes in Computer Science 863.
R. Bird and P. Wadler. Introduction to functional programming. Prentice Hall, 1988.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25–29, 1988.
D. D’Souza and A. Wills. Catalysis: Practical Rigor and Refinement. Addison-Wesley, 1998.
P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors. The formal description technique. LOTOS. Elsevier Science Publishers B.V., 1989.
S.B. Elmasri, R. Navathe. Fundamentals of database systems. Benjamin/ Cummings, 1994.
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-oriented Software. Addison Wesley, Reading, 1996.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
ISO, editor. Ada 95 Reference Manual, Language and Standard Libraries. 1994. ISO/IEC 8652:1995(E).
D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. Formal Methods for Open Object-Based Distributed Systems, pages 331–347, 1999.
Inmos Ltd. Occam 2 Reference Manual. Prentice-Hall, 1988.
R. Milner. A calculus of communicating systems. LNCS. Springer-Verlag, 1980.
R. Milner. The polyadic π-calculus: a tutorial. Springer-Verlag, Aug 1991.
Rational Software Corporation. UML Semantics. Rational Software Corporation, 1997.
R. van Rein and M. Fokkinga. Protocol assuring universal language. Formal Methods for Open Object-Based Distributed Systems, pages 241–258, 1999.
R. van Rein and M.M. Fokkinga. Static checking of dynamic protocols. 1999. submitted to CONCUR’99.
B. Selic, G. Geullekson, and P.T. Ward. Real-time Object-Oriented Modeling. John Wiley & Sons, Inc., 1994.
D. Taubner and W. Vogler. Step failures semantics and a complete proof system. Acta Informatica, 27:125–156, 1989.
X/Open, editor. Distributed Transaction Processing: Reference Model, Version 3. Feb 1996.
B. Zorn. The measured cost of conservative garbage collection. Software, Practice and Experience, 23(7):733–756, July 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Rein, R. (2000). Specifying Processes with Dynamic Life Cycles. In: Wangler, B., Bergman, L. (eds) Advanced Information Systems Engineering. CAiSE 2000. Lecture Notes in Computer Science, vol 1789. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45140-4_14
Download citation
DOI: https://doi.org/10.1007/3-540-45140-4_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67630-0
Online ISBN: 978-3-540-45140-2
eBook Packages: Springer Book Archive