Paper Unlock

Authors: Vinícius Pereira 1 ; Luciano Baresi 2 and Márcio E. Delamaro 1

Affiliations: 1 Universidade de São Paulo (USP), Brazil ; 2 Politecnico di Milano (POLIMI), Italy

ISBN: 978-989-758-097-0

Keyword(s): UML, Formal Results, Traceability, Mapping, Model Verification.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Software Engineering ; Tools, Techniques and Methodologies for System Development

Abstract: UML is a widely used modeling language and it has a semi-formal notation that helps the software developers with a set of modeling rules, but without the need to have expertise in formal methods. This semi-formalism encourages the use of UML in Software Engineering domain because the software engineers involved can understand UML diagrams easily. Whereas, formal methods are more accurate than UML and their formal models have a higher correctness than the UML models. Thanks to this correctness, over the years, researchers are seeking ways to assign a formal semantics to UML. Usually they focus on how to formalize UML diagrams, transform them into formal models (such as LISP) and use them in model checkers. However, few researches discuss the problem of how to present the formal results to an audience who has no knowledge of formal methods. In order to fulfil this problem, in this paper is presented a mapping responsible for making the correlation between the formal results and the UML semi-formal environment, allowing the developer to analyze the results without having advance knowledge of formal methods. Therefore, we hope that this work may contribute to the increased adoption of formal methods in the software development industry. (More)

PDF ImageFull Text


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Pereira, V.; Baresi, L. and Delamaro, M. (2015). Mapping Formal Results Back to UML Semi-formal Model.In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-758-097-0, pages 320-329. DOI: 10.5220/0005372603200329

author={Vinícius Pereira. and Luciano Baresi. and Márcio E. Delamaro.},
title={Mapping Formal Results Back to UML Semi-formal Model},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},


JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - Mapping Formal Results Back to UML Semi-formal Model
SN - 978-989-758-097-0
AU - Pereira, V.
AU - Baresi, L.
AU - Delamaro, M.
PY - 2015
SP - 320
EP - 329
DO - 10.5220/0005372603200329

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.