Abstracting timing information in UML state charts via temporal ordering and LOTOS
Proceedings of the 6th International Workshop on Automation of Software Test
| Hi-index | 0.00 |
This paper gives an overview of LOTOS-based semanticsfor compositional UML statecharts. The purpose ofthis work is to develop a description of a UML statechartmodel using one of the formal description language - LOTOS.Our approach concentrate on two aspects of the statechartmodel: concurrency and compositionality. We areusing a full LOTOS version to define micro-step semanticswhich allows to implement cross-state boundaries transitions.Based on the translation function we are able to usea formal statechart model to check the equivalence relationsand other model checking techniques.