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. © Springer-Verlag Berlin Heidelberg 2009.
CITATION STYLE
Benevides, A. B., Guizzardi, G., Braga, B. F. B., & Almeida, J. P. A. (2009). Assessing modal aspects of OntoUML conceptual models in Alloy. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5833 LNCS, pp. 55–64). https://doi.org/10.1007/978-3-642-04947-7_8
Mendeley helps you to discover research relevant for your work.