Assessing Modal Aspects of OntoUML Conceptual Models in Alloy

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.

• Type: Conference
• Year: 2009
• Where: ER
• Authors: Alessander Botti Benevides, Giancarlo Guizzardi, Bernardo F. B. Braga, João Paulo A. Almeida
• Keywords: Conceptual Models, ER 2009, Logic-based Language Alloy, Modal Axioms, Programming Languages