Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Reasoning about orchestrations of web services using partial correctness

Autor
Stewart, A.; Gabarro, J.; Keenan, A.
Tipus d'activitat
Article en revista
Revista
Formal aspects of computing
Data de publicació
2013-11-01
Volum
25
Número
6
Pàgina inicial
833
Pàgina final
846
DOI
https://doi.org/10.1007/s00165-011-0212-5 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/23530 Obrir en finestra nova
URL
http://link.springer.com/article/10.1007/s00165-011-0212-5 Obrir en finestra nova
Resum
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...
Citació
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.
Paraules clau
World Wide Web – Service – Specification – Orchestration – Orc – Partial correctness – Pre-orders – Fixed-points – Powerdomains
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants