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

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 eﬀectively as a basis for understanding, agreement and construction of information systems. This paper proposes an approach to assess conceptual models deﬁned in OntoUML by transforming these models into speciﬁcations in the logic-based language Alloy. These Alloy speciﬁcations 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 eﬀectively as a basis for understanding, agreement and construction of information systems. This paper proposes an approach to assess conceptual models deﬁned in OntoUML by transforming these models into speciﬁcations in the logic-based language Alloy. These Alloy speciﬁcations 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

{"_id":"zpy4HPP7NRuNdwS9A","bibbaseid":"benevides-guizzardi-braga-almeida-validatingmodalaspectsofontoumlconceptualmodelsusingautomaticallygeneratedvisualworldstructures","author_short":["Benevides, A. B.","Guizzardi, G.","Braga, B. F. B.","Almeida, J. P. A."],"bibdata":{"bibtype":"article","type":"article","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 eﬀectively as a basis for understanding, agreement and construction of information systems. This paper proposes an approach to assess conceptual models deﬁned in OntoUML by transforming these models into speciﬁcations in the logic-based language Alloy. These Alloy speciﬁcations 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":[{"propositions":[],"lastnames":["Benevides"],"firstnames":["Alessander","Botti"],"suffixes":[]},{"propositions":[],"lastnames":["Guizzardi"],"firstnames":["Giancarlo"],"suffixes":[]},{"propositions":[],"lastnames":["Braga"],"firstnames":["Bernardo","Ferreira","Bastos"],"suffixes":[]},{"propositions":[],"lastnames":["Almeida"],"firstnames":["Joao","Paulo","Andrade"],"suffixes":[]}],"keywords":"⛔ No DOI found, 🔍No DOI found","pages":"30","bibtex":"@article{benevides_validating_nodate,\n\ttitle = {Validating {Modal} {Aspects} of {OntoUML} {Conceptual} {Models} {Using} {Automatically} {Generated} {Visual} {World} {Structures}},\n\tabstract = {Assessing the quality of conceptual models is key to ensure that conceptual models can be used eﬀectively as a basis for understanding, agreement and construction of information systems. This paper proposes an approach to assess conceptual models deﬁned in OntoUML by transforming these models into speciﬁcations in the logic-based language Alloy. These Alloy speciﬁcations 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.},\n\tlanguage = {en},\n\tauthor = {Benevides, Alessander Botti and Guizzardi, Giancarlo and Braga, Bernardo Ferreira Bastos and Almeida, Joao Paulo Andrade},\n\tkeywords = {⛔ No DOI found, 🔍No DOI found},\n\tpages = {30},\n}\n\n","author_short":["Benevides, A. B.","Guizzardi, G.","Braga, B. F. B.","Almeida, J. P. A."],"key":"benevides_validating_nodate","id":"benevides_validating_nodate","bibbaseid":"benevides-guizzardi-braga-almeida-validatingmodalaspectsofontoumlconceptualmodelsusingautomaticallygeneratedvisualworldstructures","role":"author","urls":{},"keyword":["⛔ No DOI found","🔍No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/brunocpt","dataSources":["9N7FyBLqJ5Q2Suqzs"],"keywords":["⛔ no doi found","🔍no doi found"],"search_terms":["validating","modal","aspects","ontouml","conceptual","models","using","automatically","generated","visual","world","structures","benevides","guizzardi","braga","almeida"],"title":"Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures","year":null}