A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
BProVe: A formal verification framework for business process models
2017
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
Business Process Modelling has acquired increasing relevance in software development. Available notations, such as BPMN, permit to describe activities of complex organisations. On the one hand, this shortens the communication gap between domain experts and IT specialists. On the other hand, this permits to clarify the characteristics of software systems introduced to provide automatic support for such activities. Nevertheless, the lack of formal semantics hinders the automatic verification of
doi:10.1109/ase.2017.8115635
dblp:conf/kbse/CorradiniFP0TV17
fatcat:pfaanpgf6vfj5e64u3f7f3npeq