Loading...
Loading...

Go to the content (press return)

Reasoning about orchestrations of web services using partial correctness

Author
Stewart, A.; Gabarro, J.; Keenan, A.
Type of activity
Journal article
Journal
Formal aspects of computing
Date of publication
2013-11-01
Volume
25
Number
6
First page
833
Last page
846
DOI
https://doi.org/10.1007/s00165-011-0212-5 Open in new window
Repository
http://hdl.handle.net/2117/23530 Open in new window
URL
http://link.springer.com/article/10.1007/s00165-011-0212-5 Open in new window
Abstract
A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded compu- tation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correct...
Citation
Stewart, A.; Gabarro, J.; Keenan, A. Reasoning about orchestrations of web services using partial correctness. "Formal aspects of computing", 01 Novembre 2013, vol. 25, núm. 6, p. 833-846.
Keywords
World Wide Web – Service – Specification – Orchestration – Orc – Partial correctness – Pre-orders – Fixed-points – Powerdomains
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants