On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams

Authors:
Jennifer Tenzer;Perdita Stevens
Affiliations:
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, JCMB, King’s Buildings, Mayfield Road, EH9 3JZ, Edinburgh, UK;Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, JCMB, King’s Buildings, Mayfield Road, EH9 3JZ, Edinburgh, UK
Venue:
Formal Aspects of Computing
Year:
2006

Citing 0
Cited 2

A language-driven approach for the design of interactive applications

Interacting with Computers
Non-interference on UML state-charts

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns

Quantified Score

Hi-index	0.00

Visualization

Abstract

An important use of the Unified Modelling Language (UML) is modelling synchronous object-oriented software systems. State diagrams are used to model interesting object behaviour, including method invocation. However, almost all previous work formalising state diagrams has assumed asynchronous communication. We show that UML’s “run to completion” semantics leads to anomalous behaviour in the synchronous case, and in particular that it is not possible to model recursive calls, in which an object receives a second synchronous message whilst still in the process of reacting to the first. We propose a solution using state diagrams in two complementary ways.