Carla T. L. L. Silva
Federal University of Pernambuco
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Carla T. L. L. Silva.
research challenges in information science | 2008
Márcia Lucena; Emanuel Santos; Carla T. L. L. Silva; Fernanda M. R. Alencar; Maria Jocelia Silva; Jaelson Castro
i* is a framework for goal-oriented requirements modeling. This framework contains an organizational modeling language defined by actors and dependencies among them. Although i* has been widely used, it is still hard to work with it due to its diversity of variants. In this paper, we propose a unified metamodel that presents elements of two well-known variants of i*. We show how OCL restrictions can be applied this metamodel in order to generate a specific variant. In doing so, we intend to unify the efforts of i* community. This metamodel can be useful when developing generic tools for i*, as well as to reason about i* language. Moreover, it makes it easier to extend the i* language. Thus, our proposal is an attempt towards the unification on i* variants by considering similarities and differences among them.
Requirements Engineering | 2012
João Pimentel; Márcia Lucena; Jaelson Castro; Carla T. L. L. Silva; Emanuel Santos; Fernanda M. R. Alencar
Some quality attributes are known to have an impact on the overall architecture of a system, so that they are required to be properly handled from the early beginning of the software development. For example, adaptability is a key concern for autonomic and adaptive systems, which brings to them the capability to alter their behavior in response to changes on their surrounding environments. In this paper, we propose a Strategy for Transition between Requirements and Architectural Models for Adaptive systems (STREAM-A). In particular, we use goal models based on the i* (i-Star) framework to support the design and evolution of systems that require adaptability. To obtain software architectures for such systems, the STREAM-A approach uses model transformations from i* models to architectural models expressed in Acme. Both the requirements and the architectural model are refined to accomplish the adaptability requirement.
acm symposium on applied computing | 2010
Fernanda M. R. Alencar; Jaelson Castro; Márcia Lucena; Emanuel Santos; Carla T. L. L. Silva; João Araújo; Ana Moreira
The i* framework cannot effectively model crosscutting concerns, compromising modularity, reusability and evolution of the results. Our approach embodies a specific notation to represent and compose aspectual i* models, using aspect-orientation to address modularity and composition of crosscutting concerns. This represents a step forward to improve separation of concerns in i*.
Journal of Systems and Software | 2012
Jaelson Castro; Márcia Lucena; Carla T. L. L. Silva; Fernanda M. R. Alencar; Emanuel Santos; João Pimentel
Architectural design is an important activity, but the understanding of how it is related to requirements modeling is rather limited. It is worth noting that goal orientation is an increasingly recognized paradigm for eliciting, modeling, specifying, and analyzing software requirements. However, it is not clear how goal models are related to architectural models. In this paper we present an approach based on model transformations to derive architectural structural specifications from system goals. The source and target languages are respectively the i* (iStar) modeling language and the Acme architectural description language. A real case study is used to show the feasibility of our approach.
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV | 2006
Fernanda M. R. Alencar; Jaelson Castro; Ana Moreira; João Araújo; Carla T. L. L. Silva; Ricardo Argenton Ramos; John Mylopoulos
The i* framework has been widely adopted for agent-oriented modeling, as it offers a notation that provides a description in terms of dependency relationships among agents. However, the resulting models may be large and complex, with scattered concerns within the same, or among several models. These crosscutting concerns are not handled explicitly in i* models, affecting several other elements in the same model. In this paper we investigate if the Early Aspects, as promoted by the Aspect-Oriented Software Development community, can help to deal with the complexity which may arise when i* is used to develop large multi-agent systems. To achieve this we identify crosscutting concerns, keeping them in separate models. The consequence is a reduction in complexity and size of the original model. Composition rules are defined simultaneously, to keep a record of these modularized crosscutting elements. Thus, these rules work as transformations in model-driven engineering allowing us to recover the original, more refined model.
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009 | 2009
Márcia Lucena; Jaelson Castro; Carla T. L. L. Silva; Fernanda M. R. Alencar; Emanuel Santos; João Pimentel
Requirements engineering and architectural design are key activities for successful development of software systems. Both activities are strongly intertwined and interrelated, but many steps toward generating architecture models from requirements models are driven by intuition and architectural knowledge. Thus, systematic approaches that integrate requirements engineering and architectural design activities are needed. This paper presents an approach based on model transformations to generate architectural models from requirements models. The source and target languages are respectively the i* modeling language and Acme architectural description language (ADL). A real web-based recommendation system is used as case study to illustrate our approach.
conference on advanced information systems engineering | 2003
Jaelson F. B. Castro; Carla T. L. L. Silva; John Mylopoulos
Todays information systems operate within a dynamic, organizational context and consequently require flexible architectures to ensure that they remain operational and useful. The Tropos software development methodology is founded on the premise that social and intentional concepts (such as those of actor and goal) can be used throughout the development process from early requirements to implementation. Earlier work within the scope of the project has defined a number of organizational architectures styles which are suitable for cooperative, dynamic and distributed applications. In this paper, we use UML to describe these novel architetural styles. In doing so we are able to provide a detailed representation of both the structure and behavior of the styles.
computer software and applications conference | 2012
Diego Dermeval; João Pimentel; Carla T. L. L. Silva; Jaelson Castro; Emanuel Santos; Gabriela Guedes; Márcia Lucena; Anthony Finkelstein
Requirements Engineering and Architectural Design are activities of the software development process that are strongly related and intertwined. Thus, providing effective methods of integration between requirements and architecture is an important Software Engineering challenge. In this context, the STREAM process presents a model-driven approach to generate early software architecture models from requirements models. Despite being a systematic derivation approach, STREAM does not support the documentation of architectural decisions and their corresponding rationale. Recent studies in the software architecture community have stressed the need to treat architectural design decisions and their rationale as first class citizens in software architecture specification. In this paper we define an extension of this process, named STREAM-ADD (Strategy for Transition between Requirements and Architectural Models with Architectural Decisions Documentation). This extended process aims to systematize the documentation of architectural decisions by the time they are made and to support the refinement of the architecture according to such decisions. In order to illustrate our approach, it was applied for creating the architecture specification of a route-planning system.
acm symposium on applied computing | 2011
Márcia Lucena; Jaelson Castro; Carla T. L. L. Silva; Fernanda M. R. Alencar; Emanuel Santos
Requirements engineering and architectural design are strongly intertwined and interrelated software development activities. This paper presents a systematic approach to integrate requirements engineering and architectural design activities based on model transformations to generate architectural models from requirements models. The source and target languages are respectively the i* modeling language and Acme architectural description language. Non-functional requirements (NFRs) are used to select among architectural solutions and architectural patterns. An e-commerce system is used as running example to illustrate our approach.
international conference on conceptual modeling | 2009
Sandra António; João Araújo; Carla T. L. L. Silva
Feature modeling is an important technique to capture commonalities and variabilities in a software product line (SPL). However, this kind of models shows a specific perspective, which is not sufficient to express all the characteristics and constraints of an SPL. Using a goal-oriented approach, such as i*, to complement (and help define) feature models would improve such models enhancing meaning and justification to features. Goal-oriented modelling provides a way to identify variabilities at an early phase of requirements, allowing alternative options to satisfy stakeholders goals. The aim of this work is to benefit software product lines from the framework i*, a more expressive approach to requirements engineering of SPLs.