Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2001 | 11 | 2 | 537-556

Tytuł artykułu

Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

Treść / Zawartość

Warianty tytułu

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  

Rocznik

Tom

11

Numer

2

Strony

537-556

Opis fizyczny

Daty

wydano
2001
otrzymano
2000-04-17
poprawiono
2000-12-12

Twórcy

  • Computer Science Department, Wroclaw University of Technology, ul. Wybrzeze Wyspianskiego 27, 50-370 Wrocław, Poland
  • 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.

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-amcv11i2p537bwm
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.