BProVe a novel verification framework for BPMN 2.0. The analysis is based on a formal operational semantics, implemented using MAUDE, defined for the BPMN 2.0 modelling language, and is provided as...
Tools, Modeling, Process, Modeling Tools
Last Updated on Friday, January 15, 2021 - 10:13 by Fabrizio Fornari