Abstract | ||
---|---|---|
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). |
Year | Venue | Keywords |
---|---|---|
2007 | Lecture Notes in Engineering and Computer Science | Petri nets,Pi Calculus,workflow,collaboration business process |
Field | DocType | ISSN |
Programming language,Petri net,Business process,Pi calculus,Computer science,Knowledge management,Process architecture,Stochastic Petri net,Artificial intelligence,Machine learning | Conference | 2078-0958 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
2 |