A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Visual Specification Language and Automatic Checking of Business Process
2014
International Workshop on Verification and Evaluation of Computer and Communication Systems
In this work we propose a visual language for specifying behavioral properties of business processes (BP). We use Business process modeling notation (BPMN) to modelize BP, Petri Net as underlying formal foundations, and SPIN model checker to validate the dynamic behaviors of this process. The objective of this paper is to propose graphical property specification language which can be used during the design phase of BP. The proposed visual language uses the same concepts as established in BPMN
dblp:conf/vecos/HichamiABM14
fatcat:kxtyqxszdjfp5c2zyjuzmecqsu