research-article

Open access

Reasoning about orchestrations of web services using partial correctness

Authors:

Joaquim Gabarro,

Anthony KeenanAuthors Info & Claims

Formal Aspects of Computing, Volume 25, Issue 6

Pages 833 - 846

https://doi.org/10.1007/s00165-011-0212-5

Published: 01 November 2013 Publication History

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 computation 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 correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.

References

References

[1]

Back R-J and von Wright J Refinement calculus: a systematic introduction 1998 New York Springer

[2]

Back R-J Invariant based programming: basic approach and teaching experiences Form Asp Comp 2009 21 3 227-244

Digital Library

[3]

Baresi L, Bianculli D, Ghezzi C, Guinea S, and Spoletini P Validation of web service compositions IET Softw 2007 1 6 219-232

[4]

Dijkstra EW A discipline of programming 1976 Englewood Cliffs Prentice-Hall

Digital Library

[5]

Dong JS, Liu Y, Sun J, Zhang X (2006) Verification of computation orchestration via timed automata. In: Liu Z, He J (eds) Formal methods and software engineering. LNCS, vol 4260, pp 226–245

[6]

Gunter CA, Scott DS (1990) Semantic domains, In: van Leeuvan J (ed) Handbook of theoretical computer science: formal models and semantics. Elsevier. pp 633–674

[7]

Hehner ECR Predicative programming part I Commun ACM 1984 27 2 134-143

Digital Library

[8]

Hehner ECR Predicative programming part II Commun ACM 1984 27 2 144-151

Digital Library

[9]

Hoare CAR An axiomatic basis for computer programming Commun ACM 1969 12 10 576-580

Digital Library

[10]

Hoare CAR (1985) Programs are predicates. In: Hoare CAR, Shepherdson JC (eds) Mathematical logic and programming languages. Prentice-Hall, pp 141–155

[11]

Hoare CAR (1985) Communicating sequential processes. Prentice Hall

[12]

Hoare CAR, He J (1998) Unifying theories of programming. Prentice Hall

[13]

Hoare CAR, Menzel G, and Misra J Broy M A tree semantics of an orchestration language Proc of the NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems 2004 Germany NATO ASI Series Marktoberdorf

[14]

Kitchin D, Cook WR, Misra J (2006) A language for task orchestration and its semantic properties. In: Baier C, Hermanns H (eds) Proc of the international conference on concurrency theory (CONCUR). LNCS, vol 4137, pp 477–491

[15]

Kitchin D, Quark A, Cook W, Misra J (2009) The Orc programming language. Proceedings of FMOODS/FORTE. LNCS, vol 5522, pp 1–25. Springer

[16]

Kitchin D, Powell E, Misra J (2008) Simulation using orchestration. In: Meseguer J, Rou G (eds) Proceedings of the 12th international conference on algebraic methodology and software technology 2008. LNCS, vol 5140, pp 2–15

[17]

Li Q, Zhu H, He J (2010) A denotational semantical model for Orc language. In: Cavalcanti A, Deharbe D, Gaudel M-C, Woodcock J (eds) Theoretical aspects of computing. ICTAC 2010. LNCS, vol 6255, pp 106–120

[18]

Njima NM, Sanders JW (2010) Specification-oriented orchestration. In: Proceedings of the 2010 international conference on communications and mobile computing, vol 01. IEEE, pp 550–554

[19]

Misra J M Broy Computation orchestration: a basis for a wide-area computing Proceedings of the NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems 2004 Germany NATO ASI Series Marktoberdorf

[20]

Misra J and Cook WR Computation orchestration: a basis for wide-area computing J Softw Syst Model 2007 6 1 83-110

[21]

Nelson G A generalization of Dijkstra’s calculus: ACM Trans Program Lang Syst 1989 11 517-561

Digital Library

[22]

Stewart A, Gabarró J, Clint M, Harmer T, Kilpatrick P, Perrott R (2006) Managing grid computations: an Orc-based approach. In: Guo M et al (eds) Parallel and distributed processing and applications (ISPA 2006). LNCS, vol 4330, pp 278–291

[23]

Vardoulakis D, Wand M (2008) A compositional trace semantics for Orc. In: Coordination models and languages. LNCS, vol 5052. Springer, pp 331–346

[24]

Wehrman I, Kitchin D, Cook WR, and Misra J A timed semantics of Orc Theor Comput Sci 2008 402 234-248

Digital Library

Cited By

Gabarro JStewart A(2021)Modelling web-service uncertainty: The angel/daemon approachComputer Science Review10.1016/j.cosrev.2020.10035539(100355)Online publication date: Feb-2021
https://doi.org/10.1016/j.cosrev.2020.100355
Gabarro JLeon-Gaixas SSerna M(2017)The computational complexity of QoS measures for orchestrationsJournal of Combinatorial Optimization10.1007/s10878-017-0146-934:4(1265-1301)Online publication date: 1-Nov-2017
https://dl.acm.org/doi/10.1007/s10878-017-0146-9
Castro JGabarro JSerna MStewart A(2015)The Robustness of Periodic Orchestrations in Uncertain Evolving EnvironmentsSymbolic and Quantitative Approaches to Reasoning with Uncertainty10.1007/978-3-319-20807-7_12(129-140)Online publication date: 12-Jul-2015
https://doi.org/10.1007/978-3-319-20807-7_12

Index Terms

Reasoning about orchestrations of web services using partial correctness

Index terms have been assigned to the content through auto-classification.

Recommendations

Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution
ECSA '08: Proceedings of the 2nd European conference on Software Architecture

Services Oriented Architectures preach loosely-coupled services and high---level composition mechanisms, using for example Web Services to define services and Orchestrations to compose them. But orchestration evolutions imply modification at source code ...
JOLIE: a Java Orchestration Language Interpreter Engine

Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalities by exhibiting their interfaces and that can be invoked by exploiting ...
Collaboration patterns in the SOA ecosystem
BM-FA '11: Proceedings of the Third Workshop on Behavioural Modelling

In this paper, we argue that orchestration and choreography are not two independent patterns, but they go together addressing two parts of the same thing known as a service composition. Particularly, when a service-conductor engages another service in ...

Comments

Information & Contributors

Information

Published In

cover image Formal Aspects of Computing

Formal Aspects of Computing Volume 25, Issue 6

Nov 2013

179 pages

ISSN:0934-5043

EISSN:1433-299X

Issue’s Table of Contents

© British Computer Society 2011.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 November 2013

Accepted: 10 October 2011

Revision received: 16 August 2011

Received: 20 November 2009

Published in FAC Volume 25, Issue 6

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
76
Total Downloads

Downloads (Last 12 months)48
Downloads (Last 6 weeks)5

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gabarro JStewart A(2021)Modelling web-service uncertainty: The angel/daemon approachComputer Science Review10.1016/j.cosrev.2020.10035539(100355)Online publication date: Feb-2021
https://doi.org/10.1016/j.cosrev.2020.100355
Gabarro JLeon-Gaixas SSerna M(2017)The computational complexity of QoS measures for orchestrationsJournal of Combinatorial Optimization10.1007/s10878-017-0146-934:4(1265-1301)Online publication date: 1-Nov-2017
https://dl.acm.org/doi/10.1007/s10878-017-0146-9
Castro JGabarro JSerna MStewart A(2015)The Robustness of Periodic Orchestrations in Uncertain Evolving EnvironmentsSymbolic and Quantitative Approaches to Reasoning with Uncertainty10.1007/978-3-319-20807-7_12(129-140)Online publication date: 12-Jul-2015
https://doi.org/10.1007/978-3-319-20807-7_12

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents