Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus

Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Add to cart
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)
Add to cart

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

© The Institution of Engineering and Technology
Published

Collaboration business processes enable organisations to communicate, interact and cooperate with each other to achieve their business goals. It becomes more and more important to model and analyse collaboration business processes to guarantee their correctness and consistence. Among various formal methods, Petri nets have become one of the major formal methods due to its strong mathematical foundation, rich analysis techniques and graphical representations. Pi calculus, a branch of process algebra, has been proved to be more capable in modelling interactions and mobility. In this paper, we introduce a mapping model between these two formal methods, which integrates the local flow model of Petri nets and the interaction model of Pi calculus to describe collaboration business processes. The state graphs of Petri nets and Pi calculus are combined together to analyse the structure soundness of the unified model. A collaborative reduction tool is developed to support the unified modelling and analysis method.

Inspec keywords: Petri nets; business data processing; pi calculus; groupware

Other keywords: rich analysis techniques; collaboration business process; unified modelling analysis; Pi calculus; local flow model; Petri nets; process algebra; mapping model; formal methods; mathematical foundation; graphical representation

Subjects: Combinatorial mathematics; Formal logic; Business and administrative computing; Groupware

References

    1. 1)
      • J. Baeten , J. Bergstra . Process algebra with propositional signals. Theor. Comput. Sci. , 381 - 405
    2. 2)
      • L. Zhang , Z. Yu . (2005) Web process dynamic stepped extension: Pi-calculus-based model and inference experiments.
    3. 3)
      • Brouwer, W.: `Stable signals and observation in a process specification formalism', 1990, Master's, University of Amsterdam.
    4. 4)
      • Xu, F., Zhang, L.: `Unified modeling and analysis based on petri nets and pi calculus', IEEE and IFIP Int. Symp. on Theoretical Aspects of Software Engineering, 2007, Shanghai, China.
    5. 5)
      • W.M.P. van der Aalst . Inheritance of interorganizational workflows to enable business-to-business. Electron. Comm. Res. , 195 - 231
    6. 6)
      • Workflow Management Coalition: ‘Workflow management coalition terminology & glossary’. wfmc-tc-1011, 1999, http://www.wfmc.org/.
    7. 7)
      • H. Smith , P. Fingar . Workflow is just a pi process. BPTrends , 1 - 5
    8. 8)
      • R. Milner . Pure bigraphs: structure and dynamics. Inf. Comput. , 60 - 122
    9. 9)
      • N.R. Adam , V. Atluri , W.K. Huang . Modeling and analysis of workflows using petri nets. J. Intell. Inf. Syst. , 131 - 158
    10. 10)
      • (2005) Web services choreography description language (ws-cdl), version 1.0.
    11. 11)
      • W. van der Aalst . Pi calculus versus petri nets: let us eat “humble pie” rather than further inflate the “pi hype”. BPTrends , 1 - 11
    12. 12)
      • R. Lucchi , M. Mazzara . A pi-calculus based semantics for WS-BPEL. J. Logic and Algebr. Program. , 96 - 118
    13. 13)
      • Y. Hoffner , H. Ludwig , C. Gulcu , P. Grefen . An architecture for cross-organisational business processes.
    14. 14)
      • Fan, Y., Lai, J.: `An architecture for cross-organization business process integration', Proc. Fifth Int. Conf. on Managing Innovations in Manufacturing, 2002, Milwaukee, Wisconsin, USA, p. 125–134.
    15. 15)
      • Barros, A.P., Dumas, M., Arthur, H.M.: `Service interaction patterns', Third Int. Conf. Business Process Management, 2005, (BPM 2005), 5–8 September 2005, Nancy, France.
    16. 16)
      • W.M.P. van der Aalst , A.H.M. ter Hofstede , M. Weske . Business process management: a survey. Int. Conf. of Bus. Process Manag. , 1 - 12
    17. 17)
      • Yang, D., Sheng Zhang, S.: `Using pi-calculus to formalize uml activity diagram', Tenth IEEE Int. Conf. on Engineering of Computer-Based Systems 2003 (ECBS 2003), p. 47–54.
    18. 18)
      • Chebbi, I., Tata, S.: `Coopflow: a framework for inter-organizational workflow cooperation', Proc. Int. Conf. on Cooperative Information Systems, 2005, Agia Napa, Cyprus, p. 112–129.
    19. 19)
      • (2005) The process modelling group workshop proceedings.
    20. 20)
      • W. van der Aalst . Why workflow is not just a pi-process. BPTrends , 1 - 2
    21. 21)
      • D. Yang , S.S. Zhang . Approach for workflow modeling using pi-calculus. J. Zhejiang Univ. Sci. , 643 - 650
    22. 22)
      • F. Puhlmann , M. Weske , W.M.P. van der Aalst , B. Benatallah , F. Casati , F. Curbera . (2005) Using the pi-calculus for formalizing workflow patterns, Business process management.
    23. 23)
      • Gong, R., Li, Q., Ning, K., Chen, Y., Sullivan, D.: `Business process collaboration using semantic interoperability: review and framework', Asian Semantic Web Conf., 2006, Beijing, China, p. 191–204.
    24. 24)
      • Jensen, O.H., Milner, R.: `Bigraphs and mobile processes (revised)', UCAM-CL-TR-580, University of Cambridge Computer Laboratory, Technical Report, 2004.
    25. 25)
      • V. Valero , M.E. Cambronero , G. Diaz , H. Macia . A petri net approach for the design and analysis of web services choreographies. J. Logic Algebr. Program. , 359 - 380
    26. 26)
      • Y. Lu , L. Zhang , J. Sun . Using colored petri nets to model and analyze workflow with separation of duty constraints. Int. J. Adv. Manuf. Technol. , 179 - 185
    27. 27)
      • M. Dong , F. Chen . Petri net-based workflow modelling and analysis of the integrated manufacturing business processes. International Journal of Advanced Manufacturing Technology , 1163 - 1172
    28. 28)
      • Padget, J., Bradford, R.: `A π-calculus model of a Spanish fish market', Proc. First Int. Workshop on Agent Mediated Electronic Commerce (AMET-98), (Springer 1999), Berlin, p. 166–188, (LNAI, 1571).
    29. 29)
      • T. Mutara . Petri nets: properties, analysis and applications. Proc. IEEE , 541 - 580
    30. 30)
      • Deng, S., Wu, Z., Zhou, M., Li, Y., Wu, J.: `Modeling service compatibility with pi-calculus for choreography', 25thInt. Conf. on Conceptual Modeling, (Springer, 2006), p. 26–39, (LNCS, 4215).
    31. 31)
      • R. Milner . (1999) Communicating and mobile systems: the Pi-calculus.
    32. 32)
      • A. Lapadula , R. Pugliese , F. Tiezzi , P. Ciancarini , H. Wiklicky . (2006) A WSDL-based type system for WS-BPEL, Coordination.
    33. 33)
      • W. van der Aalst . The application of petri nets to workflow management. J. Circuits, Syst. Comput. , 21 - 66
    34. 34)
      • Petri, C.A.: `Kommunikation mit Automaten', 1962, PhD, Institut for Instrumentelle Mathematik.
    35. 35)
      • J.J. Leifer , R. Milner . Transition systems, link graphs and petri nets. Math. Struct. Comput. Sci. , 989 - 1047
    36. 36)
      • J. Bloom , C. Clark . Platform independent petri net editor 2.
    37. 37)
      • (2007) Web services business process execution language (ws-bpel), version 2.0.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-sen.2008.0062
Loading

Related content

content/journals/10.1049/iet-sen.2008.0062
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address