CLC number: TP311.5
On-line Access: 2024-08-27
Received: 2023-10-17
Revision Accepted: 2024-05-08
Crosschecked: 0000-00-00
Cited: 11
Clicked: 5142
YANG Dong, ZHANG Shen-sheng. Approach for workflow modeling using π-calculus[J]. Journal of Zhejiang University Science A, 2003, 4(6): 643-650.
@article{title="Approach for workflow modeling using π-calculus",
author="YANG Dong, ZHANG Shen-sheng",
journal="Journal of Zhejiang University Science A",
volume="4",
number="6",
pages="643-650",
year="2003",
publisher="Zhejiang University Press & Springer",
doi="10.1631/jzus.2003.0643"
}
%0 Journal Article
%T Approach for workflow modeling using π-calculus
%A YANG Dong
%A ZHANG Shen-sheng
%J Journal of Zhejiang University SCIENCE A
%V 4
%N 6
%P 643-650
%@ 1869-1951
%D 2003
%I Zhejiang University Press & Springer
%DOI 10.1631/jzus.2003.0643
TY - JOUR
T1 - Approach for workflow modeling using π-calculus
A1 - YANG Dong
A1 - ZHANG Shen-sheng
J0 - Journal of Zhejiang University Science A
VL - 4
IS - 6
SP - 643
EP - 650
%@ 1869-1951
Y1 - 2003
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/jzus.2003.0643
Abstract: As a variant of process algebra, π;-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π;-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π;-calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock-free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π;-calculus, thus facilitating the optimization of business processes.
[1]Alonso, G.and Mohan, C., 1997.Workflow Management: The Next Generation of Distributed Processing Tools.In: S.Jajodia, L.Kerschberg (Eds.), Advanced Transaction Models and Architectures, Kluwer Academic Publishers.
[2]Bandinelli, S., Fuggetta, A.and Ghezzi, C., 1993.Software process model evolution in the SPADE environment.IEEE Transactions on Software Engineering, 19(12):1128-1144.
[3]Bandinelli, S., Fuggetta, A., Ghezzi, C.and Lavazza, L., 1994.SPADE: An Environment for Software Process Analysis, Design, and Enactmen.In: Finkelstein, A., Kramer, J., Nuseibeh, B., editors.Software Process Modelling and Technology.John Wiley & Sons, London,England, p.223-244.
[4]Bradfield, C.and Stirling, C., 2001.Modal Logics and Mu-calculi: An Introduction.In: Bergstra, A., Ponse, A., Smolka, S.A., editors, Handbook of Process Algebra.Elsevier Science, p.293-330.
[5]Casati, F., Grefen, P.and Sanchez, G.,1997.WIDE - A Distributed Architecture for Workflow Management.In: Proceedings 7th International Workshop on Research Issues in Data Engineering,Birmingham,England, P.76-79.
[6]Ellis, C.and Nutt, G., 1993.Modeling and Enactment of Workflow Systems.In: M.Ajmone Marsan, editor, Application and Theory of Petri Nets (LNCS691), Springer-Verlag, Berlin, Heidelberg, p.1-16.
[7]Kappel, G., Rausch-Schott, S.and Retschitzegger, W., 1998.Coordination in Workflow Management Systems - A Rule-based Approach.In: Conen, W., Neumann, G., editors, Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents (LNCS 1364), Springer, Berlin, Heidelberg, p.99-120.
[8]Krishnakumar, N.and Sheth, A., 1995.Managing heterogeneous multi-system tasks to support enterprise-wide operations.Distributed and Parallel Databases, 3(2).p.155-186.
[9]Lawrence, P.(editor), 1997.Workflow Handbook 1997.John Wiley and Sons, New York.
[10]Milner, R., 1989.Communication and Concurrency.Prentice Hall, New York.
[11]Milner, R., Parrow, J.and Walker, D., 1992.A calculus for mobile processes, parts I and II.Journal of Information and Computation, 100:1-77.
[12]Milner,R., 1999.Communicating and Mobile Systems: the π-Calculus.Cambridge University Press.
[13]Van der Aalst, W.M.P., 1996.Petri-net-based Workflow Management Software.In: A.Sheth, editor, Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, Athens, Georgia, p.114-118.
[14]Van der Aalst, W.M.P., 1998. The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21-66.
[15]Victor, B. and Moller, F.,1994. The Mobility Workbench-A Tool for the π-calculus.In: Dill, D., ed., Proceedings of the Conference on Computer-Aided Verification (CAV'94)(LNCS818), Springer-Verlag, Berlin, Heidelberg, p.428-440.
[16]Zhang, S.S., 1996. From CIMS to dynamic alliance. China Mechanical Engineering, 7(3): 17-22.
Open peer comments: Debate/Discuss/Question/Opinion
<1>