Trabalhos Futuros

Uma vez que a definição da abordagem de uma abordagem para a fase de requisitos na enge- nharia de domínio e na engenharia de aplicação com modelos de objetivos foi realizada atra- vés da definição de E-SPL (do inglês, Early Software Product Line – Linha de Produto de Software Inicial), temos que o objetivo de pesquisa desta dissertação foi atingido.

No entanto, a área de SPL com modelos de objetivos ainda tem ainda muito trabalho que deve ser explorado. No âmbito desta dissertação, podemos listar as seguintes ações e me- lhorias que poderão ser realizadas com a finalidade de suprir algumas deficiências desde já conhecidas, como prospecção para trabalhos futuros:

 Aplicar a abordagem E-SPL em algum caso industrial, uma vez que os exemplos apresentados tratam de especificações mais próximas de um caso conceitual;

 Verificar a possibilidade do uso de guias para a especificação inicial de requisitos no modelo i*-Ortogonal Intencional, na atividade “Especificar Requisitos em

Modelo de Objetivos” da abordagem E-SPL.

 Verificar a possibilidade do uso de guias para a especificação inicial de requisitos no modelo de contextos e posterior relacionamento ao modelo i*-Ortogonal Con-

textual, na atividade “Especificar o Modelo de Contextos” da abordagem E-SPL,

junto ao modelo i*-Ortogonal Contextual.

 Verificar a possibilidade do uso de guias para capturar, da especificação inicial de requisitos, as variabilidades do domínio, na atividade “Representar a Variabilida-

de” da abordagem E-SPL, junto ao modelo i*-Ortogonal.

 Verificar a possibilidade do uso de guias para reduzir a complexidade e promover a modularização sistematizada dos modelos i*-Ortogonal, durante seu processo de criação, devido à caracterização das informações de variabilidade e contextual inerentes à abordagem.

 Definir e realizar regras de transformação de modelos, que considerem a utiliza- ção da interface de “Artefato de Domínio” disponibilizada pela linguagem i*-

volvimento de software com SPL, no sentido da automatização da configuração do produto específico de software.

 Realizar o suporte ferramental para a abordagem E-SPL, no contexto de requisi- tos, incluindo ambiente de modelagem e realização de SPL, resultando modelos

i*-Wiki (GRAU, HORKOFF, et al., 2009).

 Estender a abordagem E-SPL para as demais fases do desenvolvimento de sof- tware (que não requisitos), através da realização da metaclasse de “Artefato de Domínio” disponibilizada pela linguagem i*-Ortogonal.

 Validar o processo de priorização de variantes após escolha manual e/ou contex- tual prévia, especificado na tarefa “Priorização de Variantes” na abordagem E- SPL, que modifica a forma do cálculo da prioridade do variante, inserindo a dis- tinção entre os tipos de contribuição permitidos pela linguagem i*-Ortogonal.

 Validar o processo de priorização da escolha do variante (dentre os elegíveis) a partir da atividade “Priorização de Variantes” na abordagem E-SPL.

 Realizar modelos intermediários para a conversão de i*-Ortogonal em outros pro- dutos de requisitos, que não i*-Wiki (por exemplo, casos de uso).

Referências

ALENCAR, F. et al. Integration of Aspects with i* Models. Agent-Oriented Information Systems IV, LNCS, Springer-Verlag, v. 4898, 2008.

ALI, R.; DALPIAZ, F.; GIORGINI, P. A goal modeling framework for self-contextualizable software. Enterprise, Business-Process and Information Systems Modeling Journal, 2009. 326-338.

ANTÓNIO, S.; ARAÚJO, J.; SILVA, C. Adapting the i* Framework for Software Product Lines. Advances in Conceptual Modeling, Springer, 2009.

ASADI, M. et al. Goal-Driven Software Product Line Engineering. Proceedings of SAC'2011, TaiChung, China, Março 2011. 21-25.

BACHMANN, F.; BASS, L. Managing variability in software architectures. SIGSOFT Softw. Eng. Notes, v. 26, n. 3, p. 126-132, Maio 2001.

BENAVIDES, D.; TRUJILLO, S.; TRINIDAD, P. On the modularization of feature models. Proceedings of 1st European workshop on Model Transformation, Rennes, France, 2005. BORBA, C. C. Uma Abordagem Orientada a Objetivos para as Fases de Requisitos de Linhas de Produtos de Software. (Dissertação de Mestrado) Universidade Federal de Pernambuco. Recife, PE, Brasil, p. 159. 2009.

