Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

• Autorzy: Bogumiła Hnatkowska , Zbigniew Huzar
• 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; LOTOS; UML

• Wydawca: University of Zielona Gora Press
• Czasopismo: International Journal of Applied Mathematics and Computer Science
• Rocznik: 2001
• Tom: 11
• Numer: 2
• Strony: 537-556

Daty

wydano

2001

otrzymano

2000-04-17

poprawiono

2000-12-12

Twórcy

autor

Bogumiła Hnatkowska

• Computer Science Department, Wroclaw University of Technology, ul. Wybrzeze Wyspianskiego 27, 50-370 Wrocław, Poland

autor

Zbigniew Huzar

• Computer Science Department, Wroclaw University of Technology, ul. Wybrzeze Wyspianskiego 27, 50-370 Wrocław, Poland

Bibliografia

• 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.
• 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.