Title of article
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
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
From page
2904
To page
2933
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
Journal title
Journal of J.UCS (Journal of Universal Computer Science)
Journal title
Journal of J.UCS (Journal of Universal Computer Science)
Record number
2661642
Link To Document