A novel modeling methodology for collaborative enterprise processes

Kwangyeol Ryu, Sunhwa Lee, Duckyoung Klm, Young-Jun Son

Research output: Contribution to journalArticle

1 Citation (Scopus)

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 languageEnglish (US)
Pages (from-to)5369-5380
Number of pages12
JournalInternational Journal of Innovative Computing, Information and Control
Volume8
Issue number7 B
StatePublished - Jul 2012

Fingerprint

Process Modeling
Petri nets
Methodology
Modeling
Petri Nets
Industry
Model Verification
Model Transformation
Modeling Method
Demonstrate

Keywords

  • Collaboration
  • Collaborative process modeling (CPM)
  • Model verification
  • Petri-nets (PNs)
  • Process modeling

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Information Systems
  • Software
  • Theoretical Computer Science

Cite this

A novel modeling methodology for collaborative enterprise processes. / Ryu, Kwangyeol; Lee, Sunhwa; Klm, Duckyoung; Son, Young-Jun.

In: International Journal of Innovative Computing, Information and Control, Vol. 8, No. 7 B, 07.2012, p. 5369-5380.

Research output: Contribution to journalArticle

@article{cf6ca1df465a4a0e8aac6b01379aa851,
title = "A novel modeling methodology for collaborative enterprise processes",
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.",
keywords = "Collaboration, Collaborative process modeling (CPM), Model verification, Petri-nets (PNs), Process modeling",
author = "Kwangyeol Ryu and Sunhwa Lee and Duckyoung Klm and Young-Jun Son",
year = "2012",
month = "7",
language = "English (US)",
volume = "8",
pages = "5369--5380",
journal = "International Journal of Innovative Computing, Information and Control",
issn = "1349-4198",
publisher = "IJICIC Editorial Office",
number = "7 B",

}

TY - JOUR

T1 - A novel modeling methodology for collaborative enterprise processes

AU - Ryu, Kwangyeol

AU - Lee, Sunhwa

AU - Klm, Duckyoung

AU - Son, Young-Jun

PY - 2012/7

Y1 - 2012/7

N2 - 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.

AB - 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.

KW - Collaboration

KW - Collaborative process modeling (CPM)

KW - Model verification

KW - Petri-nets (PNs)

KW - Process modeling

UR - http://www.scopus.com/inward/record.url?scp=84862319332&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84862319332&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84862319332

VL - 8

SP - 5369

EP - 5380

JO - International Journal of Innovative Computing, Information and Control

JF - International Journal of Innovative Computing, Information and Control

SN - 1349-4198

IS - 7 B

ER -