Access the full text.
Sign up today, get DeepDyve free for 14 days.
F Dalpiaz, P Giorgini, J Mylopoulos (2013)
Adaptive socio-technical systems: a requirements-based approachRequir Eng, 18
E Yu (2011)
Modelling strategic relationships for process reengineeringSoc Model Requir Eng, 11
M Cossentino, N Gaud, V Hilaire, S Galland, A Koukam (2010)
ASPECS: an agent-oriented software process for engineering complex systemsAuton Agents Multi-Agent Syst, 20
K Sycara, S Widoff, M Klusch, L Jianguo (2002)
Larks: dynamic matchmaking among heterogeneous software agents in cyberspaceAuton Agents Multi-Agent Syst, 5
A Biere, M Heule, H van Maaren (2009)
Handbook of satisfiability
G Blair, N Bencomo, RB France (2009)
Models@ run. timeComputer, 42
JO Kephart, DM Chess (2003)
The vision of autonomic computingComputer, 36
JF Allen (1983)
Maintaining knowledge about temporal intervalsCommun ACM, 26
L Lamport (1994)
The temporal logic of actionsACM Trans Progr Lang Syst TOPLAS, 16
P Ribino, M Cossentino, C Lodato, S Lopes, L Sabatucci, V Seidita (2013)
Ontology and goal model in designing BDI multi-agent systemsWOA@ AI* IA, 1099
EJ Lowe (2002)
A survey of metaphysics
PD O’Brien, RC Nicol (1998)
Fipa—towards a standard for software agentsBT Technol J, 16
ME Bratman, DJ Israel, ME Pollack (1988)
Plans and resource-bounded practical reasoningComput Intell, 4
RH Bordini, JF Hübner, M Wooldridge (2007)
Programming multi-agent systems in AgentSpeak using Jason
P Bresciani, A Perini, P Giorgini, F Giunchiglia, J Mylopoulos (2004)
Tropos: an agent-oriented software development methodologyAuton Agents Multi-Agent Syst, 8
RE Fikes, NJ Nilsson (1972)
Strips: a new approach to the application of theorem proving to problem solvingArtif Intell, 2
MJ Wooldridge (2000)
Reasoning about rational agents
JF Allen (1991)
Planning as temporal reasoningKR, 91
A Newell (1982)
The knowledge levelArtif Intell, 18
N Guarino, M Carrara, P Giaretta (1994)
Formalizing ontological commitmentAAAI, 94
The ability of a system to change its behavior at run-time is one of the foundations for engineering intelligent environments. The vision of computing systems that can manage themselves is fascinating, but to date, it presents many intellectual challenges to face. Run-time goal-model artifacts represent a typical approach to communicate requirements to the system and open new directions for dealing with self-adaptation. This paper presents a theoretical framework and a general architecture for engineering self-adaptive smart spaces by breaking out some design-time constraints between goals and tasks. The architecture supports software evolution because goals may be changed during the application lifecycle. The architecture is responsible for configuring its components as the result of a decision-making algorithm working at the knowledge level. The approach is specifically suitable for developing smart space systems, promoting scalability and reusability. The proposed architecture is evaluated through the execution of a set of randomized stress tests.
Journal of Reliable Intelligent Environments – Springer Journals
Published: Jul 31, 2017
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.