Sciweavers

Share
ICSE
2010
IEEE-ACM
8 years 7 months ago
SOABench: performance evaluation of service-oriented middleware made easy
SOABench is a framework for the automatic generation, execution and analysis of testbeds for evaluating the performance of service-oriented middleware. Testbeds can be characteriz...
Domenico Bianculli, Walter Binder, Mauro Luigi Dra...
ICWS
2008
IEEE
8 years 10 months ago
Communications Semantics for WSBPEL Processes
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
Walid Fdhila, Mohsen Rouached, Claude Godart
AAAI
2007
8 years 11 months ago
Making the Difference in Semantic Web Service Composition
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. In this paper we propose a mean of performing automated Web service ...
Freddy Lécué, Alexandre Delteil
KBSE
2003
IEEE
9 years 2 months ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ICWE
2004
Springer
9 years 2 months ago
MDA applied: From Sequence Diagrams to Web Service Choreography
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
Bernhard Bauer, Jörg P. Müller
GI
2004
Springer
9 years 2 months ago
Automating the Development of Web Service Compositions Using Templates
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
Dimka Karastoyanova, Alejandro P. Buchmann
TES
2005
Springer
9 years 2 months ago
SENECA - Simulation of Algorithms for the Selection of Web Services for Compositions
This paper discusses a combinatorial problem about the selection of candidates for Web service compositions. The problem occurs if we assume that a discovery process has identifi...
Michael C. Jaeger, Gregor Rojec-Goldmann
IEEESCC
2005
IEEE
9 years 2 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
EEE
2005
IEEE
9 years 2 months ago
On Comprehensive Contractual Descriptions of Web Services
Comprehensive contractual description of Web Services and Web Service compositions is needed for selection of appropriate Web Services and their service and quality of service (Qo...
Vladimir Tosic, Bernard Pagurek
AICT
2006
IEEE
210views Communications» more  AICT 2006»
9 years 3 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
books