Model-checking of web services choreography
H Yang, X Zhao, C Cai, Z Qiu - 2008 IEEE International …, 2008 - ieeexplore.ieee.org
Web services choreography describes the global model of service interactions among a set
of participants. In order to achieve a common business goal, the protocols of interaction must …
of participants. In order to achieve a common business goal, the protocols of interaction must …
A heterogeneous parallel ecologically-inspired approach applied to the 3D-AB off-lattice protein structure prediction problem
This paper applies a heterogeneous parallel ecology-inspired algorithm (pECO) to solve a
complex problem from bioinformatics. The ecological-inspired algorithm represents a new …
complex problem from bioinformatics. The ecological-inspired algorithm represents a new …
An incremental hough transform for detecting ellipses in image data streams
S Sellah, O Nasraoui - 2008 20th IEEE International …, 2008 - ieeexplore.ieee.org
In this paper, we present a purely incremental, scalable algorithm for the detection of
elliptical shapes in images. Our method uses an incremental version of the Random Hough …
elliptical shapes in images. Our method uses an incremental version of the Random Hough …
An approach to check choreography with channel passing in WS-CDL
C Chao, Q Zongyan - 2008 IEEE International Conference on …, 2008 - ieeexplore.ieee.org
Channel passing mechanisms enable dynamically determining destinations of message
transferring. WS-CDL, a language developed by W3C for the specification of Web services …
transferring. WS-CDL, a language developed by W3C for the specification of Web services …
A formal model for channel passing in web service composition
C Cai, H Yang, X Zhao, Z Qiu - 2008 IEEE International …, 2008 - ieeexplore.ieee.org
Despite the importance for expressing location mobility and dynamic composition, channel
passing has almost been ignored in the formal work on Web service composition. One …
passing has almost been ignored in the formal work on Web service composition. One …
Linking denotational semantics with operational semantics for web services
Web Services have become more and more important in these years, and BPEL4WS (BPEL)
is a de facto standard for the web service composition and orchestration. It contains several …
is a de facto standard for the web service composition and orchestration. It contains several …
Verification of channel passing in choreography with model checking
L Peng, C Cai, Q Zongyan, G Pu - 2009 IEEE International …, 2009 - ieeexplore.ieee.org
A Web service choreography describes a global protocol of interactions among a set of
cooperating services. For the dynamic composition, changing interconnections by channel …
cooperating services. For the dynamic composition, changing interconnections by channel …
A logical formal model for verification of Web Service Choreography
Z Madani, N Nematbakhsh - 2009 12th International …, 2009 - ieeexplore.ieee.org
Several methods and languages have been developed to describe computer system
specifications and some of them have been deployed to validate and verify the functionality …
specifications and some of them have been deployed to validate and verify the functionality …
Coherent harmonic detection using non-stationary higher order spectra
GR Wilson, KR Hardwicke, RT Trochta - Acoustics, Speech, and …, 1992 - computer.org
Web services choreography describes global models of service interactions among a set of
participants. For an interaction to be executed, the participants must know the required …
participants. For an interaction to be executed, the participants must know the required …
Reasoning on formalizing WS-CDL mobility using process algebra
P Nduwimfura, D Xu, HK Miao, Z Lei… - 2010 IEEE Asia-Pacific …, 2010 - ieeexplore.ieee.org
With a good understanding of mobility mechanisms of WS-CDL, we can easily design
applications that acquire, during the execution, all the information they need to invoke …
applications that acquire, during the execution, all the information they need to invoke …