Systematic Mapping - Formalization of UML Semantics using Temporal Logic

Vinícius Pereira, Marcio E. Delamaro

2015

Abstract

Despite offering a wide variety of elements for graphical representation of models, the UML does not have a well-defined semantics. Therefore, over the years researches seek to assign some kind of formal semantics for UML. Objective: In this context, this paper seeks to bring evidence about the techniques for formalizing the UML semantics available in the literature, particularly those using temporal logic. Method: For this purpose, we conducted a systematic mapping study based on searching of major electronic databases. Results: We explored 278 studies, of which we claim 13 studies for analysis. In other words, the result shows that the overall picture defined by them is interest, because it shows that the majority of studies deal only with the formalization of one type of UML diagram. Conclusion: Summing up, we found out that State Diagram is the more formalized diagram in the studies. It is difficult to find the formalization of three or more UML diagrams, perhaps because of the difficulty in ensuring the overlap between UML elements. Furthermore, the results can provide perception of new research in the UML semantics for investigating and defining new tools/process to assist the software engineers.

Paper Citation

in Harvard Style

Pereira V. and E. Delamaro M. (2015). Systematic Mapping - Formalization of UML Semantics using Temporal Logic . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-097-0, pages 486-493. DOI: 10.5220/0005468704860493

in Bibtex Style

@conference{iceis15,
author={Vinícius Pereira and Marcio E. Delamaro},
title={Systematic Mapping - Formalization of UML Semantics using Temporal Logic},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2015},
pages={486-493},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005468704860493},
isbn={978-989-758-097-0},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Systematic Mapping - Formalization of UML Semantics using Temporal Logic
SN - 978-989-758-097-0
AU - Pereira V.
AU - E. Delamaro M.
PY - 2015
SP - 486
EP - 493
DO - 10.5220/0005468704860493