Business Process Specification and Analysis

[1]  Frank Puhlmann,et al.  Soundness Verification of Business Processes Specified in the Pi-Calculus , 2007, OTM Conferences.

[2]  Mathias Weske,et al.  Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.

[3]  Cosimo Laneve,et al.  Foundations of Web Transactions , 2005, FoSSaCS.

[4]  Uwe Nestmann.  Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi , 2006, CONCUR.

[5]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[6]  Maria E. Orlowska,et al.  Pockets of Flexibility in Workflow Specification , 2001, ER.

[7]  Ekkart Kindler,et al.  On the Semantics of EPCs: A Framework for Resolving the Vicious Circle , 2004, Business Process Management.

[8]  Wil M. P. van der Aalst,et al.  Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change , 2001, Inf. Syst. Frontiers.

[9]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[10]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[11]  Mathias Weske,et al.  Interaction Soundness for Service Orchestrations , 2006, ICSOC.

[12]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[13]  Mathias Weske,et al.  Investigations on Soundness Regarding Lazy Activities , 2006, Business Process Management.

[14]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[15]  Frank Puhlmann.  A Tool Chain for Lazy Soundness , 2006, BPM Demos.