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)
This paper presents the off-line evaluation of scalp EEG signals registered while a potential brain-computer-interface user was hearing unpleasant sounds. The EEG patterns of event-related desynchronization/synchronization are studied during the human perception of sound stimuli, which was given by scraping a sharp knife along the surface of a ridged metal(More)
One of the biggest concerns for control of robotic devices for rehabilitation of amputees is related to the sEMG signal quality. Depending on how clean is the signal, more efficient and effective is the response of the control in relation to the user needs. This article proposes a protocol for sEMG signal capture with the least amount of crosstalk without(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)
The lack of formal semantics of traditional approaches to business process modeling negatively affects the integration and sharing of models. The approaches that provide a semantics often do not discuss the ontological foundation of the assumed primitives hindering the intelligibility of the models. We propose an ontological founded modeling framework in(More)
A major concern in the study of human behavior is related to the machines on which consciousness works for analysis, we addressed the phenomenological approach through the study of self, based on the biological behavior in the processes of perception. This paper aims to develop a system for recognizing the threshold of conscious perception, by using visual(More)
  • 1