Modeling and Verifying Web Services Choreography Using Process Algebra

2007 ◽  
Author(s):  
Jing Li ◽  
Jifeng He ◽  
Huibiao Zhu ◽  
Geguang Pu
Keyword(s):  
Web Services ◽  
Process Algebra

scholarly journals An Integrated Framework for Web Services Orchestration

2009 ◽  
Vol 6 (4) ◽  
pp. 1-29 ◽  
Author(s):  
C. Boutrous Saab ◽  
D. Coulibaly ◽  
S. Haddad ◽  
T. Melliti ◽  
P. Moreaux ◽  
...  
Keyword(s):  
Web Services ◽  
Process Algebra ◽  
Formal Semantics ◽  
Service Development ◽  
Development Framework ◽  
Active Research ◽  
Services Orchestration ◽  
Interaction Problem ◽  
Java Code ◽  
Timed Automaton

Currently, Web services give place to active research and this is due both to industrial and theoretical factors. On one hand, Web services are essential as the design model of applications dedicated to the electronic business. On the other hand, this model aims to become one of the major formalisms for the design of distributed and cooperative applications in an open environment (the Internet). In this article, the authors will focus on two features of Web services. The first one concerns the interaction problem: given the interaction protocol of a Web service described in BPEL, how to generate the appropriate client? Their approach is based on a formal semantics for BPEL via process algebra and yields an algorithm which decides whether such a client exists and synthesizes the description of this client as a (timed) automaton. The second one concerns the design process of a service. They propose a method which proceeds by two successive refinements: first the service is described via UML, then refined in a BPEL model and finally enlarged with JAVA code using JCSWL, a new language that we introduce here. Their solutions are integrated in a service development framework that will be presented in a synthetic way.

Modeling and Analyzing Web Services Composition Using Timed Probabilistic Priced Process Algebra

2012 ◽  
Vol 35 (5) ◽  
pp. 918-936 ◽  
Author(s):  
Fang-Xiong XIAO ◽  
Yan LI ◽  
Zhi-Qiu HUANG ◽  
Zi-Ning CAO ◽  
Zhe CHEN ◽  
...  
Keyword(s):  
Web Services ◽  
Process Algebra ◽  
Web Services Composition ◽  
Services Composition

WS-Security on PRODML

2014 ◽  
Vol 1 (1) ◽  
pp. 9-34
Author(s):  
Bobby Suryajaya
Keyword(s):  
Web Services ◽  
Digital Signature ◽  
Data Transfer ◽  
Web Services Security ◽  
Soap Message ◽  
Simulation Results ◽  
End To End

SKK Migas plans to apply end-to-end security based on Web Services Security (WS-Security) for Sistem Operasi Terpadu (SOT). However, there are no prototype or simulation results that can support the plan that has already been communicated to many parties. This paper proposes an experiment that performs PRODML data transfer using WS-Security by altering the WSDL to include encryption and digital signature. The experiment utilizes SoapUI, and successfully loaded PRODML WSDL that had been altered with WSP-Policy based on X.509 to transfer a SOAP message.

Sign in / Sign up

Export Citation Format

Share Document