Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Author(s): Turner, Kenneth J
Contact Email:
Title: Formalising Web Services
Editor(s): Wang, F
Citation: Turner KJ (2005) Formalising Web Services In: Wang F (ed.) Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings, Berlin: Springer Verlag. 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE XVIII), 2.10.2005 - 5.10.2005, Taipei, Japan, pp. 473-488.
Issue Date: Oct-2005
Series/Report no.: Lecture Notes in Computer Science 3731, volume 3731
Conference Name: 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE XVIII)
Conference Dates: 2005-10-02T00:00:00Z
Conference Location: Taipei, Japan
Abstract: Despite the popularity of web services, creating them manually is an intricate task. Composite web services are defined using the evolving standard for BPEL (Business Process Execution Logic). It is explained how CRESS (Chisel Representation Employing Systematic Specification) has been extended to meet the challenge of graphically and formally describing web services. Sample CRESS descriptions are presented of web services. These are automatically translated into LOTOS, permitting rigorous analysis and automated validation.
Status: Post-print (author final draft post-refereeing)
Rights: Published by Springer Verlag. The original publication is available at

Files in This Item:
File Description SizeFormat 
form-web.pdf113.57 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.