A Tool Chain for Lazy Soundness

7th International Beech Symposium – Improvement and Silviculture of Beech

Frank Puhlmann

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

来源: 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.