A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5795 LNCS, Issue , 2009, Pages 468-483

  Cheng, Betty H C ^a   Sawyer, Pete ^b   Bencomo, Nelly ^b   Whittle, Jon ^b  

^a Michigan State University   (United States)

^b LANCASTER UNIVERSITY   (United Kingdom)

Author keywords

Dynamically adaptive systems; Goal models; Requirements engineering; Uncertainty

Indexed keywords

DEVELOPMENT TIME; DYNAMIC ADAPTATIONS; ENVIRONMENTAL CONDITIONS; ENVIRONMENTAL UNCERTAINTY; EXECUTION ENVIRONMENTS; GOAL MODELS; MODELING APPROACH; REQUIREMENTS MONITORING; SOURCES OF UNCERTAINTY; THREAT MODELING;

ADAPTIVE SYSTEMS; ELECTRONIC WARFARE; EMBEDDED SYSTEMS; LINGUISTICS; QUERY LANGUAGES; REQUIREMENTS ENGINEERING; SPECIFICATION LANGUAGES;

MODELS;

EID: 77249105104     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_36     Document Type: Conference Paper

References (23)

1. van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons, Chichester (2009)
2. Schneier, B.: Attack Trees - Modeling security threats. Dr. Dobb's Journal (1999)
3. Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: ICSE 2006: Proc. of the 28th Int. Conf. on Software engineering, pp. 371-380 (2006)
4. Goldsby, H., Sawyer, P., Bencomo, N., Hughes, D., Cheng, B.H.C.: Goal-based modeling of dynamically adaptive system requirements. In: 15th IEEE Int. Conf. on the Engineering of Computer Based Systems, ECBS (2008)
5. Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C, Bruel, J.M.: Relax: Incorporating uncertainty into the specification of self-adaptive systems. In: Proc. of IEEE Int. Requirements Engineering Conf., RE 2009 (to appear, 2009)
6. Yrjun, Y., Lapouchnian, A., Liaskos, S., Mylopoulos, J., Leite, J.: 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)
7. Mylopoulos, J., Chung, L., Yu, E.: Prom object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31-37 (1999)
8. Mead, N.: Identifying Security Requirements using the SQUARE Method. In: Integrating Security and Software Engineering: Advances and Puture Visions, pp. 44-69. Idea Group, USA (2006)
9. den Braber, P., Dimitralcos, T., Gran, B.A., Lund, M.S., Stölen, K., Aagedal, J.O.: The coras methodology: model-based risk assessment using uml and up. In: UML and the unified process, pp. 332-357. IGI Publishing, Hershey (2003)
10. Cheng, B.H.C., et al.: 08031 - software engineering for self-adaptive systems: A research road map. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. Number 08031 in Dagstuhl Seminar Proceedings (2008)
11. Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Briand, L.C., Wolf, A.L. (eds.) FOSE, pp. 259-268 (2007)
12. Jing, X., Pinel, P., Pi, L., Aranega, V., Baron, C.: Modeling uncertain and imprecise information in process modeling with UML. In: COMAD, Computer Society of India, pp. 237-240 (2008)
13. Ma, Z.M., Yan, L.: Fuzzy XML data modeling with the UML and relational data models. Data Knowl. Eng. 63(3), 972-996 (2007)
14. Uchitel, S., Kramer, J., Magee, J.: Behaviour model elaboration using partial labelled transition systems. In: ESEC/FSE-11, pp. 19-27 (2003)
15. Yu, E.S.K.: Towards modeling and reasoning support for early-phase requirements engineering. In: Proc. of 3rd IEEE Int. Symp. on Requirements Engineering, RE 1997 (1997)
16. Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards requirements-driven autonomic systems design. In: Workshop on the Design and Evolution of Autonomic Application Software, DEAS 2005 (2005)
17. Lapouchnian, A., Yu, Y., Liaskos, S., Mylopoulos, J.: Requirements-driven design of autonomic application software. In: Proc. of GASCON 2006 (2006)
18. Morandini, M., Penserini, L., Perini, A.: Modelling self-adaptivity: A goal-oriented approach. In: SASO 2008: Proc. of 2008 Second IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems, pp. 469-470 (2008)
19. Fickas, S., Feather, M.: Requirements monitoring in dynamic environments. In: 2nd IEEE Int. Symp. on Requirements Engineering, RE 1995 (1995)
20. Dingwall-Smith, A., Finkelstein, A.: Checking complex compositions of web services against policy constraints. In: MSVVEIS, pp. 94-103. INSTICC Press (2007)
21. Wang, Y., Mcllraith, S.A., Yu, Y., Mylopoulos, J.: An automated approach to monitoring and diagnosing requirements. In: ASE, pp. 293-302. ACM, New York (2007)
22. Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Proc. of 12th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, pp. 53-62 (2004)
23. Morin, B., Fleurey, F., Bencomo, N., Jézéquel, J.M., Solberg, A., Dehlen, V., Blair, G.: An aspect-oriented and model-driven approach for managing dynamic variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 782-796. Springer, Heidelberg (2008)