This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2012 20th IEEE International Requirements Engineering Conference (RE)
Stateful requirements monitoring for self-repairing socio-technical systems
Chicago, IL, USA USA
September 24-September 28
ISBN: 978-1-4673-2783-1
Lingxiao Fu, School of Computer Science, Fudan University, China
Xin Peng, School of Computer Science, Fudan University, China
Yijun Yu, Department of Computing, The Open University, UK
John Mylopoulos, Department of Information Engineering and Computer Science, University of Trento, Italy
Wenyun Zhao, School of Computer Science, Fudan University, China
Socio-technical systems consist of human, hardware and software components that work in tandem to fulfill stakeholder requirements. By their very nature, such systems operate under uncertainty as components fail, humans act in unpredictable ways, and the environment of the system changes. Self-repair refers to the ability of such systems to restore fulfillment of their requirements by relying on monitoring, reasoning, and diagnosing on the current state of individual requirements. Self-repair is complicated by the multi-agent nature of socio-technical systems, which demands that requirements monitoring and self-repair be done in a decentralized fashion. In this paper, we propose a stateful requirements monitoring approach by maintaining an instance of a state machine for each requirement, represented as a goal, with runtime monitoring and compensation capabilities. By managing the interactions between the state machines, our approach supports hierarchical goal reasoning in both upward and downward directions. We have implemented a customizable Java framework that supports experimentation by simulating a socio-technical system. Results from our experiments suggest effective and precise support for a wide range of self-repairing decisions in a socio-technical setting.
Index Terms:
goal models,self-repair,requirements monitoring
Citation:
Lingxiao Fu, Xin Peng, Yijun Yu, John Mylopoulos, Wenyun Zhao, "Stateful requirements monitoring for self-repairing socio-technical systems," re, pp.121-130, 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Usage of this product signifies your acceptance of the Terms of Use.