Rigorous development of composite grid services

Authors:
Kenneth J. Turner;Koon Leai Larry Tan
Affiliations:
Computing Science and Mathematics, University of Stirling, Stirling FK9 4LA, UK;Computing Science and Mathematics, University of Stirling, Stirling FK9 4LA, UK
Venue:
Journal of Network and Computer Applications
Year:
2012

Citing 11
Cited 1

Web Services: Been There, Done That?

IEEE Intelligent Systems
Test Case Derivation from LOTOS Specifications

FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web
Web services: a process algebra approach

Proceedings of the 2nd international conference on Service oriented computing
JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring

VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development

WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
Taverna: a tool for the composition and enactment of bioinformatics workflows

Bioinformatics
Validating feature-based specifications: Research Articles

Software—Practice & Experience
Specifying and Verifying Web Transactions

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Model-driven development with the jABC

HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Formalising web services

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service

The Journal of Supercomputing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Cress (Communication Representation Employing Systematic Specification) is introduced as notation, a methodology and a toolset for service development. The article focuses on rigorous development of composite grid services, with particular emphasis on the principles behind the methodology. A straightforward graphical notation is used to describe grid services. These are then automatically specified, analysed and implemented. Analysis includes formal verification of desirable service properties, formal validation of test scenarios, testing of implementation functionality, and evaluation of implementation performance. The case study that illustrates the approach is document content analysis to compare two pieces of text. This involves two composite services supported by two partner services. The usability of the service design notation is assessed, and a comparison is made of the approach with similar ones. These show that the Cress approach to developing services is usable and more complete than other comparable approaches.