Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams

被引：0

作者：

Kohlmeyer, Jens ^{[1
]}

Guttmann, Walter ^{[1
]}

机构：

[1] Univ Ulm, D-89069 Ulm, Germany

来源：

PERSPECTIVES OF SYSTEMS INFORMATICS | 2010年 / 5947卷

关键词：

FORMAL SEMANTICS; MACHINES;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：206 / 217

页数：12

共 50 条

[31] User preference and performance with UML interaction diagrams
Swan, J
Kutar, M
Barker, T
Britton, C
2004 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN CENTRIC COMPUTING: PROCEEDINGS, 2004, : 243 - 250
[32] Detecting aspectual behavior in UML interaction diagrams
Foumani, Arnir Abdollahi
Constantinides, Constantinos
ICSOFT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE: SOFTWARE ENGINEERING, 2007, : 378 - +
[33] Compositional semantics for UML 2.0 sequence diagrams using Petri nets
Eichner, C
Fleischhack, H
Meyer, R
Schrimpf, U
Stehno, C
SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 133 - 148
[34] A formal methodology for semantics and time consistency checking of UML dynamic diagrams
Hammal, Youcef
JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2011, 34 (02) : 197 - 211
[35] Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams
Dhaou, Fatma
Mouakher, Ines
Attiogbe, J. Christian
Bsaies, Khaled
PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2018, : 275 - 282
[36] A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams
Hammal, Youcef
ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 78 - 85
[37] Consistency checking of UML model diagrams using the XML semantics approach
Kotb, Y. (kotb@jaist.ac.jp), 1600, et al.; Fuji Xerox Co., Ltd.; Hitachi, Ltd.; NEC; World Wide Web Consortium (W3C); Yahoo (Association for Computing Machinery (ACM)):
[38] Toward an Ontology-Driven Unifying Metamodel for UML Class Diagrams, EER, and ORM2
Keet, C. Maria
Ruben Fillottrani, Pablo
CONCEPTUAL MODELING, ER 2013, 2013, 8217 : 313 - +
[39] From UML 2 Sequence Diagrams to State Machines by Graph Transformation
Gronmo, Roy
Moller-Pedersen, Birger
JOURNAL OF OBJECT TECHNOLOGY, 2011, 10
[40] Towards formalizing UML state diagrams in CSP
Ng, MY
Butler, M
FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 138 - 147

← 1 2 3 4 5 →