A Tool Chain for Lazy Soundness

BPM Demo Session at the 4th Intl. Conference on Business Process Management

Frank Puhlmann

Others  :  http://CEUR-WS.org/Vol-203/paper2.pdf
PID  :  1871

来源: CEUR

【 摘 要 】

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 pi-calculus expressions, and finally use existing -calculus reasoners to decide lazy soundness.