Paper Info
Title
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations
Abstract
In this paper, we propose an operational semantics for UML2SD (Unified Modeling Language 2 Sequence Diagrams) to its equivalent Büchi automaton. The objective of this paper is twofold; first we provide UML2SD with Büchi automaton formal semantics, and second we bridge the gap between theoretic studies to practical studies by improving model transformations. The approach is based on Algebraic graph transformation and uses AGG (Attribut Graph Grammar) tool. The rules of the graph grammars specifying transformation of basic interactions and combined fragments are based on the proposed semantics. A scenario of ATM (Automatic Teller Machine) as case study will illustrate our approach.
Year
DOI
Venue
2015
10.1016/j.procs.2015.07.253
Procedia Computer Science
Keywords
Field
DocType
Sequence diagrams,Semantics,Büchi automaton,AGG
Rule-based machine translation,Sequence diagram,Operational semantics,Unified Modeling Language,Computer science,Grammar,Theoretical computer science,Graph rewriting,Semantics,Büchi automaton
Conference
Volume
ISSN
Citations 
56
1877-0509
3
PageRank 
References 
Authors
0.48
2
3
Name
Order
Citations
PageRank
nabil messaoudi130.48
Allaoua Chaoui28526.27
Mohamed Bettaz36611.13