Abstract
This paper proposes an extended collaborative process modeling (exCPM), underpinned, by the concepts of tokens in Petri Nets (PNs) and ICOM in IDEFO. exCPM allows us to represent collaborative processes in a more comprehensive manner than CPM. In addition, it provides a systematic model verification procedure by model transformation into PNs. In this paper, we first analyze pros and cons of currently available process modeling methods. We then discuss details of the proposed exCPM, and demonstrate its modeling and verification capabilities with case studies.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 5369-5380 |
| Number of pages | 12 |
| Journal | International Journal of Innovative Computing, Information and Control |
| Volume | 8 |
| Issue number | 7 B |
| State | Published - Jul 2012 |
Keywords
- Collaboration
- Collaborative process modeling (CPM)
- Model verification
- Petri-nets (PNs)
- Process modeling
ASJC Scopus subject areas
- Software
- Theoretical Computer Science
- Information Systems
- Computational Theory and Mathematics