Image may be NSFW.
Clik here to view.
Clik here to view.
Date Updated:
Wed, 2019-09-04 11:42
Date Created:
Wed, 2017-10-11 03:53
Submitted by:
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 a freely accessible service that uses open standard formats as input data. Furthermore a plug-in for the Eclipse platform has been developed making available a tool chain supporting users in modelling and visualising, in a friendly manner, the results of the verification.
