Advanced Branching and Synchronization Patterns Description Using Pi-Calculus

Author:

Yao, Shaowen

Place:

Hershey, PA

Publisher:

IGI Global

Date published:

2012

Responsibility:

Xue, Gang, jt. author

Yu, Kui, jt. author

Editor:

Lu, Zhongyu (Joan)

Journal Title:

Design, Performance, and Analysis of Innovative Information Retrieval

Source:

Design, Performance, and Analysis of Innovative Information Retrieval

Abstract:

Workflow patterns contain basic features of business process. Advanced branching and synchronization patterns present a series of patterns, which characterize more complex branching and merging concepts which arise in business processes. Pi-calculus can be applied in business process modeling. In this chapter, this kind of workflow patterns is investigated using Pi-calculus.

Series:

Advances in Data Mining and Database Management

Catagory URL:

http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-19…

DOI:

https://library.au.int/10.4018/978-1-4666-1975-3.ch028

CITATION: Yao, Shaowen. Advanced Branching and Synchronization Patterns Description Using Pi-Calculus edited by Lu, Zhongyu (Joan) . Hershey, PA : IGI Global , 2012. Design, Performance, and Analysis of Innovative Information Retrieval - Available at: https://library.au.int/advanced-branching-and-synchronization-patterns-description-using-pi-calculus