Abstract
In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.
| Original language | English |
|---|---|
| Pages (from-to) | 212-216 |
| Number of pages | 5 |
| Journal | Journal of Beijing Institute of Technology (English Edition) |
| Volume | 14 |
| Issue number | 2 |
| Publication status | Published - Jun 2005 |
Keywords
- Activity diagram
- Business process modeling
- Petri nets
- Unified modeling language (UML)