An Automated Method for Web Service Orchestration Based on Reusable Building Blocks

We describe a complete and largely automated method for the development of systems from web services, which comprises the encapsulation of services, as well as their composition, verification and subsequent implementation in a model-driven manner. The paper follows the steps of the method: In a first phase, we import WSDL descriptions automatically as UML~2.x activities and provide them as building blocks, with some optional, manual adaptations. In a second phase, these building blocks can be used to compose an application that orchestrates web services. The building blocks have behavioral contracts that enable automated, incremental verification based on compositional model checking. We demonstrate the approach by a subscription-based service to receive SMS messages.

[1]  Luciano Baresi,et al.  Test and Analysis of Web Services , 2007, Test and Analysis of Web Services.

[2]  Sebastián Uchitel,et al.  WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography , 2007, Test and Analysis of Web Services.

[3]  Peter Herrmann,et al.  FORMALIZING COLLABORATION-ORIENTED SERVICE SPECIFICATIONS USING TEMPORAL LOGIC , 2007 .

[4]  Peter Herrmann,et al.  Compositional Service Engineering with Arctis , 2009 .

[5]  Ioana Manolescu,et al.  Model-driven design and deployment of service-enabled web applications , 2005, TOIT.

[6]  Frank Alexander Kraemer,et al.  Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks , 2008 .

[7]  Peter Herrmann,et al.  Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services , 2006, OTM Conferences.

[8]  Xiang Fu,et al.  Analyzing Conversations: Realizability, Synchronizability, and Verification , 2007, Test and Analysis of Web Services.

[9]  Peter Herrmann,et al.  Service Specification by Composition of Collaborations--An Example , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops.

[10]  Wil M. P. van der Aalst,et al.  Specifying and Monitoring Service Flows: Making Web Services Process-Aware , 2007, Test and Analysis of Web Services.

[11]  Peter Herrmann,et al.  Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications , 2007, SDL Forum.

[12]  Rolv Bræk,et al.  Dynamic Service Discovery Using Active Lookup and Registration , 2008, 2008 IEEE Congress on Services - Part I.

[13]  Vidar Slåtten,et al.  ENGINEERING SUPPORT FOR UML ACTIVITIES BY AUTOMATED MODEL-CHECKING | AN EXAMPLE , 2007 .

[14]  Peter Herrmann,et al.  Transforming Collaborative Service Specifications into Efficiently Executable State Machines , 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[15]  Leslie Lamport,et al.  Model Checking TLA+ Specifications , 1999, CHARME.

[16]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[17]  Heiko Krumm,et al.  A framework for modeling transfer protocols , 2000, Comput. Networks.

[18]  Daniel Kroening,et al.  Model Checking with Abstraction for Web Services , 2007, Test and Analysis of Web Services.

[19]  Rolv Bræk,et al.  Describing Active Services for Publication and Discovery , 2008 .

[20]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[21]  Mohsen Rouached,et al.  Communications Semantics for WSBPEL Processes , 2008, 2008 IEEE International Conference on Web Services.

[22]  Stefano Ceri,et al.  Web Modeling Language (WebML): a modeling language for designing Web sites , 2000, Comput. Networks.

[23]  Vidar Slåtten.  Automatic Detection and Correction of Flaws in Service Specifications , 2008 .