Collaboration business processes modeling based on Petri nets and Pi calculus | |
Xu, Fei ; Zhang, Li | |
2010-05-07 ; 2010-05-07 | |
会议名称 | IMECS 2007: International Multiconference of Engineers and Computer Scientists, Vols I and II ; International Multiconference of Engineers and Computer Scientists ; Kowloon, PEOPLES R CHINA ; Web of Science ; INSPEC |
关键词 | Petri nets Pi Calculus workflow collaboration business process Computer Science, Theory & Methods Engineering, Electrical & Electronic |
中文摘要 | The modeling and analyzing of business process(BP) become more and more significant because of the need for process orientation in IT support field, which has been increasing these decades. Among various formal methods, Petri nets were widely applied in workflow management, mainly because of its visible feature based on the rigors graph theory, while another potential candidate, Pi calculus, proved to be more capable in modeling mobility and interaction. But there were no approach to integrate these two formal methods, even this work may be of great significance. In this paper, based on the analysis of both Petri nets and Pi calculus, we will introduce a mapping model between those two formal methods, which integrates the workflow model of Petri nets and the interaction model of Pi calculus in order to describe collaboration business processes(BPs). |
会议录出版者 | INT ASSOC ENGINEERS-IAENG ; HONG KONG ; UNIT1, 1-F, 37-39 HUNG TO ROAD, KWUN TONG, HONG KONG, 00000, PEOPLES R CHINA |
语种 | 英语 ; 英语 |
内容类型 | 会议论文 |
源URL | [http://hdl.handle.net/123456789/17015] ![]() |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | Xu, Fei,Zhang, Li. Collaboration business processes modeling based on Petri nets and Pi calculus[C]. 见:IMECS 2007: International Multiconference of Engineers and Computer Scientists, Vols I and II, International Multiconference of Engineers and Computer Scientists, Kowloon, PEOPLES R CHINA, Web of Science, INSPEC. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论