Sciweavers

Share
JUCS
2010

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

8 years 5 months ago
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
Alessander Botti Benevides, Giancarlo Guizzardi, B
Added 20 May 2011
Updated 20 May 2011
Type Journal
Year 2010
Where JUCS
Authors Alessander Botti Benevides, Giancarlo Guizzardi, Bernardo Ferreira Bastos Braga, João Paulo A. Almeida
Comments (0)
books