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 language | English (US) |
---|---|
Pages (from-to) | 59-82 |
Number of pages | 24 |
Journal | International Journal of Web Services Research |
Volume | 4 |
Issue number | 4 |
DOIs | |
State | Published - 2007 |
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