Book Chapter

A Rigorous Methodology for Composing Services

Details

Citation

Turner KJ & Tan KLL (2009) A Rigorous Methodology for Composing Services. In: Alpuente M, Cook B & Joubert C (eds.) Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Lecture Notes in Computer Science (LNCS), Volume 5825. Berlin: Springer, pp. 165-180. https://doi.org/10.1007/978-3-642-04570-7

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 required 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.

Keywords
; Computational grids (Computer systems); Database management; Web services; Service-oriented architecture (Computer systems)

StatusPublished
Title of seriesLecture Notes in Computer Science (LNCS)
Number in seriesVolume 5825
Publication date30/11/2009
URLhttp://hdl.handle.net/1893/2632
PublisherSpringer
Place of publicationBerlin
ISBN978-3-642-04569-1

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science

Files (1)