Author/Authors :
Benevides, Alessander Botti Federal University of Espirito Santo (UFES) - Computer Science Department, Ontology and Conceptual Modeling Research Group (NEMO), Brazil , Guizzardi, Giancarlo Federal University of Espirito Santo (UFES) - Ontology and Conceptual Modeling Research Group (NEMO), Computer Science Department, Brazil , Braga, Bernardo Ferreira Bastos Federal University of Espirito Santo (UFES) - Ontology and Conceptual Modeling Research Group (NEMO), Computer Science Department, Brazil , Almeida, Joao Paulo Andrade Federal University of Espirito Santo (UFES) - Ontology and Conceptual Modeling Research Group (NEMO), Computer Science Department, Brazil
Abstract :
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
Keywords :
Model Validation and Analysis , Knowledge Representation Formalisms and Methods , Formal Definitions and Theory
