Situation-Awareness for Adaptive Coordination in Service-Based Systems

Abstract

Service-based systems have many applications, including collaborative research and development, ebusiness, health care, environmental control, military applications, and homeland security. Service coordination is required for these systems to coordinate distributed activities. To achieve adaptive service coordination under changing environment and workload, situation-awareness is needed. In this paper, a model is presented for situationawareness (SAW) requirements in service-based systems. Based on this model, SAW agents are developed to incorporate situation-awareness and adaptive coordination in service-based systems.

A systematic literature review of service choreography adaptation

“…Agents can also learn, self-analyze, and adjust their own behavior according to the environment, even with partial knowledge about the whole context. Agents are often implemented with Artificial Intelligence techniques, such as execution plans [24], and the BDI (beliefs, desires, and intentions) model [14]. In the service choreography context, agents can also be used to recover from interaction failures based on declarative policy specifications [1].…”

Automated Agent Synthesis for Situation Awareness in Service-Based Systems

“…In our SAW model, we have formally defined the essential constructs like contexts, situations and relations among situations and actions [5]. Our SAW model is language-neutral and can be translated to specifications of various formal languages, such as Transaction F-Logic and AS 3 Logic.…”

“…Analyzing SAW Requirements Based on the ontology of our SAW model [5], developers can analyze the SAW requirements as follows: Specifying SAW Requirements After requirement analysis, developers, without any knowledge about AS 3 logic, can construct the graphical representations of these SAW requirements (see Sec. 3.1), and generate AS 3 logic specifications from the graphical representations using our SAW modeling tool.…”

“…By traversing G S , necessary operations for analyzing S are translated to the corresponding AS 3 logic formulas: (i) For the situation operators in our model [5], ¬, ∧ and ∨ are provided in AS 3 logic; P (sometimes) and H (always) are defined using the existential and universal quantifications on time in AS 3 logic; and Know is represented using k(u; φ).…”

“…Our approach is based on our declarative SAW model [5], and AS 3 calculus and logic for rapid development of Adaptable Situation-Aware Secure Service-Based (AS 3 ) systems [4]. SAW requirements are analyzed and graphically specified using our SAW model, and automatically translated into declarative AS 3 logic specifications, from which AS 3 calculus terms defining SAW agents are synthesized.…”