Analysing UML Active Classes and Associated State Machines -- A Lightweight Formal Approach (2000) [28 citations — 8 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Reggio00analysinguml,author = {G. Reggio and E. Astesiano and H. Hussmann},
title = {Analysing UML Active Classes and Associated State Machines -- A Lightweight Formal Approach},
booktitle = {Proc. FASE 2000, number 1783 in Lecture Notes in Computer Science},
year = {2000},
pages = {127--146},
publisher = {Springer Verlag}
}
Years of Citing Articles
Abstract:
Abstract. 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. 1
