期刊名称：International Journal of Multimedia and Ubiquitous Engineering
印刷版ISSN：1975-0080
出版年度：2015
卷号：10
期号：6
页码：287-300
DOI：10.14257/ijmue.2015.10.6.28
出版社：SERSC
摘要：As the further development of banking business for personalization and diversification, the bank information system is capable of dynamically adjusting business process and has set higher requirements for the flexible mechanism. This paper constructs a model of the business process based on Event-driven Process Chains (EPC), puts forward the concrete specification in the process of construction. A case study was implemented to validate the model using Pi-calculus. The results show that this model can be a powerful tool for the creation of flexible or customized business process.
关键词：Business process modeling; EPC; Construction algorithm; Pi-calculus
