Reasoning on Formalizing WS-CDL Mobility Using Process Algebra
暂无分享,去创建一个
Dong Xu | Bo Chen | Zhou Lei | Huaikou Miao | Nduwimfura Philbert | Bo Chen | N. Philbert | Dong Xu | Huai-kou Miao | Zhou Lei
[1] Lucian Wischik. New directions in implementing the pi calculus , 2002 .
[2] Antonio Vallecillo,et al. Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..
[3] Gwen Salaün,et al. Using Process Algebra for Web Services: Early Results and Perspectives , 2004, TES.
[4] Mathias Weske,et al. Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.
[5] S. Ross-Talbot. Orchestration and Choreography : Standards , Tools and Technologies for Distributed Workflows , 2005 .
[6] Holger Schlingloff,et al. Modeling and Model Checking Web Services , 2005, LCMAS.
[7] Hagen Overdick,et al. On the Suitability of WS-CDL for Choreography Modeling , 2006, EMISA.
[8] MengChu Zhou,et al. Modeling Service Compatibility with Pi-calculus for Choreography , 2006, ER.
[9] Zongyan Qiu,et al. Towards the Formal Model and Verification of Web Service Choreography Description Language , 2006, WS-FM.
[10] Mathias Weske,et al. Formalizing Service Interactions , 2006, Business Process Management.
[11] Roberto Lucchi,et al. Formalizing Mobility in Service Oriented Computing , 2007, J. Softw..
[12] Frank Puhlmann. On the Suitability of the Pi-Calculus for Business Process Management , 2007 .
[13] Jing Li,et al. Modeling and Verifying Web Services Choreography Using Process Algebra , 2007, 31st IEEE Software Engineering Workshop (SEW 2007).
[14] Gero Decker,et al. Service Referrals in BPEL-based Choreographies , 2007 .
[15] Chao Cai,et al. Towards the theoretical foundation of choreography , 2007, WWW '07.
[16] Yang Hongli,et al. Reasoning about Channel Passing in Choreography , 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.