Analysing UML active classes and associated state machines - A lightweight formal approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1783, Issue , 2000, Pages 127-146

  Reggio, G ^a   Astesiano, E ^a   Choppy, C ^b   Hussmann, H ^c  

^a UNIVERSITY OF GENOA   (Italy)

^b UNIVERSITÉ PARIS 13   (France)

^c DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS;

FORMAL APPROACH; FORMAL MODEL; LABELLED TRANSITION SYSTEMS; MODELIZATION; SOCIAL SEMANTICS; STATE MACHINE;

SOFTWARE ENGINEERING;

EID: 84945288192     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46428-x_10     Document Type: Conference Paper

References (14)

1. E. Astesiano, A. Giovini, F. Mazzanti, G. Reggio, and E. Zucca. The Ada Chal- lenge for New Formal Semantic Techniques. In Ada: Managing the Transition, Proc. of the Ada-Europe Conference, Edimburgh, 1986, pages 239-248. University Press, Cambridge, 1986.
2. R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. Systems, Views and Models of UML. In M. Schader and A. Korthaus, editors, The Uni_ed Modeling Language, Technical Aspects and Applications. Physica Verlag, Heidelberg, 1998.
3. E. Coscia and G. Reggio. A Proposal for a Semantics of a Subset of Multi- Threaded Good Java Programs. Technical report, Imperial College - London, 1998.
4. G. Costa and G. Reggio. Specication of Abstract Dynamic Data Types: A Tem- poral Logic Approach. T.C.S., 173(2):513-554, 1997.
5. M. Gogolla and F. Parisi-Presicce. State Diagrams in UML- A Formal Seman- tics using Graph Transformation. In M. Broy, D. Coleman, T. Maibaum, and B. Rumpe, editors, Proc. ICSE'98 Workshop on Precise Semantics of Modeling Techniques(PSMT'98), Technical Report TUM-I9803, 1998.
6. K. Lano and J. Bicarregui. Formalising the UML in Structured Temporal Theo- ries. In B. Rumpe H. Kilov, editor, Proc. of Second ECOOP Workshop on Precise Behavioral Semantics, ECOOP'98, Munich, Germany, 1998.
7. J. Lillius and I Paltor. Formalising UML State Machines for Model Checking. In R France and B. Rumpe, editors, Proc. UML'99, LNCS. Springer Verlag, Berlin, 1999.
8. P.D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specication and Development. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT '97, number 1214 in LNCS, pages 115-137, Berlin, 1997. Springer Verlag.
9. OMG. White paper on the Profile Mechanism - Version 1.0. http://uml.shl.com/u2wg/default.htm, 1999.
10. The CoFI Task Group on Language Design. Casl Sum- mary. Version 1.0. Technical report, 1998. Available on http://www.brics.dk/Projects/CoFI/Documents//Summary/.
11. G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. A Casl Formal De_nition of UML Active Classes and Associated State Machines. Technical Report DISI- TR-99-16, DISI - Universit_a di Genova, Italy, 1999.
12. J. Rumbaugh. Some questions relating to actions and their parameter, and relat- ing to signals. Private communication, 1999.
13. J. Rumbaugh, I. Jacobson, and G. Booch. The Unied Modeling Language Ref- erence Manual. Object Technology Series. Addison-Wesley, 1999.
14. UML Revision Task Force. OMG UML Specication, 1999. Available at http://uml.shl.com.