Sciweavers

Share
ER
2009
Springer

Assessing Modal Aspects of OntoUML Conceptual Models in Alloy

9 years 4 months ago
Assessing Modal Aspects of OntoUML Conceptual Models in Alloy
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 of the OntoUML types and part-whole relations.
Alessander Botti Benevides, Giancarlo Guizzardi, B
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ER
Authors Alessander Botti Benevides, Giancarlo Guizzardi, Bernardo F. B. Braga, João Paulo A. Almeida
Comments (0)
books