LIP6, Paris (FRANCE)
Inria Grenoble (FRANCE)
CADP (Construction and Analysis of Distributed Processes)
Business processes support the modeling and the implementation of
software as workflows of local and inter-process activities. Such
software can be made executable using process engines or model-to-code
translators. Evolution of software should thus also be dealt at the
business process level. In this context, formal analysis tools can
be useful to compare processes corresponding to different versions
of the software, identify precisely the differences between them, and
ensure the desired consistency.
This work proposes such a tool named VBPMN, which can be used through a Web application. The VBPMN tool works as follows:
The use of LNT was preferred over a direct generation from BPMN to an
LTS as it yields a simpler, higher-level, and more declarative
transformation. Tool support provided by the state-of-the-art and
comprehensive verification toolbox CADP was also an important criteria
for choosing LNT, as it helped a lot to implement VBPMN. This
implementation was made even simpler using the scripting facility
provided by the language SVL. Various experiments show that the
resulting tool is rather efficient as it can handle huge examples
(up to 4.5 million states and 16.5 million transitions) within a
reasonable amount of time (less than 10 minutes for the largest
Pascal Poizat, Gwen Salaün, and Ajay Krishna.
"Checking Business Process Evolution".
Proceedings of the 13th International Conference on Formal Aspects
of Component Software (FACS'16), Besanšon, France. Lecture Notes in
Computer Science volume 10231. Springer, 2017.
Available online at: https://hal.inria.fr/hal-01366641
and from our FTP site in PDF or PostScript
Université Pierre et Marie Curie
4 place Jussieu
75252 Paris Cedex 05
|Further remarks:||This tool, amongst others, is described on the CADP Web Page: http://cadp.inria.fr/software|