Authors: Alessander Botti Benevides, Bernardo F. B. Braga, Giancarlo Guizzardi, João Paulo A. Almeida
Tags: 2009, conceptual modeling
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information systems. This paper proposes an approach to assess conceptual models defined in OntoUML by transforming these models into specifications in the logic-based language Alloy. These Alloy specifications include the modal axioms of the theory underlying OntoUML, allowing us to validate the modal meta-properties of the OntoUML types and part-whole relations.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-642-04947-7_8
