Referenced Items are not available for this document.
Executing business workflows on large-scale heterogeneous distributed computing systems is a challenging task. The grid workflow is aimed at enabling resource sharing and coordinated problem-solving between computers and people in a distributed and heterogeneous manner. In this paper, we present a formal specification methodology for grid workflow modeling which is founded upon the Pi-calculus and CTR technology. This method works well for characterizing the behaviors and interactions of the workflow processes that belong to grid environment in terms of the semantics of pi-calculus and CTR methodology. Experimental results show that the proposed method can be used for grid workflow execution and can effectively execution of grid processes automatically.
Published in:
Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on
Date of Conference: 26-28 April 2007
- Page(s):
- 812 - 817
- E-ISBN :
- 1-4244-0963-2
- Print ISBN:
- 1-4244-0963-2
- INSPEC Accession Number:
- 9720127
- Conference Location :
- Melbourne, Vic.
- Digital Object Identifier :
- 10.1109/CSCWD.2007.4281541
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
