Alessander Botti Benevides

Learn More
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling language named OntoUML. The Editor is designed in a way that, on one hand, it shields the user from the complexity of the ontological principles underlying this language. On the(More)
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(More)
While conceptual modeling is strongly related to the final quality of the software product, conceptual modeling itself remains a challenging activity. In particular, modelers must ensure that conceptual models properly formalize their intended conceptualization of a domain. This paper proposes an approach to facilitate the validation process of conceptual(More)
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(More)
Aims and Objectives of the Research Our primary aim is to create an ontologically well-founded framework for modelling Business Organizations, Processes and Services under a common unifying view. Such a framework will include both a language and a methodology, possibly supported by interactive modelling tools. For the language component, a secondary aim is(More)
  • 1