A Rigorous Methodology for Composing Services

Authors:
Kenneth J. Turner;Koon Leai Tan
Affiliations:
Computing Science and Mathematics, University of Stirling, Stirling, UK FK9 4LA;Computing Science and Mathematics, University of Stirling, Stirling, UK FK9 4LA
Venue:
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Year:
2009

Citing 9
Cited 1

Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering
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
Test generation for radiotherapy accelerators

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
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

Rigorous development of prompting dialogues

Journal of Biomedical Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

Creating new services through composition of existing ones is an attractive option. However, composition can be complex and service compatibility needs to be checked. A rigorous and industrially-usable methodology is therefore desirable for creating, verifying, implementing and validating composed services. An explanation is given of the approach taken by Cress (Communication Representation Employing Systematic Specification). Formal verification and validation are performed through automated translation to Lotos (Language Of Temporal Ordering Specification). Implementation and validation are performed through automated translation to Bpel (Business Process Execution Logic) and WSDL (Web Services Description Language). The approach is illustrated with an application to grid service composition in e-Social Science.