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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
See http://orc.csres.utexas.edu/ for a description of Orc and its related documentation. A book on Orc is under preparation.
- 2.
- 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
Cook, W., Misra, J.: Computation orchestration: a basis for wide-area computing. J. Softw. Syst. Model. 6(1), 83–110 (2007)
Dahl, O.J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming. Academic Press, London (1972)
Dijkstra, E.W.: Guarded commands, nondeterminacy, and the formal derivation of programs. Commun. ACM 8, 453–457 (1975)
Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
Marlow, S. (ed.): Haskell 2010, Language Report (2010). http://www.haskell.org/onlinereport/haskell2010/haskell.html
Goldberg, A., Robson, D.: Smalltalk-80: The Language and its Implementation. Addison-Wesley Longman Publishing Co. Inc., Boston (1983)
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
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)
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)
Meyer, B.: Object-oriented software construction, 2nd edn. Prentice Hall, Upper Saddle River (1997)
Milner, R., Tofte, M., Harper, R.: The Definition of ML. The MIT Press, Cambridge (1990)
Wehrman, I., Kitchin, D., Cook, W., Misra, J.: A timed semantics of Orc. Theoret. Comput. Sci. 402(2–3), 234–248 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)