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 journalArticlepeer-review

13 Scopus citations


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
Issue number10
StatePublished - Oct 2008


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

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture


Dive into the research topics of 'Specification, decomposition and agent synthesis for situation-aware service-based systems'. Together they form a unique fingerprint.

Cite this