loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Alessandro Gerlinger Romero 1 ; Klaus Schneider 2 and Maurício Gonçalves Vieira Ferreira 1

Affiliations: 1 Brazilian National Institute for Space Research, Brazil ; 2 University of Kaiserslautern, Germany

Keyword(s): Base Semantics, fUML, UML, Alf, Formal Methods, Theorem Proving, Verification.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Executable UML ; Languages, Tools and Architectures ; Model-Driven Software Development ; Reasoning about Models ; Software Engineering ; Syntax and Semantics of Modeling Languages

Abstract: The lack of formal foundations of UML results in imprecise models since UML only defines graphical notations, but not their formal semantics. However, in safety-critical applications, formal semantics is a requirement for verification. Semantics for the key parts of activities and classes of UML is defined by the semantics of a foundational subset for executable UML models (fUML). Moreover, the base semantics given by fUML defines the formal semantics of UML. In this paper, we evaluate a subset of the base semantics given by fUML covering its formal definition and its use for verification. From the practical perspective, we show with a simple example how the base semantics can support formal verification through theorem proving. The initial results show that the base semantics, when mature, can play an important role in the formal verification of UML models.

CC BY-NC-ND 4.0

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 3.238.226.167

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:
Gerlinger Romero, A.; Schneider, K. and Gonçalves Vieira Ferreira, M. (2014). Using the Base Semantics given by fUML for Verification. In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-007-9; ISSN 2184-4348, SciTePress, pages 5-16. DOI: 10.5220/0004662400050016

@conference{modelsward14,
author={Alessandro {Gerlinger Romero}. and Klaus Schneider. and Maurício {Gon\c{C}alves Vieira Ferreira}.},
title={Using the Base Semantics given by fUML for Verification},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2014},
pages={5-16},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004662400050016},
isbn={978-989-758-007-9},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Using the Base Semantics given by fUML for Verification
SN - 978-989-758-007-9
IS - 2184-4348
AU - Gerlinger Romero, A.
AU - Schneider, K.
AU - Gonçalves Vieira Ferreira, M.
PY - 2014
SP - 5
EP - 16
DO - 10.5220/0004662400050016
PB - SciTePress