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 journalArticle

12 Scopus citations

Abstract

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
Volume4
Issue number4
DOIs
StatePublished - Jan 1 2007

    Fingerprint

Keywords

  • 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

Cite this