The Analysis Methods About Business Process of E-Commerce Based on the Petri Net

Ouyang, Hong; Fang, Xianwen; Yu, Miao

doi:10.1007/978-3-642-37502-6_67

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2013

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Currently, for business processes and the web service composition, the main reachability analysis methods mainly include reachability graph [3]- [5], Petri Net based [3], [6]- [7], Polychromatic Sets based [8], conditional Picalculus based [9]. However, these studies don't explicit and adequately support the reachability analysis of highly dynamic cross-organizational processes.…”

Section: Introductionmentioning

confidence: 99%

A Reachability Verification Method Based on Pi- Calculus and Role Network Model for Cross- Organizational Business Processes

Xin¹,

Ma²,

Li³

et al. 2013

IJOEE

View full text Add to dashboard Cite

Increasingly more organizations are involved in critical cross-organizational business processes. Reachability analysis is one important way to guarantee the correctness of these processes. This paper proposes a new way of combing Role Network Model (RNM) and Picalculus to support reachability analysis for distributed and highly dyanmic processes. We first formally describe RNM in Pi-calculus. We then propose a reachability verification method based on RNM and μ-calculus for both structured and dynamic business processes. We evaluated our approach using a real-world government administrative permit system in China. The results show that proposed method can analyze and improve the reachability aspects of cross-organizational business processes, especially for dynamic business processes. 

show abstract