Kleinner Silva Farias

/Kleinner Silva Farias

Safetrail: Um Modelo para Controle de Acesso baseado em Perfis, Contextos e Trilhas

A computação móvel, a cada dia, está mais difundida, verificando-se uma quantidade crescente de pessoas utilizando seus recursos e interagindo a partir de seus dispositivos, de qualquer lugar e a qualquer momento. Muitas dessas interações envolvem informações e conteúdos confidenciais ou restritos, o que exige um nível de segurança para proteção dos usuários e de [...]

Towards an Architecture for Integration of Feature Models

The integration of variability models (e.g., feature models) is considered an error-prone activity, which can consume a lot of effort from development teams working in parallel, thereby compromising developers’ productivity as well as the quality of software developed. For this, many integration techniques have been proposed in last decades to support developers to integrate feature [...]

Detecting Inconsistencies in Multi-view UML Models

Inconsistencies in conflicting multi-view UML models can be major obstacles to the quality and productivity of software development. In the current literature it can be observed that some tools were developed to support the detection of inconsistencies, but none of them are still consolidated. In addition, many of these tools only evaluate syntactic inconsistencies, not [...]

Comparison of Design Models A Systematic Mapping Study

Context: Model comparison plays a central role in many software engineering activities. However, a comprehensive understanding about the state-of-art is still required. Goal: This paper, therefore, aims at classifying, identifying publication fora, and performing thematic analysis of the current literature in model comparison for creating an extensive and detailed understanding about this area, thereby determining [...]

MAS-ML 2.0: Supporting the modelling of multi-agent systems with different agent architectures

Multi-agent systems (MAS) involve a wide variety of agents that interact with each other to achieve their goals. Usually each agent has a particular internal architecture defining its main structure that gives support to the interaction among the entities of MAS. Many modelling languages have been proposed in recent years to represent the internal architectures [...]

Evaluating the effort of composing design models a controlled experiment

The lack of empirical knowledge about the effects of model composi-tion techniques on developers' effort is the key impairment for their widespread adoption in practice. This problem applies to both existing categories of model composition techniques, i.e. specification-based (e.g. Epsilon) and heuristic-based (e.g. IBM RSA) techniques. This paper reports on a controlled experiment that investigates [...]

Effects of stability on model composition effort an exploratory study

Model composition plays a central role in many software engineering activities, e.g., evolving design models to add new features. To support these activities, developers usually rely on model composition heuristics. The problem is that the models to-be-composed usually conflict with each other in several ways and such composition heuristics might be unable to properly deal [...]