BORBA, C.; SILVA, C. A comparison of goal-oriented approaches to model software product lines variability. Lecture Notes in Computer Science (LNCS), Springer-Verlag, v. 5833, 2009.

BOSCH, J. et al. Variability issues in software product lines. Software Product-Family Engineering, Springer, 2002.

BPMN. Business Process Modeling and Notation (BPMN 2.0), 2011. Disponivel em: <http://www.omg.org/spec/BPMN/2.0/>. Acesso em: fevereiro 2011.

BRESCIANI, P. et al. Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems, Springer-Verlag, v. 8, n. 3, p. 203-236, 2004.

BUHNE, S.; LAUENROTH, K.; POHL, K. Modelling requirements variability across product lines. Proceedings of 13th IEEE International Conference on Requirements Engineering, 2005. 41-50.

CASTRO, J.; KOLP, M.; MYLOPOULOS, J. Towards Requirements-Driven Information Systems Engineering: The Tropos Project. Information Systems Journal, Elsevier, v. 27, p. 365-89, 2002.

CHUNG, L. K. et al. Non-Functional Requirements in Software Engineering. [S.l.]: Springer, 2000.

CLEMENTS, P.; NORTHROP, L. Software Product Lines: Practices and Patterns. Boston, MA, USA: Addison-Wesley, 2002.

CRUZ NETO, G. G. Estudos qualitativos para elicitação de Requisitos: uma abordagem que integra análise sócio-cultural e modelagem organizacional. (Tese de Doutorado) Universidade Federal de Pernambuco. Recife, PE, Brasil, p. 229. 2008.

CRUZ NETO, G.; GOMES, A.; CASTRO, J. Balanceando entre a Sensibilidade a Riqueza do Campo e a Praticidade do Design de Software. Proceedings of IDEAS'08, Recife, PE, Brasil, 2008.

CRUZ NETO, G.; GOMES, A.; OLIVEIRA, N. Aliando Grounded Theory e Re-formulações de conceitos da Teoria da Atividade para o melhor entendimento de práticas humanas. Proceedings of Workshop on Perspectives, Challenges and Opportunities for Human- Computer Interaction in Latin America, Rio de Janeiro, 2007.

CZARNECKI, K. Mapping features to models: A template approach based on superimposed variants. Proceedings of GPCE'05, LNCS, v. 3676, p. 422-437, 2005.

CZARNECKI, K. et al. Generative programming for embedded software: An industrial experience report. Lecture Notes in Computer Science, Springer-Verlag, Pittsburgh, PA, USA, v. 2487, p. 156-172, 2002.

CZARNECKI, K.; EISENECKER, U. W. Generative Programing: Methods, Tools, and Applications. Boston, MA, USA: Addison Weley, 2000.

CZARNECKI, K.; HELSEN, S.; EISENECKER, U. Staged configuration using feature models. Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, Boston, MA, USA, v. 3154, p. 266-283, 2004.

CZARNECKI, K.; HELSEN, S.; EISENECKER, U. Formalizing cardinality-based feature models and their specialization. Software Process Improvement and Practice, Universität Trier, v. 10, n. 1, p. 7-29, Janeiro/Março 2005.

DALPIAZ, F.; GIORGINI, P.; MYLOPOULOS, J. An Architecture for Requirements-Driven Self-reconfiguration. Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAISE'09), Amsterdam, Holanda, 2009. 246-260. DEHLINGER, J. Incorporating Product-Line Engineering Techniques into Agent- Oriented Software Engineering for Efficiently Building Safety Critical Multi-Agent

Systems. (Tese de Doutorado) Iowa State University of Science and Technology. Ames, Iowa, United States. 2007.

DIJKSTRA, E. W. Notes on Structured Programming. Londres: Academic Press, 1972. DJEBBI, O.; SALINESI, C. Criteria for comparing requirements variability modeling notations for product lines. Proceedings of IEEE Fourth International Workshop on Comparative Evaluation in Requirements Engineering, 2006. CERE'06., 2006. 20-35.

EMF. Eclipse Modeling Framework, 2009. Disponivel em:

<http://www.eclipse.org/modeling/emf>. Acesso em: Fevereiro 2011.

FOWLER, M.; PARSONS, R. Domain-Specific Languages. Boston, MA, USA: Addison- Wesley, 2010.

