Institut für Informatik | Sitemap | LMU-Portal
English
  • Startseite
  • Studieninteressierte
  • Studierende
  • Lehrveranstaltungen
  • Forschung
    • Publikationen
    • Partner
  • Personen
  • Kontakt
  • Besucher
  • Jobs
  • FAQ
  • Intern

Publikations-Information

[Download PDF]
Download
Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hussmann
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
In: Proc. FASE 2000 Conference, Springer LNCS 1783, pp. 127-146
  We consider the problem of precisely de ning UML active classes with an associated state chart. We are convinced that the rst step to make UML precise is to nd an underlying formal model for the systems modelled by UML. We argue that labelled transition systems are a sensible choice; indeed they have worked quite successfully for languages as Ada and Java. Moreover, we think that this modelization will help to understand the UML constructs and to improve their use in practice. Here we present the labelled transition system associated with an active class using the algebraic speci cation language CASL. The task of making precise this fragment of UML raises many questions about both the \precise" meaning of some constructs and the soundness of some allowed combination of constructs.
Nach oben
Impressum – Datenschutz – Kontakt  |  Letzte Änderung am 05.02.2007 von Richard Atterer (rev 1481)