Name
Abstract | ||
|---|---|---|
In industry, many business processes are modelled and stored in En- terprise Information Systems (EIS). Tools supporting the verification and vali- dation of business processes can help to improve the quality of these business processes. However, existing tools can not directly be applied to models used in industry. In this paper, we present our approach for model verification and validation: translating industrial models to Petri nets and mCRL2, and subsequently apply- ing existing tools on the models derived from the initial industrial models. The following translations are described: BPMN models to Petri nets and Petri nets to mCRL2. It is shown what the analysis on the derived models can reveal about the original models. |
Year | Venue | Keywords |
|---|---|---|
2007 | MSVVEIS | business process,petri net,information system |
Field | DocType | Citations |
Petri net,Business process,Systems engineering,Verification and validation,Computer science,Enterprise information system,XPDL,Business Process Model and Notation | Conference | 34 |
PageRank | References | Authors |
1.41 | 10 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ivo Raedts | 1 | 35 | 1.86 |
| Marija Petkovic | 2 | 34 | 1.41 |
| Yaroslav S. Usenko | 3 | 125 | 10.75 |
| Jan Martijn E. M. Van Der Werf | 4 | 313 | 16.29 |
| Jan Friso Groote | 5 | 1626 | 154.19 |
| Lou J. Somers | 6 | 65 | 5.87 |