Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures. Benevides, A. B., Guizzardi, G., Braga, B. F. B., & Almeida, J. P. A.
abstract   bibtex   
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.
@article{benevides_validating_nodate,
	title = {Validating {Modal} {Aspects} of {OntoUML} {Conceptual} {Models} {Using} {Automatically} {Generated} {Visual} {World} {Structures}},
	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.},
	language = {en},
	author = {Benevides, Alessander Botti and Guizzardi, Giancarlo and Braga, Bernardo Ferreira Bastos and Almeida, Joao Paulo Andrade},
	keywords = {⛔ No DOI found, 🔍No DOI found},
	pages = {30},
}

Downloads: 0