Paper Info
Title
An Automated Method for Web Service Orchestration Based on Reusable Building Blocks
Abstract
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.
Year
DOI
Venue
2009
10.1109/ICWS.2009.68
ICWS
Keywords
Field
DocType
orchestrates web service,sms message,web service orchestration,building block,incremental verification,automated method,reusable building blocks,web service,manual adaptation,compositional model checking,behavioral contract,wsdl description,data mining,encapsulation,simple object access protocol,object oriented programming,formal verification,model checking,web services,uml,java,computer architecture,unified modeling language,servers,software engineering,acoustical engineering,telematics
Short Message Service,Model checking,Unified Modeling Language,Object-oriented programming,Computer science,Server,SOAP,Web service,Database,Formal verification
Conference
Citations 
PageRank 
References 
4
0.44
11
Authors
3
Name
Order
Citations
PageRank
Frank Alexander Kraemer126221.13
Haldor Samset2252.29
Rolv Bræk319921.51