Self-adaptive smart spaces by proactive means–end reasoning
Tóm tắt
Từ khóa
Tài liệu tham khảo
Abeywickrama DB, Bicocchi N, Zambonelli F (2012) Sota (2012) Towards a general model for self-adaptive systems. In: Enabling technologies: infrastructure for collaborative enterprises (WETICE), 2012 IEEE 21st international workshop, IEEE, pp 48–53
Allen JF (1991) Planning as temporal reasoning. KR 91:3–14
Augusto JC, Callaghan V, Cook D, Kameas A, Satoh I (2013) Intelligent environments: a manifesto. Hum Centric Comput Inf Sci 3(1):12
Baresi L, Guinea S (2011) A3: self-adaptation capabilities through groups and coordination. In: Proceedings of the 4th India software engineering conference, ACM, New York, pp 11–20
Baresi L, Pasquale L, Spoletini P (2010) Fuzzy goals for requirements-driven adaptation. In: Requirements engineering conference (RE), 2010 18th IEEE international, IEEE Press, Sydney, pp 125–134
Bennaceur A, France R, Tamburrelli G, Vogel T, Mosterman PJ, Cazzola W, Costa FM, Pierantonio A, Tichy M, Akşit M et al (2014) Mechanisms for leveraging models at runtime in self-adaptive software. Models@ run. time. Springer, pp 19–46
Biere A, Heule M, van Maaren H (2009) Handbook of satisfiability, vol 185. IOS Press, Amsterdam
Blanchet W, Stroulia E, Elio R (2005) Supporting adaptive web-service orchestration with an agent conversation framework. In: Web services, ICWS 2005. Proceedings 2005 IEEE International Conference, IEEE
Bordini RH, Hübner JF, Wooldridge M (2007) Programming multi-agent systems in AgentSpeak using Jason, vol 8. Wiley, Hoboken
Braberman V, D’Ippolito N, Kramer J, Sykes D, Uchitel S (2015) Morph: a reference architecture for configuration and behaviour self-adaptation. arXiv:1504.08339
Bratman ME, Israel DJ, Pollack ME (1988) Plans and resource-bounded practical reasoning. Comput Intell 4(3):349–355
Bresciani P, Perini A, Giorgini P, Giunchiglia F, Mylopoulos J (2004) Tropos: an agent-oriented software development methodology. Auton Agents Multi-Agent Syst 8(3):203–236
Brun Y, Serugendo GDM, Gacek C, Giese H, Kienle H, Litoiu M, Müller H, Pezzè M, Shaw M (2009) Engineering self-adaptive systems through feedback loops. Softw Eng Self-Adapt Syst, Springer, pp 48–70
Chapin N, Hale JE, Khan KM, Ramil JE, Tan WG (2001) Types of software evolution and software maintenance. J Softw Maint Evol Res Pract 13(1):3–30
Cheng BHC, De Lemos R, Giese H, Inverardi P, Magee J, Andersson J, Becker B, Bencomo N, Brun Y, Cukic B et al (2009) Software engineering for self-adaptive systems: a research roadmap. Softw Eng Self Adapt Syst, Springer, pp 1–26
Coen MH et al (1998) Design principles for intelligent environments. In: AAAI ‘98/IAAI ’98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence, American Association for Artificial Intelligence, Menlo Park, pp. 547–554
Corcho O, Gómez-Pérez A (2000) A roadmap to ontology specification languages. Knowl Eng Knowl Manag Methods Models Tools 2000:80–96
Cossentino M, Dalle Nogare D, Giancarlo R, Lodato C, Lopes S, Ribino P, Sabatucci L, Seidita V (2014) GIMT: a tool for ontology and goal modeling in BDI multi-agent design. In: Workshop “Dagli Oggetti agli Agenti”
Cossentino M, Gaud N, Hilaire V, Galland S, Koukam A (2010) ASPECS: an agent-oriented software process for engineering complex systems. Auton Agents Multi-Agent Syst 20(2):260–304
Cossentino M, Lodato C, Lopes S, Sabatucci L (2015) Musa: a middleware for user-driven service adaptation. In: Proceedings of the 16th workshop “From objects to agents”, Naples, 17–19 June 2015
Dalpiaz F, Borgida A, Horkoff J, Mylopoulos J (2013) Runtime goal models: keynote. In: Research challenges in information science (RCIS), 2013 IEEE seventh international conference, IEEE, pp 1–11
Dalpiaz F, Giorgini P, Mylopoulos J (2013) Adaptive socio-technical systems: a requirements-based approach. Requir Eng 18(1):1–24
De Lemos R, Giese H, Müller H, Shaw M, Andersson J, Litoiu M, Schmerl B, Tamura G, Villegas NM, Vogel T et al (2013) Software engineering for self-adaptive systems: a second research roadmap. Springer. Softw Eng Self Adapt Syst II:1–32
Dean TL, Kambhampati S (1997) Planning and scheduling. In: CRC handbook of computer science and engineering. CRC Press, Boca Raton, pp 614–636
Fikes RE, Nilsson NJ (1972) Strips: a new approach to the application of theorem proving to problem solving. Artif Intell 2(3):189–208
Ghezzi C, Pinto LS, Spoletini P, Tamburrelli G (2013) Managing non-functional uncertainty via model-driven adaptivity. In: Proceedings of the 2013 international conference on software engineering, IEEE Press, Piscataway, pp 33–42
Gomaa H, Hashimoto K (2012) Dynamic self-adaptation for distributed service-oriented transactions. In: Software engineering for adaptive and self-managing systems (SEAMS), 2012 ICSE Workshop, IEEE Press, Piscataway, pp 11–20
Gorlick M, Razouk RR (1991) Using weaves for software construction and analysis. In: Software engineering. Proceedings 13th international conference, IEEE, pp 23–34
Gu T, Wang XH, Pung HK, Zhang DQ (2004) An ontology-based context model in intelligent environments. In: Proceedings of communication networks and distributed systems modeling and simulation conference, San Diego, vol 2004, pp 270–275
Guarino N, Carrara M, Giaretta P (1994) Formalizing ontological commitment. AAAI 94:560–567
Guizzardi R, Franch X, Guizzardi G (2012) Applying a foundational ontology to analyze means-end links in the i framework. In: Research challenges in information science (RCIS), 2012 sixth international conference, IEEE, pp 1–11
Harker SDP, Eason KD, Dobson JE (1993) The change and evolution of requirements as a challenge to the practice of software engineering. In: Requirements engineering. Proceedings of IEEE international symposium, IEEE, pp 266–272
Jureta IJ, Borgida A, Ernst NA, Mylopoulos J (2014) The requirements problem for adaptive systems. ACM Trans Manag Inf Syst TMIS 5(3):17
Kramer J, Magee J (2007) Self-managed systems: an architectural challenge. In: Future of software engineering, 2007. FOSE’07, IEEE, pp 259–268
Lesperance Y (1989) A formal account of self-knowledge and action. IJCAI, Citeseer, pp 868–874
Lowe EJ (2002) A survey of metaphysics. Oxford University Press, Oxford
Moore RC (1979) Reasoning about knowledge and action. PhD thesis, Massachusetts Institute of Technology
Morandini M, Penserini L, Perini A (2008) Towards goal-oriented development of self-adaptive systems. In: Proceedings of the 2008 international workshop on software engineering for adaptive and self-managing systems, ACM, New York, pp 9–16
Morandini M, Penserini L, Perini A (2009) Operational semantics of goal models in adaptive agents. In: Proceedings of the 8th international conference on autonomous agents and multiagent systems, International Foundation for Autonomous Agents and Multiagent Systems, vol 1, ACM, Richland, pp 129–136
Oreizy P, Gorlick MM, Taylor RN, Heimbigner D, Johnson G, Medvidovic N, Quilici A, Rosenblum DS, Wolf AL (1999) An architecture-based approach to self-adaptive software. IEEE Intell Syst 3:54–62
Oreizy P, Medvidovic N, Taylor RN (1998) Architecture-based runtime software evolution. In: Proceedings of the 20th international conference on software engineering, IEEE Computer Society, Washington, pp 177–186
Patikirikorala T, Colman A, Han J, Wang L (2012) A systematic survey on the design of self-adaptive software systems using control engineering approaches. In: Software engineering for adaptive and self-managing systems (SEAMS), 2012 ICSE workshop, pp 33–42
Pistore M, Marconi A, Bertoli P, Traverso P (2005) Automated composition of web services by planning at the knowledge level. IJCAI 19: 1252–1259
Rao AS (1996) Agentspeak (l): BDI agents speak out in a logical computable language. In: Agents breaking away, Springer, pp 42–55
Ribino P, Cossentino M, Lodato C, Lopes S, Sabatucci L, Seidita V (2013) Ontology and goal model in designing BDI multi-agent systems. WOA@ AI* IA 1099:66–72
Rouvoy R, Barone P, Ding Y, Eliassen F, Hallsteinsen S, Lorenzo J, Mamelli A, Scholz U (2009) Music: middleware support for self-adaptation in ubiquitous and service-oriented environments. Softw Eng Self Adapt Syst, Springer, pp 164–182
Sabatucci L, Cossentino M (2015) From means-end analysis to proactive means-end reasoning. In: Proceedings of 10th international symposium on software engineering for adaptive and self-managing systems, Florence, 18–19 May 2015
Sabatucci L, Cossentino M, Lodato C, Lopes S, Seidita V (2013) A possible approach for implementing self-awareness in Jason. EUMAS, Citeseer, pp 68–81
Sabatucci L, Lodato C, Lopes S, Cossentino M (2013) Towards self-adaptation and evolution in business process. AIBP@ AI* IA, Citeseer, pp 1–10
Sabatucci L, Lodato C, Lopes S, Cossentino M (2015) Highly customizable service composition and orchestration. In: Dustdar S, Leymann F, Villari M (eds) Service oriented and cloud computing. Lecture notes in computer science, vol 9306. Springer, Berlin, pp 156–170
Sabatucci L, Ribino P, Lodato C, Lopes S, Cossentino M (2013) Goalspec: a goal specification language supporting adaptivity and evolution. Eng Multi-Agent Syst, Springer, pp 235–254
Souza VES, Lapouchnian A, Mylopoulos J (2012) (Requirement) evolution requirements for adaptive systems. In: Software engineering for adaptive and self-managing systems (SEAMS), 2012 ICSE workshop, pp 155–164
Sycara K, Widoff S, Klusch M, Jianguo L (2002) Larks: dynamic matchmaking among heterogeneous software agents in cyberspace. Auton Agents Multi-Agent Syst 5(2):173–203
Whittle J, Sawyer P, Bencomo N, Cheng BH, Bruel JM (2009) Relax: incorporating uncertainty into the specification of self-adaptive systems. In: Requirements engineering conference. RE’09. 17th IEEE international, IEEE, pp 79–88
Wooldridge MJ (2000) Reasoning about rational agents. MIT Press, Cambridge
Yu E (2011) Modelling strategic relationships for process reengineering. Soc Model Requir Eng 11:2011