- Abstract:
-
An important use of the Unified Modelling Language (UML) is modelling \emph{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 \emph{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.
- Links To Paper
- 1st Link
- Bibtex format
- @Article{EDI-INF-RR-1208,
- author = {
Jennifer Tenzer
and Perdita Stevens
},
- title = {On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams},
- journal = {Formal Aspects of Computing},
- publisher = {Springer},
- year = 2006,
- volume = {18(4)},
- pages = {397-420},
- doi = {http://dx.doi.org/10.1007/s00165-006-0003-6},
- url = {http://dx.doi.org/10.1007/s00165-006-0003-6},
- }
|
