Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures

: 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 representing ontological commitments of the OntoUML types and relations. Key Words: Model Validation and Analysis, Knowledge Representation Formalisms and Methods, Formal Definitions and Theory Category: I.6.4, I.2.4, D.3.1

• Type: Journal
• Year: 2010
• Where: JUCS
• Authors: Alessander Botti Benevides, Giancarlo Guizzardi, Bernardo Ferreira Bastos Braga, João Paulo A. Almeida
• Keywords: Conceptual Models, JUCS 2010, Knowledge Representation Formalisms And Methods, Logic-based Language Alloy