Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland security. Situation-aware service coordination is required for these systems to coordinate distributed activities under changing environment and workload. In this paper, an automated agent synthesis approach for situation-aware service coordination in service-based systems is presented. This approach is based on AS3 logic and calculus, and our declarative model for SAW, which are also presented in this paper. This approach consists of three major steps: (1) analyzing situation-awareness (SAW) requirements using our declarative model for SAW and mapping the model representations to logical specifications in AS3 logic, (2) automated synthesis of AS3 calculus terms that define SAW agents for situation-aware service coordination, and (3) compilation of AS3 calculus terms to execution components on an agent platf...
Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhy