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.
@article{bwmeta1.element.bwnjournal-article-amcv11i2p537bwm,
author = {Hnatkowska, Bogumi\l a and Huzar, Zbigniew},
title = {Transformation of dynamic aspects of UML models into LOTOS behaviour expressions},
journal = {International Journal of Applied Mathematics and Computer Science},
volume = {11},
year = {2001},
pages = {537-556},
zbl = {0974.68113},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv11i2p537bwm}
}
Hnatkowska, Bogumiła; Huzar, Zbigniew. Transformation of dynamic aspects of UML models into LOTOS behaviour expressions. International Journal of Applied Mathematics and Computer Science, Tome 11 (2001) pp. 537-556. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv11i2p537bwm/
[000] Armstrong J. (1998): Industrial integration of graphical and formal specifications. — J. Syst. Software, Vol.40, pp.211–225.
[001] Booch G., Rumbaugh J. and Jacobson I. (1998): The Unified Modeling Language User Guide. — Reading, Massachusetts: Addison-Wesley.
[002] Douglass B.P. (1999): Doing Hard Time. Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. — Reading, Massachusetts: Addison-Wesley
[003] Harel D. (1987): Statecharts: A visual formalism for complex systems. — Science of Computer Programming, Vol.8, No.3, pp.231–274. | Zbl 0637.68010
[004] 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.
[005] Harel D. and Naamad A. (1996): The statemate semantics of statecharts. — ACM Trans. Software Engineering Method, Vol.5, No.4.
[006] Harel D. and Politi M. (1996): Modelling Reactive Systems with Statecharts: The Statemate Approach. — Patent No.D-1100-43, i-Logix Inc.
[007] 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.
[008] International Standard Organisation (1997): ISO/IEC JTC1/SC21 WG7—Final Committee Draft on Enhacements to LOTOS.
[009] 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.
[010] 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.
[011] Turner K.J. (Ed.) (1993): Using Formal Description Techniques. — Chichester: Wiley.
[012] Unified Modelling Language (1998): UML Semantics Vol.1.3. — Rational Software Corporation.
[013] 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.