Integrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines

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

Volumn 2589, Issue , 2003, Pages 229-243

  Cavarra, Alessandra ^a   Riccobene, Elvinia ^b   Scandurra, Patrizia ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF CATANIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS; SEMANTICS;

COMPOSITIONAL SEMANTICS; INTERACTION MECHANISMS; MULTI AGENT; STRUCTURAL MODELING; UML METAMODEL; UML STATE MACHINE;

DYNAMICS;

EID: 35248821372     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36498-6_13     Document Type: Article

References (11)

1. OMG Unified Modeling Languages Specification, version 1.4, 2001.
2. UML 1.4 Notation, 2001. (Published as part of [1]).
3. UML 1.4 Semantics, 2001. (Published as part of [1]).
4. E. Börger, A. Cavarra, and E. Riccobene. A precise semantics of UML State Machines: making semantic variation points and ambiguities explicit. In Proc. Semantic Foundations of Engineering Design Languages (SFEDL02) - ETAPS 2002.
5. E. Börger, A. Cavarra, and E. Riccobene. Modeling the Dynamics of UML State Machines. In Y. Gurevich et al., editor, Abstract State Machines. Theory and Applications, volume 1912 of LNCS 1912, pages 223-241. Springer, 2000.
6. E. Börger and J. Schmid. Composition and Submachine Concepts for Sequential ASMs. In P. Clote and H. Schwichtenberg, editors, Computer Science Logic (Gurevich Festschrift), number 1862 in LNCS, pages 41-60, 2000.
7. A. Cavarra and E. Riccobene. Simulating UML Statecharts. In R. Moreno-Diaz and A. Quesada-Arencibia, editors, EUROCAST 2001, pages 224-227. February 2001.
8. A. Cavarra, E. Riccobene, and P. Scandurra. A Framework to Simulate UML Models. Submitted for publication.
9. I. Ober. More meaningful UML Models. In TOOLS - 37 Pacific 2000. IEEE Computer Society Press, 2000.
10. Poseidon UML Tool. http://www.gentleware.com.
11. The precise UML group. http://www.cs.york.ac.uk/puml/.