Abstract
Abstract In this paper, we propose an operational semantics for UML2SD (Unified Modeling Language 2 Sequence Diagrams) to its equivalent Buchi automaton. The objective of this paper is twofold; first we provide UML2SD with Buchi 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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
