MIXIN BASED BEHAVIOUR MODELLING - An example based on composed state machines

Ashley McNeile, Nicholas Simons

Abstract

State Machines are the basic mechanism used to specify the behaviour of objects in UML based object models and admit the possibility of direct animation or execution of a model. Tools that exploit this potential offer the promise of both supporting early validation of a model under development and allowing generation of final code directly from the model. Recently, we have made some new proposals on how state machines are used to model behaviour: firstly, that complex object behaviour can be best modelled by the parallel composition of multiple state machines; and secondly, that a formal distinction can be made between purely event driven machines and those whose states are derived from other information in the model. We illustrate the advantages of this approach with a small example that shows how it can help reduce redundancy and promote simplicity.

References

  1. Soley, R., 2002. Presentation: MDA: An Introduction. Retrieved October 2003 from the Object Management Group website: www.omg.org/mda/presentations.htm.
  2. OMG, 2003a. UML 1.5 with Action Semantics, Document reference formal/03-03-01 March 2003. Available from the Object Management Group website: www.omg.org.
  3. Harel, D., 1987. Statecharts: A visual formalism for complex systems. In Science of Computer Programming, no. 8,1987, pp. 231-274.
  4. Mellor, S., and Balcer, M., 2002. Executable UML: A Foundation for Model-Driven Architecture. Addison Wesley, 2002.
  5. Jackson, M., 1995. Software Requirements and Specifications: A lexicon of Practice, Principles and Prejudices. Addison Wesley, 1995.
  6. McNeile, A., and Simons, N., 2003. State Machines as Mixins. In The Journal of Object Technology, vol. 2, no. 6, November-December 2003, pp. 85-101.
  7. Hoare, C., 1985. Communicating Sequential Processes. Prentice-Hall International, 1985.
  8. D'Souza, D., and Wills, A., 1998. Objects, Components, and Frameworks with UML. The Catalysis Approach. Addison Wesley, 1998.
  9. Cook, S., and Daniels, D., 1994. Designing Object Systems. Object-Oriented Modelling with Syntropy. Prentice Hall, 1994.
  10. OMG, 2003b. UML 2.0 Superstructure Final Adopted specification, Document reference ptc/03-08-02 August 2003. Available from the Object Management Group website: www.omg.org.
Download


Paper Citation


in Harvard Style

McNeile A. and Simons N. (2004). MIXIN BASED BEHAVIOUR MODELLING - An example based on composed state machines . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-00-7, pages 179-183. DOI: 10.5220/0002644601790183


in Bibtex Style

@conference{iceis04,
author={Ashley McNeile and Nicholas Simons},
title={MIXIN BASED BEHAVIOUR MODELLING - An example based on composed state machines},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2004},
pages={179-183},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002644601790183},
isbn={972-8865-00-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - MIXIN BASED BEHAVIOUR MODELLING - An example based on composed state machines
SN - 972-8865-00-7
AU - McNeile A.
AU - Simons N.
PY - 2004
SP - 179
EP - 183
DO - 10.5220/0002644601790183