Automated situation-aware service composition in service-oriented computing

Sik-Sang Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Haishan Gong, Prabhdeep Singh, Fatih Gelgi

Research output: Contribution to journalArticlepeer-review

16 Scopus citations


Service-based systems have many applications, such as e-business, health care, and homeland security. In these systems, it is necessary to provide users the capability of composing services into workflows providing higher-level functionality. In dynamic service-oriented computing environments, it is desirable that service composition is automated and situation-aware to generate robust and adaptive workflows. In this paper, an automated situation-aware service composition approach is presented This approach is based on the a-logic, a-calculus, and a declarative model for situation awareness (SAW). This approach consists of four major components: (1) analyzing SAW requirements using our SAW model, (2) translating our SAW model representation to a-logic specifications and specifying a control flow graph in a-logic as the service composition goal, (3) automated synthesis of a-calculus terms defining situation-aware workflow agents based on a-logic specifications for SAW requirements and the control flow graph, and (4) compilation of a-calculus terms to executable components.

Original languageEnglish (US)
Pages (from-to)59-82
Number of pages24
JournalInternational Journal of Web Services Research
Issue number4
StatePublished - 2007


  • Agent synthesis
  • Automated situation-aware service composition
  • Service-based systems
  • Situation-aware workflow
  • α-calculus
  • α-logic

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Networks and Communications


Dive into the research topics of 'Automated situation-aware service composition in service-oriented computing'. Together they form a unique fingerprint.

Cite this