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… (More)
DOI: 10.1016/j.procs.2015.07.253

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Messaoudi2015AnOS, title={An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations}, author={Nabil Messaoudi and Allaoua Chaoui and Mohamed Bettaz}, booktitle={FNC/MobiSPC}, year={2015} }