Skip to main content
SpringerLink
Log in
SpringerLink
Log in

From Goals to High-Variability Software Design

  • Conference paper
Foundations of Intelligent Systems (ISMIS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4994))

Included in the following conference series:

Abstract

Software requirements consist of functionalities and qualities to be accommodated during design. Through goal-oriented requirements engineering, stakeholder goals are refined into a space of alternative functionalities. We adopt this framework and propose a decision-making process to generate a generic software design that can accommodate the full space of alternatives each of which can fulfill stakeholder goals. Specifically, we present a process for generating complementary design views from a goal model with high variability in configurations, behavioral specifications, architectures and business processes.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brandozzi, M., Perry, D.E.: Transforming goal oriented requirements specifications into architectural prescriptions. In: STRAW at ICSE 2001 (2001)

    Google Scholar 

  2. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)

    Article  Google Scholar 

  3. Bühne, S., Lauenroth, K., Pohl, K.: Modelling requirements variability across product lines. In: RE 2005, pp. 41–50 (2005)

    Google Scholar 

  4. Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishing, Dordrecht (2000)

    MATH  Google Scholar 

  5. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2001)

    Google Scholar 

  6. Cysneiros, L.M., Leite, J.C.S.P.: Non-functional requirements: from elicitation to conceptual models. IEEE Trans. on Softw. Eng. 30(5), 328–350 (2004)

    Article  Google Scholar 

  7. Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)

    Google Scholar 

  8. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1–2), 3–50 (1993)

    Article  MATH  Google Scholar 

  9. Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 167–181. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  10. Halmans, G., Pohl, K.: Communicating the variability of a software-product family to customers. Software and Systems Modeling 2, 15–36 (2003)

    Article  Google Scholar 

  11. Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. on Software Engineering and Methodology 5(4), 293–333 (1996)

    Article  Google Scholar 

  12. Hayes, J.H., Dekhtyar, A., Sundaram, S.K.: Advancing candidate link generation for requirements tracing: the study of methods. IEEE Trans. on Softw. Eng. 32(1), 4–19 (2006)

    Article  Google Scholar 

  13. Hui, B., Liaskos, S., Mylopoulos, J.: Goal skills and preference framework. In: International Conference on Requirements Engineering (2003)

    Google Scholar 

  14. Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) feasibility study (cmu/sei-90-tr-21, ada235785). Technical report (1990)

    Google Scholar 

  15. Kang, K.C., Kim, S., Lee, J., Lee, K.: Feature-oriented engineering of PBX software for adaptability and reuseability. SPE 29(10), 875–896 (1999)

    Google Scholar 

  16. Knuth, D.: Literate programming. Comput. J. 27(2), 97–111 (1984)

    Article  MATH  Google Scholar 

  17. Kruntchen, P.: Architectural blueprints – the ”4+1” view model of software architecture. IEEE Software 12(6), 42–50 (1995)

    Article  Google Scholar 

  18. Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards requirements-driven autonomic systems design. In: DEAS 2005, pp. 1–7. ACM Press, New York (2005)

    Chapter  Google Scholar 

  19. Lapouchnian, A., Yu, Y., Mylopoulos, J.: Requirements-driven design and configuration management of business processes. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 246–261. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  20. Magee, J., Kramer, J.: Dynamic structure in software architectures. In: The 4th ACM SIGSOFT symposium on Foundations of software engineering, pp. 3–14 (1996)

    Google Scholar 

  21. Medvidovic, N., Taylor, R.N.: A framework for classifying and comparing architecture description languages. SIGSOFT Softw. Eng. Notes 22(6), 60–76 (1997)

    Article  Google Scholar 

  22. Mylopoulos, J., Chung, L., Nixon, B.: Representing and using nonfunctional requirements: A process-oriented approach. IEEE Trans. on Softw. Eng. 18(6), 483–497 (1992)

    Article  Google Scholar 

  23. Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and minimum-cost satisfiability for goal models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 20–35. Springer, Heidelberg (2004)

    Google Scholar 

  24. Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19–25 (2003)

    Article  Google Scholar 

  25. van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, Springer, Heidelberg (2003)

    Google Scholar 

  26. van Lamsweerde, A.: Goal-oriented requirements engineering: From system objectives to UML models to precise software specifications. In: ICSE 2003, pp. 744–745 (2003)

    Google Scholar 

  27. van Lamsweerde, A., Willemet, L.: Inferring declarative requirements from operational scenarios. IEEE Trans. Software Engineering 24(12), 1089–1114 (1998)

    Article  Google Scholar 

  28. van Ommering, R.C., van der Linden, F., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. IEEE Computer 33(3), 78–85 (2000)

    Google Scholar 

  29. Wang, Y., McIlraith, S.A., Yu, Y., Mylopoulos, J.: An automated approach to monitoring and diagnosing requirements. In: ASE, pp. 293–302 (2007)

    Google Scholar 

  30. Yu, E.S.K.: Towards modelling and reasoning support for early-phase requirements engineering. In: RE 1997, pp. 226–235 (1997)

    Google Scholar 

  31. Yu, Y., Lapouchnian, A., Leite, J., Mylopoulos, J.: Configuring features with stakeholder goals. In: ACM SAC RETrack 2008 (2008)

    Google Scholar 

  32. Yu, Y., Leite, J., Mylopoulos, J.: From requirements goal models to goal aspects. In: International Conference on Requirements Engineering (2004)

    Google Scholar 

  33. Yu, Y., Mylopoulos, J., Lapouchnian, A., Liaskos, S., Leite, J.C.: From stakeholder goals to high-variability software design, ftp.cs.toronto.edu/csrg-technical-reports/509. Technical report, University of Toronto (2005)

    Google Scholar 

  34. Yu, Y., Wang, Y., Mylopoulos, J., Liaskos, S., Lapouchnian, A., do Prado Leite, J.C.S.: Reverse engineering goal models from legacy code. In: RE 2005, pp. 363–372 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, The Open University, United Kingdom

    Yijun Yu

  2. Department of Computer Science, University of Toronto, Canada

    Alexei Lapouchnian & John Mylopoulos

  3. School of IT, York University, Canada

    Sotirios Liaskos

  4. Department of Informatics, PUC-Rio, Brazil

    Julio C. S. P. Leite

Authors
  1. Yijun Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexei Lapouchnian
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sotirios Liaskos
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John Mylopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Julio C. S. P. Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Aijun An Stan Matwin Zbigniew W. Raś Dominik Ślęzak

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yu, Y., Lapouchnian, A., Liaskos, S., Mylopoulos, J., Leite, J.C.S.P. (2008). From Goals to High-Variability Software Design. In: An, A., Matwin, S., Raś, Z.W., Ślęzak, D. (eds) Foundations of Intelligent Systems. ISMIS 2008. Lecture Notes in Computer Science(), vol 4994. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68123-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68123-6_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68122-9

  • Online ISBN: 978-3-540-68123-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation