Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
Alessander Botti Benevides, Bernardo F. B. Braga, Giancarlo Guizzardi, Joao Paulo Andrade Almeida
Abstract
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.
Topics & Concepts
Computer scienceConceptual modelAxiomModalKey (lock)MetamodelingModal logicBasis (linear algebra)Quality (philosophy)Software engineeringArtificial intelligenceEpistemologyDatabaseComputer securityChemistryPhilosophyMathematicsGeometryPolymer chemistrySemantic Web and OntologiesService-Oriented Architecture and Web ServicesModel-Driven Software Engineering Techniques