Rigorous development of composite grid services-Reference-Cited by-同舟云学术

Rigorous development of composite grid services

Published:2012-07 Issue:4 Volume:35 Page:1304-1316
ISSN:1084-8045
Container-title:Journal of Network and Computer Applications
language:en
Short-container-title:Journal of Network and Computer Applications

Author:

Turner Kenneth J.,Tan Koon Leai Larry

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Computer Science Applications,Hardware and Architecture

Reference39 articles.

1. ActiveBpel Community. ActiveBpel workflow engine 〈http://activebpel502.sourceforge.net〉 December 2011.

2. Arkin A, Askary S, Bloch B, Curbera F, Goland Y, Kartha N, et al. editors. Web services business process execution language. Version 2.0. Organization for the advancement of structured information standards. Billerica, Massachusetts, USA; April 2007.

3. Bozkurt M, Harman M, Hassoun H. Testing Web Services: A Survey. Technical Report TR-10-01: Computer Science, King's College, London; January 2010.

4. BPMI. Business process modeling notation. Version 1.0. Business process management initiative; May 2004.

5. Modal mu-calculi;Bradfield,2007

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources;Computers in Industry;2015-04

2. Workflows for quantitative data analysis in the social sciences;International Journal on Software Tools for Technology Transfer;2014-04-27

3. Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service;The Journal of Supercomputing;2013-08-31