论文信息 - A Tool Chain for Lazy Soundness

A Tool Chain for Lazy Soundness

This paper introduces a prototypic tool chain to investigate the feasibility of deciding lazy soundness for Business Process Diagrams (BPD). We utilize a graphical editor to create BPDs, export them to XML, convert them to formal π-calculus expressions, and finally use existing π-calculus reasoners to decide lazy soundness.

Frank Puhlmann

[1] Omg Available Specification. Business Process Modeling Notation, V1.1 , 2008 .

[2] W.M.P. van der Aalst,et al. YAWL: yet another workflow language (revised version) , 2003 .

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

[4] Frank Puhlmann. Why Do We Actually Need the Pi-Calculus for Business Process Management? , 2006, BIS.

[5] Wil M. P. van der Aalst,et al. Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[6] Aa Twan Basten,et al. In terms of nets : system design with Petri nets and process algebra , 1998 .

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

[8] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[9] Mathias Weske,et al. Towards a Formal Model for Agile Service Discovery and Integration , 2005 .

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

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

[12] Howard Smith,et al. Business Process Management: The Third Wave , 2003 .