Transformation of dynamic aspects of UML models into LOTOS behaviour expressions
Bogumiła Hnatkowska; Zbigniew Huzar
International Journal of Applied Mathematics and Computer Science (2001)
- Volume: 11, Issue: 2, page 537-556
- ISSN: 1641-876X
Access Full Article
top
Abstract
topHow to cite
topHnatkowska, Bogumiła, and Huzar, Zbigniew. "Transformation of dynamic aspects of UML models into LOTOS behaviour expressions." International Journal of Applied Mathematics and Computer Science 11.2 (2001): 537-556. <http://eudml.org/doc/207519>.
@article{Hnatkowska2001,
abstract = {The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.},
author = {Hnatkowska, Bogumiła, Huzar, Zbigniew},
journal = {International Journal of Applied Mathematics and Computer Science},
keywords = {statecharts; LOTOS; UML; formal semantics},
language = {eng},
number = {2},
pages = {537-556},
title = {Transformation of dynamic aspects of UML models into LOTOS behaviour expressions},
url = {http://eudml.org/doc/207519},
volume = {11},
year = {2001},
}
TY - JOUR
AU - Hnatkowska, Bogumiła
AU - Huzar, Zbigniew
TI - Transformation of dynamic aspects of UML models into LOTOS behaviour expressions
JO - International Journal of Applied Mathematics and Computer Science
PY - 2001
VL - 11
IS - 2
SP - 537
EP - 556
AB - The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.
LA - eng
KW - statecharts; LOTOS; UML; formal semantics
UR - http://eudml.org/doc/207519
ER -
References
top- Armstrong J. (1998): Industrial integration of graphical and formal specifications. — J. Syst. Software, Vol.40, pp.211–225.
- Booch G., Rumbaugh J. and Jacobson I. (1998): The Unified Modeling Language User Guide. — Reading, Massachusetts: Addison-Wesley.
- Douglass B.P. (1999): Doing Hard Time. Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. — Reading, Massachusetts: Addison-Wesley
- Harel D. (1987): Statecharts: A visual formalism for complex systems. — Science of Computer Programming, Vol.8, No.3, pp.231–274. Zbl0637.68010
- Harel D., Pnueli A., Schmidt J. and Sherman R. (1987): On the formal semantics of state- charts. — Proc. 2nd IEEE Symp. Logic in Computer Science, Ithaca, NY, pp.54–64.
- Harel D. and Naamad A. (1996): The statemate semantics of statecharts. — ACM Trans. Software Engineering Method, Vol.5, No.4.
- Harel D. and Politi M. (1996): Modelling Reactive Systems with Statecharts: The Statemate Approach. — Patent No.D-1100-43, i-Logix Inc.
- International Standard Organisation (1989): International Standard ISO/IEC 9646 Information Processing Systems—Open Systems Interconnection—LOTOS—A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour.
- International Standard Organisation (1997): ISO/IEC JTC1/SC21 WG7—Final Committee Draft on Enhacements to LOTOS.
- Pavon S., Larrabeiti D. and Rabay G. (1995): LOLA—LOTOS Laboratory, User Manual. — Departamento de Ingenieria Telematica, Universidad Politechnica de Madrid, LO- LA/NS/V10.
- Pnueli A. and Shalev M. (1991): What is in a step: On the semantics of statecharts, In: Theoretical Aspects of Computer Software (T. Ito and A.R. Meyer, Eds.). — Berlin: Springer, pp.244–264.
- Turner K.J. (Ed.) (1993): Using Formal Description Techniques. — Chichester: Wiley.
- Unified Modelling Language (1998): UML Semantics Vol.1.3. — Rational Software Corporation.
- Uselton A.C. and Smolka S.A. (1994): A process algebraic semantics for statecharts via state refinement, — Proc. IFIP Working Conf. Programming Concepts, Methods and Calculi (PROCOMET), State University of New York at Stony Brook, pp.262–281.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.