Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Orchestration

  • Conference paper
  • First Online:
Formal Aspects of Component Software (FACS 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8348))

Included in the following conference series:

  • 489 Accesses

Abstract

In this position paper we argue that: (1) large programs should be composed out of components, which are possibly heterogeneous (i.e., written in a variety of languages and implemented on a variety of platforms), (2) the system merely orchestrates the executions of its components in some fashion but does not analyze or exploit their internal structures, and (3) the theory of orchestration constitutes the essential ingredient in a study of programming.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    See http://orc.csres.utexas.edu/ for a description of Orc and its related documentation. A book on Orc is under preparation.

  2. 2.

    Dijkstra did not explicitly include function or procedure definition. This was not essential for his illustrative examples. In his later work, he proposed non-deterministic selection using guarded commands [3, 4] as a construct, though concurrency was not an explicit concern.

  3. 3.

    This terminology is a relic of our earlier work in which web services were the only components. We use “site” more generally today for any component.

References

  1. Cook, W., Misra, J.: Computation orchestration: a basis for wide-area computing. J. Softw. Syst. Model. 6(1), 83–110 (2007)

    Article  Google Scholar 

  2. Dahl, O.J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming. Academic Press, London (1972)

    MATH  Google Scholar 

  3. Dijkstra, E.W.: Guarded commands, nondeterminacy, and the formal derivation of programs. Commun. ACM 8, 453–457 (1975)

    Article  MathSciNet  Google Scholar 

  4. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)

    MATH  Google Scholar 

  5. Marlow, S. (ed.): Haskell 2010, Language Report (2010). http://www.haskell.org/onlinereport/haskell2010/haskell.html

  6. Goldberg, A., Robson, D.: Smalltalk-80: The Language and its Implementation. Addison-Wesley Longman Publishing Co. Inc., Boston (1983)

    MATH  Google Scholar 

  7. Hoare, T., Menzel, G., Misra, J.: A tree semantics of an orchestration language. In: Broy, M. (ed.) Proceedings of the NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems. NATO ASI Series, Marktoberdorf, Germany (2004). http://www.cs.utexas.edu/users/psp/Semantics.Orc.pdf

  8. Kitchin, D., Quark, A., Cook, W., Misra, J.: The Orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS/FORTE 2009. LNCS, vol. 5522, pp. 1–25. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  9. Kitchin, D., Quark, A., Misra, J.: Quicksort: combining concurrency, recursion, and mutable data structures. In: Roscoe, A.W., Jones, C.B., Wood, K. (eds.) Reflections on the Work of C.A.R. Hoare, History of Computing. Springer (2010) (Written in honor of Sir Tony Hoare’s 75th birthday)

    Google Scholar 

  10. Meyer, B.: Object-oriented software construction, 2nd edn. Prentice Hall, Upper Saddle River (1997)

    MATH  Google Scholar 

  11. Milner, R., Tofte, M., Harper, R.: The Definition of ML. The MIT Press, Cambridge (1990)

    Google Scholar 

  12. Wehrman, I., Kitchin, D., Cook, W., Misra, J.: A timed semantics of Orc. Theoret. Comput. Sci. 402(2–3), 234–248 (2008)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The University of Texas at Austin, Austin, USA

    Jayadev Misra

Authors
  1. Jayadev Misra
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jayadev Misra .

Editor information

Editors and Affiliations

  1. Royal Holloway University of London, Egham, United Kingdom

    José Luiz Fiadeiro

  2. Birmingham City University, Birmingham, United Kingdom

    Zhiming Liu

  3. Jiangxi Normal University, Lab. High-Performance Computing, Nanchang, China

    Jinyun Xue

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Misra, J. (2014). Orchestration. In: Fiadeiro, J., Liu, Z., Xue, J. (eds) Formal Aspects of Component Software. FACS 2013. Lecture Notes in Computer Science(), vol 8348. Springer, Cham. https://doi.org/10.1007/978-3-319-07602-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-07602-7_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-07601-0

  • Online ISBN: 978-3-319-07602-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation