Benevides, Alessander Botti; Guizzardi, Giancarlo; Braga, Bernardo Ferreira Bastos; Almeida, Joao Paulo Andrade Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. (English) Zbl 1216.68280 J. UCS 16, No. 20, 2904-2933 (2010). Summary: 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. MSC: 68T30 Knowledge representation 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Keywords:formal definitions and theory; knowledge representation formalisms and methods; model validation and analysis PDFBibTeX XMLCite \textit{A. B. Benevides} et al., J. UCS 16, No. 20, 2904--2933 (2010; Zbl 1216.68280) Full Text: Link