Sciweavers

4 search results - page 1 / 1
» ecows 2008
Sort
View
ECOWS
2008
Springer
13 years 6 months ago
Validating Orchestration of Web Services with BPEL and Aggregate Signatures
In this paper, we present a framework providing integrity and authentication for secure workflow computation based on BPEL Web Service orchestration. We address a recent cryptogra...
Carlo Blundo, Emiliano De Cristofaro, Clemente Gal...
ECOWS
2008
Springer
13 years 6 months ago
Automatic Timed Test Case Generation for Web Services Composition
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli,...
ECOWS
2008
Springer
13 years 6 months ago
A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications
One of the promises of the Service-Oriented Architecture (SOA) is to build complex added-value services in order to enhance and extend existing ones. Service-Based Applications (S...
Maha Driss, Yassine Jamoussi, Jean-Marc Jéz...
ECOWS
2008
Springer
13 years 6 months ago
Beyond Soundness: On the Semantic Consistency of Executable Process Models
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
Ingo Weber, Jörg Hoffmann, Jan Mendling