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...
Modeling Tools, Tools, Process, Modeling
Last Updated on Wednesday, October 11, 2017 - 08:30 by Fabrizio Fornari
