If you want to receive your results by mail, enter your address here: [*] Privacy: no address is kept beyond the verification run.
This interface offers the verification of business processes (workflows and collaborations).
It supports several properties (safety, soundness...), seven communication semantics plus ad-hoc communication semantics. It is built upon fbpmn where documentation is available.
Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. In: 17th International Conference on Business Process Management (BPM), Springer, 2019.
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec. A Modular Framework for Verifying Versatile Distributed Systems. Journal of Logical and Algebraic Methods in Programming, Elsevier, 108:24--46, nov 2019
The Docker image is a fully autonomous deployment of the web site. When using the Docker image, everything is run on your computer, you don't even need an Internet connection.
docker load --input fbpmn.tar
docker run -it -p 8000:80 fbpmn
(Depending your system, the docker command requires being root or using
Examples are available on the fbpmn repository (src subdirectory for the BPMN files).