State machines as mixins

Journal of Object Technology

Volumn 2, Issue 6, 2003, Pages 85-101

  McNeile, Ashley ^a   Simons, Nicholas ^a  

^a Metamaxim Ltd   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PREVENTIVE MAINTENANCE; PROBLEM SOLVING;

LISKOV SUBSTITUTION PRINCIPLE (LSP); MODELLING; STATECHART DIAGRAMS; TAXONOMY;

SYSTEMS ENGINEERING;

EID: 3042637597     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2003.2.6.a2     Document Type: Article

References (16)

1. [Hare 87] D. Harel, "Statecharts: A visual formalism for complex systems", Science of Computer Programming, 8, pages 231-274, 1987.
2. [OMG 03] OMG, Unified Modeling Language Specification version 1.5, March 2003, http://www.omg.org. Document ref.: formal/03-03-01
3. [Lisk 88] B. Liskov, "Data Abstraction and Hierarchy", SIGPLAN Notices vol. 23, Issue 5, May 1988.
4. [Booc 97] G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, 1997.
5. [Hare 99] D. Harel and O. Kupferman, "On the Inheritance of Statebased Object Behaviour", Technical Report MCS99-12, The Welzmann Institute of Science, Israel, 1999.
6. [Schr 00] M. Schreft and M. Stumptner, "On the Design of Behavior Consistent Specializations of Object Life Cycles in OBD and UML", published in Advances in Object-Oriented Data Modeling, The MIT Press, 2000.
7. [Eber 94] J. Ebert and G. Engels, "Dynamic Models and Behavioural Views", International Symposium on Object-Oriented Methodologies and Systems, LNCS 858, Springer-Verlag, 1994.
8. [Cook 94] S. Cook and J. Daniels, Designing Object Systems - Object-Oriented Modelling with Syntropy, Prentice Hall International, 1994.
9. [Simo 02] A. Simons, M. Stannett, K. Bogdanov and W. Holcombe, "Plug And Play Safely: Rules For Behavioural Compatibility", Proc. 6th IASTED Int. Conf. Software Engineering and Applications, (Cambridge MA: IASTED, 2002).
10. [Mell 02] S. Mellor and M. Balcer, Executable UML: A Foundation for Model Driven Architecture, Addison Wesley, 2002.
11. [Hoar 85] C. Hoare, Communicating Sequential Processes, Prentice-Hall International, 1985.
12. [Brac 90] G. Bracha and W. Cook, "Mixin-based Inheritance", Proc. of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 1990.
13. [Shla 92] S. Shlaer and S. Mellor, Object Life Cycles - Modeling the World in States, Yourdon Press/Prentice Hall, 1992.
14. [JaZa 95] M. Jackson and P. Zave, "Deriving Specifications from Requirements: An Example", ICSE17, vol. 1995, pag4es 15-24, 1995.
15. [Parn 95] D. Parnas and J. Madey, "Functional Documentation for Computer Systems Engineering", Science of Computer Programming(Elsevier) 25(1), pages 41-61, Oct. 1995
16. [Jack 95] M. Jackson, Software Requirements and Specifications: A Lexicon of Practice, Principles and Prejudices, AddisonWesley, 1995