Model-driven approach supporting formal verification for web service composition protocols
暂无分享,去创建一个
Pascal Lorenz | Mohamed Bakhouya | Jaafar Gaber | Maxime Wack | Christophe Dumez | P. Lorenz | M. Bakhouya | M. Wack | J. Gaber | C. Dumez
[1] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[2] MengChu Zhou,et al. A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.
[3] A. Brogi,et al. Formalizing Web Services , 2005 .
[4] Harald Meyer,et al. Survey on service composition , 2005 .
[5] Steve Schneider. Specification and Verification in Timed CSP , 1996 .
[6] J. Gaber,et al. Web Services Composition using UML-S: A Case Study , 2008, 2008 IEEE Globecom Workshops.
[7] Thomas Erl,et al. SOA Principles of Service Design (The Prentice Hall Service-Oriented Computing Series from Thomas Erl) , 2007 .
[8] Marc Frappier,et al. 19 - A Comparison of the Specification Methods , 2010 .
[9] Keith Mantell. From UML to BPEL , 2003 .
[10] Marc Frappier,et al. Software Specification Methods: An Overview Using a Case Study , 2000 .
[11] Antonio Vallecillo,et al. Formalizing WSBPEL Business Processes Using Process Algebra , 2006, Electron. Notes Theor. Comput. Sci..
[12] Philippe Dague,et al. Modeling and Diagnosing OrchestratedWeb Service Processes , 2007, IEEE International Conference on Web Services (ICWS 2007).
[13] Peter Fettke. Unified modeling language 2.0 , 2007 .
[14] Tony Spiteri Staines. Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).
[15] Stephen A. White,et al. Process Modeling Notations and Workflow Patterns , 2004 .
[16] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .
[17] van der Wmp Wil Aalst,et al. Workflow control-flow patterns : a revised view , 2006 .
[18] S. B. Mokhtar,et al. COCOA : Conversation-Based Service Composition for Pervasive Computing Environments , 2006 .
[19] Andrea Ferrara,et al. Web services: a process algebra approach , 2004, ICSOC '04.
[20] Chao Cai,et al. Verification of channel passing in choreography with model checking , 2009, 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).
[21] Activité ad‐hoc Types de tâches. Introduction to BPMN , 2004 .
[22] Mathias Weske,et al. Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.
[23] Antonio Vallecillo,et al. Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..
[24] Jaafar Gaber,et al. Model-driven engineering of composite web services using UML-S , 2008, iiWAS.
[25] J. Gaber,et al. Modeling and Specification of Web Services Composition Using UML-S , 2008, 2008 4th International Conference on Next Generation Web Services Practices.
[26] Chin-Laung Lei,et al. Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) , 1986, LICS.
[27] Antonio Bucchiarone,et al. Web Service Composition Approaches: From Industrial Standards to Formal Methods , 2007, Second International Conference on Internet and Web Applications and Services (ICIW'07).
[28] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[29] Samik Basu,et al. Automated Choreographer Synthesis for Web Services Composition Using I/O Automata , 2007, IEEE International Conference on Web Services (ICWS 2007).
[30] Wil M. P. van der Aalst,et al. Workflow Patterns , 2003, Distributed and Parallel Databases.
[31] Anders P. Ravn,et al. Modelling and Verification of Web Services Business Activity Protocol , 2011, TACAS.
[32] Valentín Valero,et al. Verification of Web Services with Timed Automata , 2006, WWV.
[33] Geguang Pu,et al. Towards the Semantics and Verification of BPEL4WS , 2006, WLFM@FM.
[34] Gregorio Diaz,et al. Verification of Web Services with Timed , 2006 .
[35] M. Beek,et al. A Survey on Service Composition Approaches : From Industrial Standards to Formal Methods ? , 2006 .
[36] M. Beek,et al. Formal Methods for Service Composition , 2007 .
[37] Jing Li,et al. Modeling and Verifying Web Services Choreography Using Process Algebra , 2007, 31st IEEE Software Engineering Workshop (SEW 2007).
[38] Manuel Mazzara,et al. A pi-calculus based semantics for WS-BPEL , 2007, J. Log. Algebraic Methods Program..
[39] Ed Brinksma. ISO 8807, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Be , 1988 .
[40] Alain Kerbrat,et al. CADP - A Protocol Validation and Verification Toolbox , 1996, CAV.
[41] Mark Bickford,et al. Formal Specification and Verification of VHDL , 1996, FMCAD.
[42] Mohamed Bakhouya,et al. an affinity-driven clustering approach for service discovery and composition for pervasive computing , 2006, 2006 ACS/IEEE International Conference on Pervasive Services.
[43] Valérie Issarny,et al. COCOA : ConversationBased Service Composition for Pervasive Computing Environments , 2006, 2006 ACS/IEEE International Conference on Pervasive Services.
[44] Sebastián Uchitel,et al. LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.
[45] Kun Yang,et al. Pervasive Service Creation using a Model Driven Petri Net Based Approach , 2008, 2008 International Wireless Communications and Mobile Computing Conference.
[46] S. T. Buckland,et al. An Introduction to the Bootstrap. , 1994 .
[47] Jeremy Gibbons,et al. A Process-Algebraic Approach to Workflow Specification and Refinement , 2007, SC@ETAPS.
[48] Tracy Gardner,et al. UML Modelling of Automated Business Processes with a Mapping to BPEL4WS , 2003 .
[49] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[50] Noel De Palma,et al. Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications , 2001, DAIS.
[51] Wil M. P. van der Aalst,et al. Workflow Patterns , 2004, Distributed and Parallel Databases.
[52] Ning Jing,et al. SRN: an extended Petri-net-based workflow model for Web service composition , 2004 .
[53] Gwen Salaün,et al. Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques , 2012, IEEE Transactions on Software Engineering.
[54] Gwen Salaün,et al. Using Process Algebra for Web Services: Early Results and Perspectives , 2004, TES.
[55] Christian Stefansen,et al. Expressing Workflow Patterns in CCS , 2005 .
[56] Jerry R. Hobbs,et al. DAML-S: Semantic Markup for Web Services , 2001, SWWS.
[57] Wil M. P. van der Aalst,et al. On the Suitability of BPMN for Business Process Modelling , 2006, Business Process Management.
[58] H. Habrias,et al. A Comparison of the Specification Methods , 2000 .
[59] Jan Friso Groote,et al. An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence , 1990, ICALP.
[60] Remco M. Dijkman,et al. Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..