Authors: Giancarlo Guizzardi, João Paulo A. Almeida, John Guerson
Tags: 2014, conceptual modeling
In order to increase the accuracy of conceptual models, graphical languages such as UML are often enriched with textual constraint languages such as the Object Constraint Language (OCL). This enables modelers to benefit from the simplicity of diagrammatic languages while retaining the expressiveness required for producing accurate models. In this paper, we discuss how OCL is used to enrich a conceptual model assessment tool based on an ontologically well-founded profile of the Unified Modeling Language (UML) that assumes multiple and dynamic classification (called OntoUML). In the approach, OCL expressions are transformed into Alloy statements enabling model validation and assertion verification with the Alloy Analyzer. The tool we have developed allows modelers with no Alloy expertise to express constraints in OCL enriching OntoUML models.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-662-43745-2_21
