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 条

[1] An ASM semantics for UML activity diagrams
Börger, E
Cavarra, A
Riccobene, E
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 293 - 308
[2] An ASM semantics of token flow in UML 2 activity diagrams
Sarstedt, Stefan
Guttmann, Walter
PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 349 - +
[3] An Extensible Operational Semantics for UML Activity Diagrams
Daw, Zamira
Cleaveland, Rance
SOFTWARE ENGINEERING AND FORMAL METHODS, 2015, 9276 : 360 - 368
[4] Assigning Declarative Semantics to Some UML Activity Diagrams and BPMN Diagrams
de Brock, Bert
BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2024, 2024, 523 : 65 - 82
[5] ON π-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS
Lam, Vitus W.
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (04) : 541 - 567
[6] Executing UML 2 Diagrams in ActiveCharts - A formal Semantics for the Combination of Behavior Specifications in the UML 2
Kohlmeyer, Jens
EUROPEAN SIMULATION AND MODELLING CONFERENCE 2008, 2008, : 94 - 101
[7] A framework for semantics of UML sequence diagrams in PVS
Aredo, DB
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (07): : 674 - 697
[8] Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
Raschke, Alexander
2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 149 - 154
[9] An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations
Messaoudi, Nabil
Chaoui, Allaoua
Bettaz, Mohamed
10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 604 - 611
[10] Code Generation from UML Activity Diagrams: State of the Art
Lopez Sanchez, Maximo
Rodriguez Flores, Jazmin
Idunate Rosales, Erick L.
CISCI 2007: 6TA CONFERENCIA IBEROAMERICANA EN SISTEMAS, CIBERNETICA E INFORMATICA, MEMORIAS, VOL I, 2007, : 133 - 136

← 1 2 3 4 5 →