Referenced Items are not available for this document.
This paper gives an overview of LOTOS-based semantics for compositional UML statecharts. The purpose of this work is to develop a description of a UML statechart model using one of the formal description language - LOTOS.Our approach concentrate on two aspects of the statechart model: concurrency and compositionality. We are using a full LOTOS version to define micro-step semantics which allows to implement cross-state boundaries transitions. Based on the translation function we are able to use a formal statechart model to check the equivalence relations and other model checking techniques.
Published in:
Parallel and Distributed Computing, 2008. ISPDC '08. International Symposium on
Date of Conference: 1-5 July 2008
- Page(s):
- 459 - 463
- Print ISBN:
- 978-0-7695-3472-5
- INSPEC Accession Number:
- 10438418
- Conference Location :
- Krakow
- Digital Object Identifier :
- 10.1109/ISPDC.2008.60
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
