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 Citations (Scopus)

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
StatePublished - 2007

Fingerprint

Flow graphs
Chemical analysis
Specifications
National security
Health care
Industry

Keywords

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

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software
  • Information Systems

Cite this

Automated situation-aware service composition in service-oriented computing. / Yau, Sik-Sang; Davulcu, Hasan; Mukhopadhyay, Supratik; Huang, Dazhi; Gong, Haishan; Singh, Prabhdeep; Gelgi, Fatih.

In: International Journal of Web Services Research, Vol. 4, No. 4, 2007, p. 59-82.

Research output: Contribution to journalArticle

Yau, S-S, Davulcu, H, Mukhopadhyay, S, Huang, D, Gong, H, Singh, P & Gelgi, F 2007, 'Automated situation-aware service composition in service-oriented computing', International Journal of Web Services Research, vol. 4, no. 4, pp. 59-82.
Yau, Sik-Sang ; Davulcu, Hasan ; Mukhopadhyay, Supratik ; Huang, Dazhi ; Gong, Haishan ; Singh, Prabhdeep ; Gelgi, Fatih. / Automated situation-aware service composition in service-oriented computing. In: International Journal of Web Services Research. 2007 ; Vol. 4, No. 4. pp. 59-82.
@article{a68842c91074432e9374495cd7734aba,
title = "Automated situation-aware service composition in service-oriented computing",
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.",
keywords = "α-calculus, α-logic, Agent synthesis, Automated situation-aware service composition, Service-based systems, Situation-aware workflow",
author = "Sik-Sang Yau and Hasan Davulcu and Supratik Mukhopadhyay and Dazhi Huang and Haishan Gong and Prabhdeep Singh and Fatih Gelgi",
year = "2007",
language = "English (US)",
volume = "4",
pages = "59--82",
journal = "International Journal of Web Services Research",
issn = "1545-7362",
publisher = "IGI Publishing",
number = "4",

}

TY - JOUR

T1 - Automated situation-aware service composition in service-oriented computing

AU - Yau, Sik-Sang

AU - Davulcu, Hasan

AU - Mukhopadhyay, Supratik

AU - Huang, Dazhi

AU - Gong, Haishan

AU - Singh, Prabhdeep

AU - Gelgi, Fatih

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - α-calculus

KW - α-logic

KW - Agent synthesis

KW - Automated situation-aware service composition

KW - Service-based systems

KW - Situation-aware workflow

UR - http://www.scopus.com/inward/record.url?scp=48649103882&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=48649103882&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:48649103882

VL - 4

SP - 59

EP - 82

JO - International Journal of Web Services Research

JF - International Journal of Web Services Research

SN - 1545-7362

IS - 4

ER -