Adaptive socio-technical systems: a requirements-based approach

被引:73
作者
Dalpiaz, Fabiano [1 ]
Giorgini, Paolo [1 ]
Mylopoulos, John [1 ]
机构
[1] Univ Trento, Dept Informat Engn & Comp Sci, I-38123 Povo, TN, Italy
关键词
Self-adaptive software; Socio-technical systems; Goal models; Requirements engineering; RUNTIME; FRAMEWORK; TROPOS; MODELS;
D O I
10.1007/s00766-011-0132-1
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A socio-technical system (STS) consists of an interplay of humans, organizations, and technical systems. STSs are heterogeneous, dynamic, unpredictable, and weakly controllable. Their operational environment changes unexpectedly, actors join and leave the system at will, actors fail to meet their objectives and under-perform, and dependencies on other actors are violated. To deal with such situations, we propose an architecture for STSs that makes an STS self-reconfigurable, i.e., capable of switching autonomously from one configuration to a better one. Our architecture performs a Monitor-Diagnose-Reconcile-Compensate cycle: it monitors actor behaviors and context changes, diagnoses failures and under-performance by checking whether monitored behavior is compliant with actors goals, finds a possible way to address the problem, and enacts compensation actions to reconcile actual and desired behavior. Compensation actions take into account the autonomy of participants in an STS, which cannot be controlled. Our architecture is requirements driven: we use extended Tropos goal models to diagnose failures as well as to identify alternative strategies to meet requirements. After presenting our conceptual architecture and the algorithms, it is founded upon; we describe a prototype implementation applied to a case study concerning smart-homes. We also provide experimental results that suggest that our architecture scales well as the size of the STS grows.
引用
收藏
页码:1 / 24
页数:24
相关论文
共 49 条
[1]   A goal-based framework for contextual requirements modeling and analysis [J].
Ali, Raian ;
Dalpiaz, Fabiano ;
Giorgini, Paolo .
REQUIREMENTS ENGINEERING, 2010, 15 (04) :439-458
[2]  
Ali R, 2008, LECT NOTES COMPUT SC, V5231, P169, DOI 10.1007/978-3-540-87877-3_14
[3]  
[Anonymous], 2007, Programming multi-agent systems in AgentSpeak using Jason
[4]  
Baresi L., 2010, P 18 INT IEEE REQ EN
[5]  
Baresi L., 2010, WORKSH SOFTW ENG AD, P114, DOI [10.1145/1808984.1808997, DOI 10.1145/1808984.1808997]
[6]  
Bencomo N., 2010, 2010 32nd International Conference on Software Engineering (ICSE), P199, DOI 10.1145/1810295.1810329
[7]  
Bratman Michael., 1987, Intention, Plans, and
[8]   Tropos: An agent-oriented software development methodology [J].
Bresciani, P ;
Perini, A ;
Giorgini, P ;
Giunchiglia, F ;
Mylopoulos, J .
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2004, 8 (03) :203-236
[9]  
Bryl V., 2006, ITSSA, V2, P31
[10]   Computable Functions in ASP: Theory and Implementation [J].
Calimeri, Francesco ;
Cozza, Susanna ;
Lanni, Giovambattista ;
Leone, Nicola .
LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 :407-424