Abstract | ||
---|---|---|
Business process modeling is an important concern in enterprise. Formal analysis techniques are crucial to detect semantic issues in the corresponding models, or to help with their refactoring and evolution. However, business process development frameworks often fall short when it comes to go beyond simulation or syntactic checking of the models. In this paper, we present our VBPMN verification framework. It features several techniques for the automatic analysis of business processes modeled using BPMN, the de facto standard for business process modeling. As such, it supports a more robust development of business processes. |
Year | Venue | Field |
---|---|---|
2017 | IFM | De facto standard,Model transformation,Programming language,Business process,Computer science,Business process modeling,XPDL,Code refactoring,Process calculus,Business Process Model and Notation |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ajay Krishna | 1 | 2 | 4.10 |
Pascal Poizat | 2 | 535 | 31.30 |
Gwen Salaün | 3 | 988 | 71.03 |