Sciweavers

ICTAC
2009
Springer
14 years 3 months ago
The PlusCal Algorithm Language
Leslie Lamport
ICSOC
2009
Springer
14 years 3 months ago
Generating Interface Grammars from WSDL for Automated Verification of Web Services
Sylvain Hallé, Graham Hughes, Tevfik Bultan...
ICSOC
2009
Springer
14 years 3 months ago
Another Approach to Service Instance Migration
Services change over time, be it for internal improvements, be it for external requirements such as new legal regulations. For long running services, it may even be necessary to ch...
Nannette Liske, Niels Lohmann, Christian Stahl, Ka...
ICSOC
2009
Springer
14 years 3 months ago
An Automatic Approach to Enable Replacement of Conversational Services
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradel...
ICSOC
2009
Springer
14 years 3 months ago
Requirements-Driven Collaborative Choreography Customization
Ayman Mahfouz, Leonor Barroca, Robin C. Laney, Bas...
ICSOC
2009
Springer
14 years 3 months ago
Web Service Search on Large Scale
The Web is nowadays moving from a Web of data to a Web of services. In this paper we present our approach for Web Service discovery on Web scale, targeted to support flexible and ...
Nathalie Steinmetz, Holger Lausen, Manuel Brunner
ICSOC
2009
Springer
14 years 3 months ago
Engage: Engineering Service Modes with WS-Engineer and Dino
In this demonstration1 we present an approach to engineering service brokering requirements and capabilities using the concepts of Service Modes. The demonstration illustrates buil...
Howard Foster, Arun Mukhija, David S. Rosenblum, S...
ICSOC
2009
Springer
14 years 3 months ago
Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework
Recently, the Software-as-a-Service (SaaS) model has been increasingly supported, becoming a major part of the new emerging cloud computing paradigms. Although SaaS exists in diff...
Marco Comerio, Hong Linh Truong, Flavio De Paoli, ...
ICSOC
2009
Springer
14 years 3 months ago
Action Patterns in Business Process Models
Sergey Smirnov 0002, Matthias Weidlich, Jan Mendli...