Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations

被引：1

作者：

Ziemann, Paul ^{[1
]}

Hoelscher, Karsten ^{[1
]}

Gogolla, Martin ^{[1
]}

机构：

[1] Univ Bremen, Dept Comp Sci, Bremen, Germany

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 130卷

关键词：

UML; graph transformation; integrated formal semantics; OCL;

D O I：

10.1016/j.entcs.2005.03.014

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams albeit our approach covers use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying class diagram and include OCL expressions as guards and parts of message expressions. We illustrate in detail the generation of graph transformation rules for the statechart and collaboration diagrams.

引用

页码：263 / 280

页数：18

共 50 条

[11] The impact of structural complexity on the understandability of UML statechart diagrams
Cruz-Lemus, Jose A.
Maes, Ann
Genero, Marcela
Poels, Geert
Piattini, Mario
[J]. INFORMATION SCIENCES, 2010, 180 (11) : 2209 - 2220
[12] Defining metrics for UML statechart diagrams in a methodological way
Genero, M
Miranda, D
Piattini, M
[J]. CONCEPTUAL MODELING FOR NOVEL APPLICATION DOMAINS, PROCEEDINGS, 2003, 2814 : 118 - 128
[13] A stochastic extension of a behavioural subset of UML statechart diagrams
Gnesi, S
Latella, D
Massink, M
[J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 55 - 64
[14] On execution semantics of UML statechart diagrams using the π-calculus
Lam, VSW
Padget, J
[J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 877 - 882
[15] Approach of statechart synthesis from UML sequence diagrams
Chu, Hua
Li, Qing-Shan
Chen, Ping
Guo, Jun-Li
[J]. Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2005, 27 (03): : 524 - 528
[16] Efficient dependence analysis for UML statechart diagrams and its applications
Yi, T
Wu, FJ
[J]. CHINESE JOURNAL OF ELECTRONICS, 2005, 14 (01) : 30 - 34
[17] Evaluating the effect of composite states on the understandability of UML statechart diagrams
Cruz-Lemus, JA
Genero, M
Manso, ME
Piattini, M
[J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 113 - 125
[18] Symbolic model checking of UML statechart diagrams with an integrated approach
Lam, VSW
Padget, J
[J]. 11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 337 - 346
[19] Formal models of UML statechart diagrams based on Petri nets
School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China
[J]. Beijing Hangkong Hangtian Daxue Xuebao, 2007, 2 (248-252):
[20] Using controlled experiments for validating UML statechart diagrams measures
Cruz-Lemus, Jose A.
Genero, Marcela
Piattini, Mario
[J]. SOFTWARE PROCESS AND PRODUCT MEASUREMENT, 2008, 4895 : 129 - 138

← 1 2 3 4 5 →