Comparing and evaluating Petri net semantics for BPEL
暂无分享,去创建一个
Chun Ouyang | Niels Lohmann | Christian Stahl | Eric Verbeek | C. Ouyang | Niels Lohmann | C. Stahl | Eric Verbeek
[1] Wil M.P. van der Aalst,et al. Genetic Process Mining , 2005, ICATPN.
[2] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .
[3] Manuel Mazzara,et al. A pi-calculus based semantics for WS-BPEL , 2007, J. Log. Algebraic Methods Program..
[4] Niels Lohmann,et al. Analyzing interacting WS-BPEL processes using flexible model generation , 2008, Data Knowl. Eng..
[5] Boudewijn F. van Dongen,et al. The ProM Framework: A New Era in Process Mining Tool Support , 2005, ICATPN.
[6] Niels Lohmann,et al. Operating Guidelines for Finite-State Services , 2007, ICATPN.
[7] Karsten Wolf. Controllability of Open Workflow Nets , 2005, EMISA.
[8] Karsten Schmidt. LoLA: a low level analyser , 2000 .
[9] Wil M. P. van der Aalst,et al. Applications and Theory of Petri Nets , 1983, Informatik-Fachberichte.
[10] Flemming Nielson,et al. Principles of Program Analysis , 1999, Springer Berlin Heidelberg.
[11] Xiang Fu,et al. WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.
[12] Boudewijn F. van Dongen,et al. Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..
[13] Kees M. van Hee,et al. Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.
[14] Wolfgang Reisig,et al. Analyzing BPEL4Chor: Verification and Participant Synthesis , 2007, WS-FM.
[15] Niels Lohmann,et al. Analyzing Interacting BPEL Processes , 2006, Business Process Management.
[16] Wil M. P. van der Aalst,et al. WofBPEL: A Tool for Automated Analysis of BPEL Processes , 2005, ICSOC.
[17] Jacques Vautherin,et al. Parallel systems specitications with coloured Petri nets and algebraic specifications , 1986, European Workshop on Applications and Theory of Petri Nets.
[18] Fabio Casati,et al. Business Process Management: 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings (Lecture Notes in Computer Science) , 2005 .
[19] Rüdiger Valk,et al. Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .
[20] J. B. Ward. Principles of programming , 1956, Electrical Engineering.
[21] Dragos Manolescu,et al. Production workflow: concepts and techniques , 2001, SOEN.
[22] Wil M. P. van der Aalst,et al. Bridging The Gap Between Business Models And Workflow Specifications , 2004, Int. J. Cooperative Inf. Syst..
[23] Francesco Tiezzi,et al. A Formal Account of WS-BPEL , 2008, COORDINATION.
[24] DumasMarlon,et al. Formal semantics and analysis of control flow in WS-BPEL , 2007 .
[25] Tony Andrews. Business Process Execution Language for Web Services Version 1.1 , 2003 .
[26] Vladimiro Sassone,et al. Petri Nets and Other Models of Concurrency , 1996, Petri Nets.
[27] Axel Martens,et al. Analyzing Web Service Based Business Processes , 2005, FASE.
[28] Karsten Wolf,et al. Transforming BPEL to Petri Nets , 2005, Business Process Management.
[29] Wil M. P. van der Aalst,et al. Diagnosing Workflow Processes using Woflan , 2001, Comput. J..
[30] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[31] James L. Peterson,et al. Petri Nets , 1977, CSUR.
[32] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[33] Wil M. P. van der Aalst,et al. WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL , 2006, OTM Conferences.
[34] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[35] Wil M. P. van der Aalst,et al. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants , 2007, Comput. J..
[36] David Spieler,et al. Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis , 2009, WS-FM.
[37] Wolfgang Reisig,et al. An Operating Guideline Approach to the SOA , 2005 .
[38] Niels Lohmann,et al. A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 , 2007, WS-FM.
[39] Wil M. P. van der Aalst,et al. Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..
[40] Dirk Fahland. Complete Abstract Operational Semantics for the Web Service Business Process Execution Language , 2005 .
[41] Karsten Wolf,et al. Does My Service Have Partners? , 2009, Trans. Petri Nets Other Model. Concurr..