Skip to main content
Springer Nature Link
Log in

A Tree Semantics of an Orchestration Language

  • Conference paper
Engineering Theories of Software Intensive Systems

Part of the book series: NATO Science Series ((NAII,volume 195))

Abstract

This paper presents a formal semantics of a language, called Orc, which is described in a companion paper[3] in this volume. There are many styles of presentation of programming language semantics. The more operational styles give more concrete guidance to the implementer on how a program should be executed. The more abstract styles are more helpful in proving the correctness of particular programs. The style adopted in this paper is neutral between implementer and programmer. Its main achievement is to permit simple proofs of familiar algebraic identities that hold between programs with different syntactic forms.

Work of this author is partially supported by the National Science Foundation grant CCR-0204323.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Dexter Kozen. On Kleene algebras and closed semirings. In Proceedings, Math. Found. of Comput. Sci., volume 452 of Lecture Notes in Computer Science, pages 26–47. Springer-Verlag, 1990.

    Google Scholar 

  2. Robin Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, May 1999.

    Google Scholar 

  3. Jayadev Misra. Computation orchestration: A basis for wide-area computing. In Manfred Broy, editor, Proc. of the NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems, NATO ASI Series, Marktoberdorf, Germany, 2004.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Microsoft Research Labs, Cambridge, UK

    Tony Hoare

  2. University of Texas, Austin, Texas, 78712, USA

    Galen Menzel & Jayadev Misra

Authors
  1. Tony Hoare
    View author publications

    Search author on:PubMed Google Scholar

  2. Galen Menzel
    View author publications

    Search author on:PubMed Google Scholar

  3. Jayadev Misra
    View author publications

    Search author on:PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität München, Garching, Germany

    Manfred Broy  & Johannes Grünbauer  & 

  2. The Weizmann Institute of Science, Rehovot, Israel

    David Harel

  3. Microsoft Research, Cambridge, UK

    Tony Hoare

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer

About this paper

Cite this paper

Hoare, T., Menzel, G., Misra, J. (2005). A Tree Semantics of an Orchestration Language. In: Broy, M., Grünbauer, J., Harel, D., Hoare, T. (eds) Engineering Theories of Software Intensive Systems. NATO Science Series, vol 195. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3532-2_11

Download citation

  • DOI: https://doi.org/10.1007/1-4020-3532-2_11

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-1-4020-3530-2

  • Online ISBN: 978-1-4020-3532-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics