Configuring features with stakeholder goals

ABSTRACT

Goal models are effective in capturing stakeholder needs at the time when features of the system-to-be have not yet been conceptualized. Relating goals to solution-oriented features gives rise to a requirement traceability problem. In this paper, we present a new model-driven extension to an Early Requirements Engineering tool (OpenOME) that generates an initial feature model of the system-to-be from stakeholder goals. Enabled by such generative mapping, configuration constraints among variability features can be obtained by reasoning about stakeholder goals.

REFERENCES

• 1: Michal Antkiewicz , Krzysztof Czarnecki, FeaturePlugin: feature modeling plug-in for Eclipse, Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange, p.67-72, October 24-24, 2004, Vancouver, British Columbia, Canada [doi>10.1145/1066129.1066143]
• 2: Len Bass , Paul Clements , Rick Kazman, Software architecture in practice, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
• 3: Brandozzi, M., and Perry, D. E. Transforming goal oriented requirements specifications into architectural prescriptions. In STRAW at ICSE01 (2001).
• 4: Chung, L., Nixon, B. A., Yu, E., and Mylopoulos, J. Non-Functional Requirements in Software Engineering. Kluwer Academic Publishing, 2000.
• 5: Krzysztof Czarnecki , Michal Antkiewicz , Chang Hwan Peter Kim, Multi-level customization in application engineering, Communications of the ACM, v.49 n.12, December 2006 [doi>10.1145/1183236.1183267]
• 6: Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000
• 7: Czarnecki, K., Helsen, S., and Eisenecker, U. W. Staged configuration using feature models. In SPLC 2004 (2004), pp. 266--283.
• 8: Anne Dardenne , Axel van Lamsweerde , Stephen Fickas, Goal-directed requirements acquisition, Science of Computer Programming, v.20 n.1-2, p.3-50, April 1993
• 9: Stefan Ferber , Jürgen Haag , Juha Savolainen, Feature Interaction and Dependencies: Modeling Features for Reengineering a Legacy Product Line, Proceedings of the Second International Conference on Software Product Lines, p.235-256, August 19-22, 2002
• 10: E. R. Gansner , E. Koutsofios , S. C. North , K.-P. Vo, A Technique for Drawing Directed Graphs, IEEE Transactions on Software Engineering, v.19 n.3, p.214-230, March 1993 [doi>10.1109/32.221135]
• 11: Paolo Giorgini , John Mylopoulos , Eleonora Nicchiarelli , Roberto Sebastiani, Reasoning with Goal Models, Proceedings of the 21st International Conference on Conceptual Modeling, p.167-181, October 07-11, 2002
• 12: M. L. Griss , J. Favaro , M. d' Alessandro, Integrating Feature Modeling with the RSEB, Proceedings of the 5th International Conference on Software Reuse, p.76, June 02-05, 1998
• 13: Michael Jackson, Problem frames: analyzing and structuring software development problems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 14: Kang, K. C., Cohen, S. G., Hess, J. A., Novak, W. E., and Peterson, A. S. Feature-Oriented Domain Analysis (FODA) feasibility study, (cmu/sei-90-tr-21, ada235785). pittsburgh, pa. Tech. rep., Software Engineering Institute, Carnegie Mellon University, 1990.
• 15: Kyo C. Kang , Sajoong Kim , Jaejoon Lee , Kwanwoo Lee, Feature-oriented engineering of PBX software for adaptability and reusability, Software—Practice & Experience, v.29 n.10, p.875-896, Aug. 1999 [doi>10.1002/(SICI)1097-024X(199908)29:10<875::AID-SPE262>3.0.CO;2-W]
• 16: Philippe Kruchten, The 4+1 View Model of Architecture, IEEE Software, v.12 n.6, p.42-50, November 1995 [doi>10.1109/52.469759]
• 17: Lapouchnian, A., Yu, Y., and Mylopoulos, J. Requirements-driven design and configuration management of business processes. In BPM (2007), pp. 246--261.
• 18: Leite, J. C., Yu, Y., Liu, L., Yu, E., and Mylopoulos, J. Quality-based software reuse. In CAiSE 2005 (2005).
• 19: Sotirios Liaskos , Alexei Lapouchnian , Yiqiao Wang , Yijun Yu , Steve Easterbrook, Configuring Common Personal Software: a Requirements-Driven Approach, Proceedings of the 13th IEEE International Conference on Requirements Engineering, p.9-18, August 29-September 02, 2005 [doi>10.1109/RE.2005.19]
• 20: Sotirios Liaskos , Alexei Lapouchnian , Yijun Yu , Eric Yu , John Mylopoulos, On Goal-based Variability Acquisition and Analysis, Proceedings of the 14th IEEE International Requirements Engineering Conference (RE'06), p.76-85, September 11-15, 2006 [doi>10.1109/RE.2006.45]
• 21: John Mylopoulos , Alex Borgida , Matthias Jarke , Manolis Koubarakis, Telos: representing knowledge about information systems, ACM Transactions on Information Systems (TOIS), v.8 n.4, p.325-362, Oct. 1990 [doi>10.1145/102675.102676]
• 22: Natalya F. Noy , Michael Sintek , Stefan Decker , Monica Crubézy , Ray W. Fergerson , Mark A. Musen, Creating Semantic Web Contents with Protégé-2000, IEEE Intelligent Systems, v.16 n.2, p.60-71, March 2001 [doi>10.1109/5254.920601]
• 23: Pierre-Yves Schobbens , Patrick Heymans , Jean-Christophe Trigaux, Feature Diagrams: A Survey and a Formal Semantics, Proceedings of the 14th IEEE International Requirements Engineering Conference (RE'06), p.136-145, September 11-15, 2006 [doi>10.1109/RE.2006.23]
• 24: van Lamsweerde, A. From system goals to software architecture. In Formal Methods for Software Architectures, LNCS 2804 (2003).
• 25: Eric S. K. Yu, Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.226, January 05-08, 1997
• 26: Yu, Y., Deng, X., Yu, E., Ernst, N., and Mylopoulos, J. OpenOME, a requirements engineering tool: http://www.sf.net/projects/openome, 2005.
• 27: Yu, Y., Mylopoulos, J., Lapouchnian, A., Liaskos, S., and Leite, J. C. From stakeholder goals to high-variability software design, ftp.cs.toronto.edu/csrg-technical-reports/509. Tech. rep., University of Toronto, 2005.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.9 Management
          Subjects: Software configuration management

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
      D.2.4 Software/Program Verification
          Subjects: Validation
      D.2.5 Testing and Debugging
          Subjects: Tracing

General Terms:
Design, Management, Verification

Keywords:
configuration management, model-driven, traceability, variability