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
{"_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 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":[{"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 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.},\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}