Skip to main content

2015 | OriginalPaper | Buchkapitel

Capturing Variability in Adaptation Spaces: A Three-Peaks Approach

verfasst von : Konstantinos Angelopoulos, Vítor E. Silva Souza, John Mylopoulos

Erschienen in: Conceptual Modeling

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Variability is essential for adaptive software systems, because it captures the space of alternative adaptations a system is capable of when it needs to adapt. In this work, we propose to capture variability for an adaptation space in terms of a three dimensional model. The first dimension captures requirements through goals and reflects all possible ways of achieving these goals. The second dimension captures supported variations of a system’s architectural structure, modeled in terms of connectors and components. The third dimension describes supported system behaviors, by modeling possible sequences for goal fulfillment and task execution. Of course, the three dimensions of a variability model are inter-twined as choices made with respect to one dimension have impact on the other two. Therefore, we propose an incremental design methodology for variability models that keeps the three dimensions aligned and consistent. We illustrate our proposal with a case study involving the meeting scheduling system exemplar.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Each component must be able to satisfy on its own the assigned goal.
 
Literatur
1.
Zurück zum Zitat Angelopoulos, K., Souza, V.E.S., Mylopoulos, J.: Dealing with multiple failures in zanshin: a control-theoretic approach. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 165–174. ACM, New York (2014) Angelopoulos, K., Souza, V.E.S., Mylopoulos, J.: Dealing with multiple failures in zanshin: a control-theoretic approach. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 165–174. ACM, New York (2014)
2.
Zurück zum Zitat Baresi, L., Guinea, S., Pasquale, L.: Service-oriented dynamic software product lines. Computer 45(10), 42–48 (2012)CrossRef Baresi, L., Guinea, S., Pasquale, L.: Service-oriented dynamic software product lines. Computer 45(10), 42–48 (2012)CrossRef
3.
Zurück zum Zitat Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: Proceedings of the 18th IEEE International Requirements Engineering Conference, pp. 125–134. IEEE (2010) Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: Proceedings of the 18th IEEE International Requirements Engineering Conference, pp. 125–134. IEEE (2010)
4.
Zurück zum Zitat Chen, B., Peng, X., Yu, Y., Nuseibeh, B., Zhao, W.: Self-adaptation through incremental generative model transformations at runtime. In: Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp. 676–687. ACM, New York (2014) Chen, B., Peng, X., Yu, Y., Nuseibeh, B., Zhao, W.: Self-adaptation through incremental generative model transformations at runtime. In: Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp. 676–687. ACM, New York (2014)
5.
Zurück zum Zitat Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 468–483. Springer, Heidelberg (2009) CrossRef Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 468–483. Springer, Heidelberg (2009) CrossRef
6.
Zurück zum Zitat Chung, L., Supakkul, S., Subramanian, N., Garrido, J., Noguera, M., Hurtado, M., Rodríguez, M., Benghazi, K.: Goal-oriented software architecting. In: Avgeriou, P., Grundy, J., Hall, J.G., Lago, P., Mistrík, I. (eds.) Relating Software Requirements and Architectures, pp. 91–109. Springer, Heidelberg (2011)CrossRef Chung, L., Supakkul, S., Subramanian, N., Garrido, J., Noguera, M., Hurtado, M., Rodríguez, M., Benghazi, K.: Goal-oriented software architecting. In: Avgeriou, P., Grundy, J., Hall, J.G., Lago, P., Mistrík, I. (eds.) Relating Software Requirements and Architectures, pp. 91–109. Springer, Heidelberg (2011)CrossRef
7.
Zurück zum Zitat Dalpiaz, F., Borgida, A., Horkoff, J., Mylopoulos, J.: Runtime goal models. In: Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, pp. 1–11. IEEE (2013) Dalpiaz, F., Borgida, A., Horkoff, J., Mylopoulos, J.: Runtime goal models. In: Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, pp. 1–11. IEEE (2013)
8.
Zurück zum Zitat Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self-adaptation with reusable infrastructure. Computer 37(10), 46–54 (2004)CrossRef Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self-adaptation with reusable infrastructure. Computer 37(10), 46–54 (2004)CrossRef
9.
Zurück zum Zitat Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Silva, J.R.: Documenting component and connector views with uml 2.0. Technical report, DTIC Document (2004) Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Silva, J.R.: Documenting component and connector views with uml 2.0. Technical report, DTIC Document (2004)
10.
Zurück zum Zitat Jureta, I., Mylopoulos, J., Faulkner, S.: Revisiting the core ontology and problem in requirements engineering. In: Proceedings of the 16th IEEE International Requirements Engineering Conference, pp. 71–80. IEEE (2008) Jureta, I., Mylopoulos, J., Faulkner, S.: Revisiting the core ontology and problem in requirements engineering. In: Proceedings of the 16th IEEE International Requirements Engineering Conference, pp. 71–80. IEEE (2008)
11.
Zurück zum Zitat Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Future of Software Engineering (FOSE 2007), pp. 259–268. IEEE (2007) Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Future of Software Engineering (FOSE 2007), pp. 259–268. IEEE (2007)
12.
Zurück zum Zitat Kramer, J., Magee, J.: A rigorous architectural approach to adaptive software engineering. J. Comput. Sci. Technol. 24(2), 183–188 (2009)CrossRef Kramer, J., Magee, J.: A rigorous architectural approach to adaptive software engineering. J. Comput. Sci. Technol. 24(2), 183–188 (2009)CrossRef
13.
Zurück zum Zitat 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) CrossRef 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) CrossRef
14.
Zurück zum Zitat Oreizy, P., et al.: An architecture-based approach to self-adaptive software. IEEE Intell. Syst. 14(3), 54–62 (1999)CrossRef Oreizy, P., et al.: An architecture-based approach to self-adaptive software. IEEE Intell. Syst. 14(3), 54–62 (1999)CrossRef
15.
Zurück zum Zitat Pimentel, J., Lucena, M., Castro, J., Silva, C., Santos, E., Alencar, F.: Deriving software architectural models from requirements models for adaptive systems: the stream-a approach. Requirements Eng. 17(4), 259–281 (2012)CrossRef Pimentel, J., Lucena, M., Castro, J., Silva, C., Santos, E., Alencar, F.: Deriving software architectural models from requirements models for adaptive systems: the stream-a approach. Requirements Eng. 17(4), 259–281 (2012)CrossRef
16.
Zurück zum Zitat Pimentel, J., Castro, J., Mylopoulos, J., Angelopoulos, K., Souza, V.E.S.: From requirements to statecharts via design refinement. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014, pp. 995–1000. ACM, New York (2014) Pimentel, J., Castro, J., Mylopoulos, J., Angelopoulos, K., Souza, V.E.S.: From requirements to statecharts via design refinement. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014, pp. 995–1000. ACM, New York (2014)
17.
Zurück zum Zitat Souza, V.E.S.: Requirements-based software system adaptation. Ph.D. thesis, University of Trento, Italy (2012) Souza, V.E.S.: Requirements-based software system adaptation. Ph.D. thesis, University of Trento, Italy (2012)
18.
Zurück zum Zitat Silva Souza, V.E., Lapouchnian, A., Mylopoulos, J.: System identification for adaptive software systems: a requirements engineering perspective. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 346–361. Springer, Heidelberg (2011) CrossRef Silva Souza, V.E., Lapouchnian, A., Mylopoulos, J.: System identification for adaptive software systems: a requirements engineering perspective. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 346–361. Springer, Heidelberg (2011) CrossRef
19.
Zurück zum Zitat Souza, V.E.S., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements. In: de Lemos, R., Giese, H., Müller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 7475, pp. 133–161. Springer, Heidelberg (2013) CrossRef Souza, V.E.S., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements. In: de Lemos, R., Giese, H., Müller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 7475, pp. 133–161. Springer, Heidelberg (2013) CrossRef
20.
Zurück zum Zitat van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, Hoboken (2009) van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, Hoboken (2009)
21.
Zurück zum Zitat Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.-M.: Relax: incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE, RE 2009, pp. 79–88. IEEE Computer Society, Washington (2009) Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.-M.: Relax: incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE, RE 2009, pp. 79–88. IEEE Computer Society, Washington (2009)
22.
Zurück zum Zitat Yu, Y., Lapouchnian, A., Liaskos, S., Mylopoulos, J., Leite, J.C.S.P.: From goals to high-variability software design. In: An, A., Matwin, S., Raś, Z.W., Ślęzak, D. (eds.) Foundations of Intelligent Systems. LNCS (LNAI), vol. 4994, pp. 1–16. Springer, Heidelberg (2008) CrossRef Yu, Y., Lapouchnian, A., Liaskos, S., Mylopoulos, J., Leite, J.C.S.P.: From goals to high-variability software design. In: An, A., Matwin, S., Raś, Z.W., Ślęzak, D. (eds.) Foundations of Intelligent Systems. LNCS (LNAI), vol. 4994, pp. 1–16. Springer, Heidelberg (2008) CrossRef
Metadaten
Titel
Capturing Variability in Adaptation Spaces: A Three-Peaks Approach
verfasst von
Konstantinos Angelopoulos
Vítor E. Silva Souza
John Mylopoulos
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-25264-3_28

Neuer Inhalt