GIORGINI, P. et al. Reasoning with goal models. Proceedings of the 21st International Conference on Conceptual Modeling (ER'02), Springer-Verlag, 2003. 167-181.

GLASER, B.; STRAUSS, A. The Discovery of Grounded Theory: Strategies of Qualittive Research. New York: Aldine, 1967.

GOMAA, H. Designing Software Product Lines with UML: From Use Cases to Pattern- Based Architectures. Redwood City, CA, USA: Addison Wesley, 2004.

GONZÁLEZ-BAIXAULI, B.; LAGUNA, M.; LEITE, J. Using Goal-Models to Analyze Variability. Proceedings of Second International Workshop on Variability Modelling of Software-intensive Systems, 2008. 101-108.

GRAU, G. et al. i* Guide, 2009. Disponivel em: <http://istar.rwth-aachen.de/>. Acesso em: Fevereiro 2011.

GRAU, G.; FRANCH, X.; MAIDEN, N. PRiM: An i*-based process reengineering method for information systems specification. Information and Software Technology, v. 50, p. 76- 100, 2008.

GRISS, M.; FAVARO, J.; D’ALESSANDRO, M. Integrating feature modeling with the RSEB. Proceedings of the Fifth International Conference on Software Reuse (ICSR), IEEE Computer Society Press, Los Alamitos, CA, p. 76-85, 1998.

GURP, J. V.; BOSCH, J.; SVAHNBERG, M. On the Notion of Variability in Software Product Lines. Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA'01), 2001.

HESSELLUND, A.; WKASOWSKI, A. Interfaces and metainterfaces for models and metamodels. Model Driven Engineering Languages and Systems, Springer, 2010. 401-415.

KANG, K. C. et al. FORM: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering, Springer, v. 5, n. 1, p. 143-168, 1998. KANG, K. et al. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA., 1990.

KANG, K.; LEE, K.; LEE, J. FOPLE - Feature Oriented Product Line Software Engineering: Principles and Guidelines. Pohang University of Science and Technology. [S.l.]. 2002.

KOEN, B. V. Definition of the Engineering Method. American Society for Engineering Education. Washington, D.C., p. 79. 1985.

KOTONYA, G.; SOMMERVILLE, I. Requirements Engineering: Processes and Techniques. New York, NY, USA: John Wiley & Sons, Inc., 1998.

LAMSWEERDE, A. Goal-Oriented Requirements Engineering: A Guided Tour. Proceedings of the 5th IEEE International Symposium on Requirements Engineering, Toronto, Canada, 2001.

LAPOUCHNIAN, A. Goal-oriented requirements engineering: An overview of the current research. University of Toronto. Toronto, ON, Canadá, p. 35. 2005.

LAPOUCHNIAN, A.; MYLOPOULOS, J. Modeling Domain Variability in Requirements Engineering with Contexts. Proceedings of 28th International Conference on Conceptual Modeling (ER 2009), Gramado, RS, Brasil, v. 9-12, Novembro 2009.

LEONT'EV, A. N. The Problem of Activity in Psychology. In: WERSTCH, J. The concept of Activity in Soviet Psychology. Armonk, New York: M. E. Sharpe, inc, 1979.

LIASKOS, S. et al. On Goal-based Variability Acquisition and Analysis. Proceedings of 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, USA, p. 11-15, Setembro 2006.

LUCENA, M. et al. Towards a Unified Metamodel for i*. Proceedings of 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Marrocos, 2008.

MILER JR., N.; WERNER, C.; BRAGA, R. O uso de Modelos de Features na Engenharia de Aplicações. Proceedings of IDEAS 2000, Cancun, México, Abril 2000. 85-96.

NUNES, I. A Domain Engineering Process for Developing Multi-Agent Systems Product Lines. (Tese de Doutorado) Pontifícia Universidade Católica do Rio de Janeiro. Rio de Janeiro, RJ, Brasil, p. 138. 2009.

OCL. Object Constraint Language, 2003. Disponivel em: <http://www.omg.org/spec/OCL>. Acesso em: Fevereiro 2011.

OMG. Object Management Group, 1997. Disponivel em: <http://www.omg.org/>. Acesso em: Fevereiro 2011.

PAES, J. et al. AGILE: Automatic Generation of i* Languages. Proceedings of XIV Ibero- American Conference on Software Engineering (CIbSE11), Rio de Janeiro, Brasil, Abril 2011. 239-244.

PARNAS, D. L. On the Design and Development of Program Families. IEEE Transactions on Software Engineering, p. 1-9, Março 1976.

PEÑA, J. et al. Building the Core Architecture of a NASA Multiagent System Product Line. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, v. 4405, p. 208-224, 2007.

POHL, K.; BÖCKLE, G.; VAN DER LINDEN, F. J. Software Product Line Engineering: Foundations, Principles, and Techniques. New York, NY, USA: Springer, 2005.

RIEBISCH, M.; STREITFERDT, D.; PASHOV, I. Modeling variability for object-oriented product lines. Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, Germany, Darmstadt, Germany, v. 3013, p. 165-178, 2004.

SAMIR BEYDEDA; MATTHIANS BOOK; VOLKER GRUHN (EDS). Model-Driven software Development. Berlin, Alemanha: Springer, 2005.

SANTOS, L.; BATISTA, T.; SILVA, L. ReqSys – An Eclipse Plug-in for PL-AOVGraph and Feature Model Mapping. Companion (AOSD'11), Recife, PE, Brasil, p. 71, Março 2011. SANTOS, L.; SILVA, L.; BATISTA, T. On the integration of the feature model and PL- AOVGraph. Proceedings of the 2011 international workshop on Early Aspects, 2011. 31- 36.

SCORE. Score Contest on Software Engineering (SCORE 2011), 2011. Disponivel em: <http://score-contest.org/2011/>. Acesso em: Fevereiro 2011.

SEI. Software Engineering Institute, 2010. Disponivel em: <www.sei.cmu.edu>. Acesso em: Fevereiro 2011.

SILVA, C. T. L.; BORBA, C. C.; CASTRO, J. G2SPL: Um Processo de Engenharia de Requisitos Orientada a Objetivos para Linhas de Produtos de Software. Proceedings of Workshop on Requirements Engineering (WER'10 at CibSE'10), Cuenca, Equador, p. 5- 16, Abril 2010.

SILVA, L. et al. On the Symbiosis of Aspect-Oriented Requirements and Architectural Descriptions. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, v. 4765, p. 75-93, 2007.

SILVA, L. et al. On the Role of Features and Goals Models in the Development of Aspect- Oriented Development of Software Product Line. International Workshop on Early Aspects (AOSD'10), 2010.

SINNEMA, M. et al. Covamof: A framework for modeling variability in software product families. Software Product Lines, Springer, 2004. 25-27.

SOUZA, V. E.; MYLOPOULOS, J. Monitoring and Diagnosing Malicious Attacks with Autonomic Software. Proceedings of the 28th International Conference on Conceptual Modeling (ER'09), Gramado, RS, Brazil, 2009. 84-98.

STRAUSS, A.; CORBIN, J. Basics of Qualitative Research: Techniques and procedures for developing grounded theory. 2ª. ed. California, USA: Sage Publications, 2008.

STREITFERDT, D. Family-Oriented Requirements Engineering. (Tese de Doutorado) Technical University Ilmenau. [S.l.]. 2004.

THOMPSON, J.; HEIMDAHL, M. P. Structuring Product Family Requirements for n- Dimensional and Hierarchical Product Lines. Requirements Engineering Journal, Springer-Verlag, London, UK, v. 8, n. 1, p. 42-54, Abril 2003.

UML. Unified Modeling Notation, 1997. Disponivel em: <http://www.uml.org/>. Acesso em: Fevereiro 2011.

VON OMMERING, R. Building Product Populations with Software Components. Proceedings of 24th International Conference on Software Engineering, Orlando, Florida, USA, 2002. 255-265.

YU, E. Modelling Strategic Relationships for Process Reengineering. (Tese de Doutorado) University of Toronto. Toronto, ON, Canada. 1995.

YU, Y. et al. Configuring features with stakeholder goals. Proceedings of the 2008 ACM symposium on Applied computing, 2008. 645-649.

YU, Y. et al. From goals to high-variability software design. Foundations of Intelligent Systems, Springer, 2008. 1-16.

YU, Y.; LEITE, J.; MYLOPOULOS, J. From goals to aspects: discovering aspects from requirements goal models. Proceedings of 12th IEEE International Requirements Engineering Conference, Kyoto, Japan: IEEE Computer Society, 2004. 38-47.