TY - JOUR
T1 - Specification, decomposition and agent synthesis for situation-aware service-based systems
AU - Yau, Sik-Sang
AU - Gong, H.
AU - Huang, D.
AU - Gao, W.
AU - Zhu, L.
N1 - Funding Information:
This work was supported by the DoD/ONR under the Multidisciplinary Research Program of the University Research Initiative, Contract No. N00014-04-1-0723.
PY - 2008/10
Y1 - 2008/10
N2 - Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and development, e-business, health care, military applications and homeland security, regardless of the programming languages and platforms used in developing and running various components of the applications. In dynamic service-oriented computing environment, situation awareness (SAW) is needed for system monitoring, adaptive service coordination and flexible security policy enforcement. To greatly reduce the development effort of SAW capability in service-based systems and effectively support runtime system adaptation, it is necessary to automate the development of reusable and autonomous software components, called SAW agents, for situation-aware service-based systems. In this paper, a logic-based approach to declaratively specifying SAW requirements, decomposing SAW specifications for efficient distributed situation analysis, and automated synthesis of SAW agents is presented. This approach is based on AS3 calculus and logic, and our declarative model for SAW. Evaluation results of our approach are also presented.
AB - Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and development, e-business, health care, military applications and homeland security, regardless of the programming languages and platforms used in developing and running various components of the applications. In dynamic service-oriented computing environment, situation awareness (SAW) is needed for system monitoring, adaptive service coordination and flexible security policy enforcement. To greatly reduce the development effort of SAW capability in service-based systems and effectively support runtime system adaptation, it is necessary to automate the development of reusable and autonomous software components, called SAW agents, for situation-aware service-based systems. In this paper, a logic-based approach to declaratively specifying SAW requirements, decomposing SAW specifications for efficient distributed situation analysis, and automated synthesis of SAW agents is presented. This approach is based on AS3 calculus and logic, and our declarative model for SAW. Evaluation results of our approach are also presented.
KW - AS calculus and logic
KW - Agent synthesis
KW - Decomposition
KW - Service-based systems
KW - Situation awareness
UR - http://www.scopus.com/inward/record.url?scp=48649106317&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=48649106317&partnerID=8YFLogxK
U2 - 10.1016/j.jss.2008.02.035
DO - 10.1016/j.jss.2008.02.035
M3 - Article
AN - SCOPUS:48649106317
SN - 0164-1212
VL - 81
SP - 1663
EP - 1680
JO - Journal of Systems and Software
JF - Journal of Systems and Software
IS - 10
ER -