Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Step failures semantics and a complete proof system
Acta Informatica
Process algebra
An introduction to functional programming
An introduction to functional programming
Fundamentals of database systems (2nd ed.)
Fundamentals of database systems (2nd ed.)
The measured cost of conservative garbage collection
Software—Practice & Experience
Real-time object-oriented modeling
Real-time object-oriented modeling
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Protocol Assuring Universal Language
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Compatibility of e -Services in a Cooperative Multi-platform Environment
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
| Hi-index | 0.00 |
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.