Conference Paper (published)
Details
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. Lecture Notes in Computer Science 3731, volume 3731. 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE XVIII), Taipei, Japan, 02.10.2005-05.10.2005. Berlin: Springer Verlag, pp. 473-488. https://doi.org/10.1007/11562436
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 | Published |
---|---|
Title of series | Lecture Notes in Computer Science 3731 |
Number in series | volume 3731 |
Publication date | 31/10/2005 |
URL | http://hdl.handle.net/1893/575 |
Publisher | Springer Verlag |
Place of publication | Berlin |
ISBN | 978-3-540-29189-3 |
Conference | 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE XVIII) |
Conference location | Taipei, Japan |
Dates | – |
People (1)
Emeritus Professor, Computing Science