Specification, decomposition and agent synthesis for situation-aware service-based systems

Sik-Sang Yau, H. Gong, D. Huang, W. Gao, L. Zhu

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Pages (from-to)1663-1680
Number of pages18
JournalJournal of Systems and Software
Volume81
Issue number10
DOIs
StatePublished - Oct 2008

Fingerprint

Decomposition
Specifications
Military applications
National security
Distributed computer systems
Health care
Computer programming languages
Monitoring
Chemical analysis
Industry

Keywords

  • Agent synthesis
  • AS calculus and logic
  • Decomposition
  • Service-based systems
  • Situation awareness

ASJC Scopus subject areas

  • Computer Science Applications
  • Information Systems
  • Software

Cite this

Specification, decomposition and agent synthesis for situation-aware service-based systems. / Yau, Sik-Sang; Gong, H.; Huang, D.; Gao, W.; Zhu, L.

In: Journal of Systems and Software, Vol. 81, No. 10, 10.2008, p. 1663-1680.

Research output: Contribution to journalArticle

Yau, Sik-Sang ; Gong, H. ; Huang, D. ; Gao, W. ; Zhu, L. / Specification, decomposition and agent synthesis for situation-aware service-based systems. In: Journal of Systems and Software. 2008 ; Vol. 81, No. 10. pp. 1663-1680.
@article{d16359ee1be54e2c9a779c5f59b3534e,
title = "Specification, decomposition and agent synthesis for situation-aware service-based systems",
abstract = "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.",
keywords = "Agent synthesis, AS calculus and logic, Decomposition, Service-based systems, Situation awareness",
author = "Sik-Sang Yau and H. Gong and D. Huang and W. Gao and L. Zhu",
year = "2008",
month = "10",
doi = "10.1016/j.jss.2008.02.035",
language = "English (US)",
volume = "81",
pages = "1663--1680",
journal = "Journal of Systems and Software",
issn = "0164-1212",
publisher = "Elsevier Inc.",
number = "10",

}

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.

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 - Agent synthesis

KW - AS calculus and logic

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

VL - 81

SP - 1663

EP - 1680

JO - Journal of Systems and Software

JF - Journal of Systems and Software

SN - 0164-1212

IS - 10

ER -