An Institution for Simple UML State Machines

被引：10

作者：

Knapp, Alexander ^{[1
]}

Mossakowski, Till ^{[2
]}

Roggenbach, Markus ^{[3
]}

Glauer, Martin ^{[2
]}

机构：

[1] Univ Augsburg, Augsburg, Germany

[2] Univ Magdeburg, D-39106 Magdeburg, Germany

[3] Swansea Univ, Swansea, W Glam, Wales

来源：

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015 | 2015年 / 9033卷

关键词：

UML; state machines; interleaving product; institutions; PROCESS ALGEBRA; MANAGEMENT; TOOL; CSP;

D O I：

10.1007/978-3-662-46675-9_1

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which provide dynamic components of states (such as valuations of attributes) but abstract away from details of class diagrams. We also study a notion of interleaving product, which captures the interaction of several state machines. The interleaving product construction is the basis for a semantics of composite structure diagrams, which can be used to specify the interaction of state machines. This work is part of a larger effort to build a framework for formal software development with UML, based on a heterogeneous approach using institutions.

引用

页码：3 / 18

页数：16

共 50 条

[31] Graphical Animations of State Machines
Tam Thi Thanh Nguyen
Ogata, Kazuhiro
2017 IEEE 15TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 15TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 3RD INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS(DASC/PICOM/DATACOM/CYBERSCI, 2017, : 604 - 611
[32] Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking
Adesina, Opeyemi
Lethbridge, Timothy C.
Some, Stephane
2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 524 - 532
[33] Representing security specifications in UML state machine diagrams
Khan, Muhammad Umair
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 : 453 - 458
[34] UML State Machine as Modeling Language for DEVS Formalism
Gonzalez, Ariel
Luna, Carlos
Abella, Rodrigo
PROCEEDINGS OF THE 2016 XLII LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2016,
[35] UML state machine conversion in field of dual specification
Doligalski, Michal
PRZEGLAD ELEKTROTECHNICZNY, 2009, 85 (07): : 192 - 195
[36] An expressive aspect composition language for UML state diagrams
Whittle, Jon
Moreira, Ana
Araujo, Joao
Jayaraman, Praveen
Elkhodary, Ahmed
Rabbi, Rasheed
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4735 : 514 - +
[37] Integration of the association ends within UML state diagrams
Bouabana-Tebibel, Thouraya
Belmesk, Mounira
INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2008, 5 (01) : 7 - 15
[38] Possible Utilizations of UML Editors in the Field of Packaging Machines from an OEM's perspective
Diehm, Sebastian
ATP EDITION, 2009, (06): : 58 - 63
[39] From SysML State Machines to Petri Nets Using ATL Transformations
Pais, Rui
Barros, Joao Paulo
Gomes, Luis
TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, 2014, 423 : 227 - 236
[40] An integrated framework for scenarios and state machines
Sengupta, B
Cleaveland, R
INTEGRATED FORMAL METHODS, PROCEEDINGS, 2005, 3771 : 366 - 385

← 1 2 3 4 5 →