Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

2006 ◽  
pp. 58-72 ◽  
Author(s):  
Marco Alberti ◽  
Federico Chesani ◽  
Marco Gavanelli ◽  
Evelina Lamma ◽  
Paola Mello ◽  
...  
Keyword(s):  
Web Services ◽  
Computational Logic ◽  
Run Time

Enforcing web services business protocols at run-time: a process-driven approach

2006 ◽  
Vol 2 (4) ◽  
pp. 396 ◽  
Author(s):  
Biorn Biornstad ◽  
Cesare Pautasso ◽  
Gustavo Alonso
Keyword(s):  
Web Services ◽  
Run Time ◽  
Business Protocols

scholarly journals IMPROVING THE AUTOMATIC PROCUREMENT OF WEB SERVICES USING CONSTRAINT PROGRAMMING

2005 ◽  
Vol 14 (04) ◽  
pp. 439-467 ◽  
Author(s):  
ANTONIO RUIZ–CORTÉS ◽  
OCTAVIO MARTÍN–DÍAZ ◽  
AMADOR DURÁN ◽  
M. TORO
Keyword(s):  
Web Services ◽  
Internal Consistency ◽  
Constraint Programming ◽  
Experimental Results ◽  
Objective Functions ◽  
Run Time ◽  
Linear Objective Functions ◽  
Best Offer

Software solutions to automate the procurement of web services are gaining importance when technology evolves, the number of providers increases and the needs of the clients become more complex. There are several proposals in this field, but they all have important drawbacks, namely: many of them are not able to check offers and demands for internal consistency; selecting the best offer usually relies on evaluating linear objective functions, which is quite a naive solution; the language to express offers is usually less expressive than the language to express demands; and, last but not least, providers cannot impose constraints on their clients. In this article, we present a solution to overcome these problems that relies on constraint programming; furthermore, we present a run-time framework, some experimental results, and a comparison with other proposals.

Capacity-Driven Web Services

2010 ◽  
Vol 1 (4) ◽  
pp. 65-88
Author(s):  
Samir Tata ◽  
Zakaria Maamar ◽  
Djamel Belaïd ◽  
Khouloud Boukadi
Keyword(s):  
Web Services ◽  
Data Quality ◽  
Web Service ◽  
Research Opportunities ◽  
Network Bandwidth ◽  
The Future ◽  
Run Time

This paper presents the concepts, definitions, issues, and solutions that revolve around the adoption of capacity-driven Web services. Because of the intrinsic characteristics of these Web services compared to regular, mono-capacity Web services, they are examined in a different way and across four steps denoted by description, discovery, composition, and enactment. Implemented as operations to execute at run-time, the capacities that empower a Web service are selected with respect to requirements put on this Web service such as data quality and network bandwidth. In addition, this paper reports on first the experiments that were conducted to demonstrate the feasibility of capacity-driven Web services, and also the research opportunities that will be pursued in the future.

Sign in / Sign up

Export Citation Format

Share Document