Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour

Vladimir Estivill-Castro, René Hexel

2019

Abstract

For the UML, state charts are by far the most used modelling tools, both to communicate behaviour and to produce executable models. We investigate the inherent asymmetry of On-Entry and On-Exit Actions in UML Statecharts. We show first that the apparently simple and symmetric rules for handling the sequencing of On-Entry and On-Exit actions are hard to fully comprehend and apply effectively by software developers. Second, defining a semantics that results in executable models for applications such as reactive-systems and real-time systems is very delicate. Third, formal verification can be hampered because the semantics results in a combinatorial explosion of states. We evaluate the understandability of the semantics by taking out experiments with various tasks comprising sample UML Statechart and logic-labelled finite state machines (LLFSMs). Several experiments with software developers enable us to dissect how issues of understandability of state diagrams relate to nesting or event-driven vs logic-labelled. Since logic-labelled finite state machines achieve model composition through a subsumption architecture (suspend/restart/resume) we propose a specific alternative semantics for logic-labelled finite state machines that is suitable for robotic and embedded systems.

Paper Citation

in Harvard Style

Estivill-Castro V. and Hexel R. (2019). Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour.In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-358-2, pages 51-63. DOI: 10.5220/0007323300510063

in Bibtex Style

@conference{modelsward19,
author={Vladimir Estivill-Castro and René Hexel},
title={Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2019},
pages={51-63},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007323300510063},
isbn={978-989-758-358-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour
SN - 978-989-758-358-2
AU - Estivill-Castro V.
AU - Hexel R.
PY - 2019
SP - 51
EP - 63
DO - 10.5220/0007323300510063