Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions

• Autorzy: Hnatkowska B. , Huzar Z.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

statecharts; UML; LOTOS

PL

mapa stanu; UML; LOTOS

• Wydawca: Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
• Czasopismo: International Journal of Applied Mathematics and Computer Science
• Rocznik: 2001
• Tom: Vol. 11, no 2
• Strony: 537--556
• Opis fizyczny: Bibliogr. 14 poz., rys.

Twórcy

autor

Hnatkowska B.

• Computer Science Department, Wrocław University of Technology, ul. Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland

autor

Huzar Z.

• Computer Science Department, Wrocław University of Technology, ul. Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland

Bibliografia

• [1] Armstrong J. (1998): Industrial integration of graphical and formal specifications. - J. Syst. Software, Vol. 40, pp. 211-225.
• [2] Booch G., Rumbaugh J. and Jacobson I. (1998): The Unified Modeling Language User Guide. - Reading, Massachusetts: Addison-Wesley.
• [3] Douglass B.P. (1999): Doing Hard Time. Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. - Reading, Massachusetts: Addison-Wesley.
• [4] Harel D. (1987): Statecharts: A visual formalism for complex systems. - Science of Computer Programming, Vol. 8, No. 3, pp. 231-274.
• [5] 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.
• [6] Harel D. and Naamad A. (1996): The statemate semantics of statecharts. - ACM Trans. Software Engineering Method, Vol. 5, No. 4.
• [7] Harel D. and Politi M. (1996): Modelling Reactive Systems with Statecharts: The Statemate Approach. - Patent No. D-1100-43, i-Logix Inc.
• [8] 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.
• [9] International Standard Organisation (1997): ISO/IEC JTC1/SC21 WG7-Final Committee Draft on Enhacements to LOTOS.
• [10] 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.
• [11] 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.
• [12] Turner K.J. (Ed.) (1993): Using Formal Description Techniques. - Chichester: Wiley.
• [13] Unified Modelling Language (1998): UML Semantics Vol. 1.3. - Rational Software Corporation.
• [14] 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.