A formal and visual modeling approach to choreography based web services composition and conformance verification

Mission Operations and Autonomy

“…The self-managed software architectures is currently a vibrant field that covers a number of distinct solutions such as service-based [52][53][54], aspect-oriented component-based [55], generic component-based [56,57], model-based [58][59][60], self-organization [61,62], and ontology-based [63][64][65]. Each of the methods approaches the problem in a different manner.…”

“…These services can be automatically composed and configured toward a user goal, which is generally done in one of the two ways: orchestration or choreography. In service orchestration, a software agent arranges, coordinates, and manages services toward a goal, but allows services to run with self-determination [53,54]. In service choreography, a software agent controls and chooses all activities that any service performs, and in doing so can reconfigure a system toward a goal at run time.…”

A Mobile Agent Based Approach for Automating “discover-Compose” Process of Semantic Web Services

“…They can be divided into two categories; the first one is the orchestration in which a sequence of web services is executed according to a predefined template through orchestrations scripts as stated by (Albrechne et al, 2009); the second category is the choreography which is more collaborative. According to (Yeung, 2011;Hwang et al, 2011;Kuo, 2012), Choreography does not depend on a central orchestrator. Each web service involved in the choreography has to know exactly when to become active and with whom to interact in contrast to the orchestration techniques.…”

Verifying Service Choreography Model Based on Description Logic

“…Basu et al [12] gave necessary and sufficient conditions for realizability of choreographies and implemented the proposed realizability check on three granularities: (1) web service choreographies, (2) singularity OS channel contracts, and (3) UML collaboration (communication) diagrams. Yeung [13] put forward a formal approach to web service composition and conformance verification based on WS-CDL and WS-BPEL. The main contributions included a precise notion of choreography conformance upon which verification is based and support for the complementary use of visual modeling (e.g., UML) and standard WS- * notations in composition.…”