Abstract
The pi-calculus is a model of concurrent computation, which can express communication between correlation processes. It provides a way of constructing systems in a bottom-up manner by composing subsystems, and it also has strict formal semantics. Therefore, pi-calculus is very suitable for designing business processes which are presently becoming more and more complicated. The paper proposes a composition-oriented approach to business process design based on pi-calculus theory and gives the formal definition of business process. It also illustrates the design method by simulating an example of order processing. By this method, a complicated business process can be divided into several independent simple sub-modules, which can greatly reduce the complexity of business process design.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Robin, M.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, New York (1999)
Qiming, C., Meichun, H.: Inter-Enterprise Collaborative Business Process Management. In: Proc. 17th International Conference on Data Engineering, pp. 253–260 (2001)
Nirmit, D., Munindar, P.S.: Protocol-Based Business Process Modeling and Enactment. In: Proceedings of the IEEE International Conference on Web Services, pp. 35–42 (2004)
Andrews, T., et al.: Business Process Execution Language for Web Services, Version 1.1 (2003)
Sycara, K.P., et al.: DAML-S: Web Service Description for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 348–363. Springer, Heidelberg (2002)
Nikunj, P.D., et al.: Toward an Integrated Framework for Modeling Enterprise Processes. Communications of the ACM 47(3), 83–87 (2004)
Kitae, S., Choon, S.L.: A reference system for internet based inter-enterprise electronic commerce. The Journal of Systems and Software 60, 195–209 (2002)
Van der Aalst, W.M.P.: Modeling and analyzing inter-organizational workflows. In: Proc. Int. Conf. Application of Concurrency to System Design, pp. 262–272 (1998)
Förster, M.: Theory of Business Process Modeling: The Pi-Calculus. In: Seminar Process-oriented Information Systems, pp. 1–17 (2003)
Yang, D., Zhang, S.: Using pi-calculus to Formalize UML Activity Diagram. In: Proc. 10th IEEE Int. Conf. Engineering of Computer-Based Systems, pp. 47–54 (2003)
Joachim, P.: An Introduction to the pi-Calculus. In: Handbook of Process Algebra, pp. 479–543. Elsevier, Amsterdam (2001)
Bjorn, V., Faron, M.: The Mobile Workbench - A Tool for the pi-Calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818, pp. 428–440. Springer, Heidelberg (1994)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, J., Wang, H. (2007). A Pi-calculus-Based Business Process Formal Design Method. In: Shen, W., Luo, J., Lin, Z., Barthès, JP.A., Hao, Q. (eds) Computer Supported Cooperative Work in Design III. CSCWD 2006. Lecture Notes in Computer Science, vol 4402. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72863-4_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-72863-4_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72862-7
Online ISBN: 978-3-540-72863-4
eBook Packages: Computer ScienceComputer Science (R0)