Verifying Atomicity Requirements of Services Coordination Using B
暂无分享,去创建一个
Christine Collet | Luciano García-Bañuelos | Genoveva Vargas-Solar | José-Luis Zechinelli-Martini | Edgar Alberto Portilla-Flores
[1] Marie-Christine Fauvet,et al. Handling Transactional Properties in Web Service Composition , 2005, WISE.
[2] Gustavo Alonso,et al. Atomicity and isolation for transactional processes , 2002, TODS.
[3] Alberto Portilla,et al. Providing transactional behavior to services coordination , 2006 .
[4] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[5] Gottfried Vossen,et al. A Multi-Level Model for Web Service Composition , 2004 .
[6] Javier-Alfonso Espinosa-Oviedo,et al. Building reliable mobile services based applications , 2008, 2008 IEEE 24th International Conference on Data Engineering Workshop.
[7] Christine Collet,et al. A Flexible Model for Providing Transactional Behavior to Service Coordination in an Orthogonal Way , 2007, WEBIST.
[8] 허윤정,et al. Holzmann의 ˝The Model Checker SPIN˝에 대하여 , 1998 .
[9] Frank Waters,et al. The B Book , 1971 .
[10] Jeff Magee,et al. Concurrency - state models and Java programs , 2006 .
[11] Jeremy Gibbons,et al. A Process-Algebraic Approach to Workflow Specification and Refinement , 2007, SC@ETAPS.
[12] Mladen A. Vouk,et al. Verifying commitment based business protocols and their compositions: model checking using promela and spin , 2006 .
[13] Paulo F. Pires,et al. Building Reliable Web Services Compositions , 2002, Web, Web-Services, and Database Systems.
[14] Stephan Merz,et al. Model Checking , 2000 .
[15] Michael J. Butler,et al. csp2B: A Practical Approach to Combining CSP and B , 1999, Formal Aspects of Computing.
[16] Christine Collet,et al. Contract Based Behavior Model for Services Coordination , 2007, WEBIST.
[17] Xiang Fu,et al. Analysis of interacting BPEL web services , 2004, WWW '04.
[18] Walid Gaaloul,et al. Verifying Composite Service Transactional Behavior Using Event Calculus , 2007, OTM Conferences.
[19] Wil M.P. van der Aalst,et al. YAWL: yet another workflow language , 2005, Inf. Syst..
[20] Takashi Kobayashi,et al. Dependability and Flexibility Centered Approach for Composite Web Services Modeling , 2006, OTM Conferences.
[21] Claude Godart,et al. Reliable Web services composition using a transactional approach , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.
[22] Gustavo Alonso,et al. Web Services: Concepts, Architectures and Applications , 2009 .
[23] S. Nakajima,et al. Verification of Web service flows with model-checking techniques , 2002, First International Symposium on Cyber Worlds, 2002. Proceedings..
[24] Sebastián Uchitel,et al. LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.
[25] Eric Wohlstadter,et al. Transaction policies for service-oriented computing , 2004, Data Knowl. Eng..
[26] Michael J. Butler,et al. ProB: A Model Checker for B , 2003, FME.
[27] Johannes Klein,et al. Web services transaction (ws-transaction) , 2002 .