Paper Info
Title
Unifying the semantics of UML 2 state, activity and interaction diagrams
Abstract
We define a formal semantics of the combined use of UML 2 state machines, activities and interactions using Abstract State Machines. The behaviour of software models can henceforth be specified by composing these diagrams, choosing the most adequate formalism at each level of abstraction. We present several reasonable ways to link different kinds of diagrams and illustrate them by examples. We also give a formal semantics of communication between these diagrams. The resulting rules reveal unclear parts of the UML specification and serve as a basis for tool support.
Year
DOI
Venue
2009
10.1007/978-3-642-11486-1_18
Ershov Memorial Conference
Keywords
Field
DocType
abstract state machines,uml specification,reasonable way,state machine,interaction diagram,tool support,different kind,combined use,software model,adequate formalism,formal semantics,abstract state machine
Formal semantics (linguistics),Sequence diagram,Operational semantics,UML state machine,Programming language,UML tool,Computer science,Abstract state machines,Theoretical computer science,Activity diagram,Applications of UML
Conference
Volume
ISSN
ISBN
5947
0302-9743
3-642-11485-7
Citations 
PageRank 
References 
6
0.40
13
Authors
2
Name
Order
Citations
PageRank
Jens Kohlmeyer1134.56
Walter Guttmann219616.53