Abstract
Today, concurrency is ubiquitous, in desktop applications, client-server systems, workflow systems, transaction processing and web services. Design of concurrent systems, particularly in the presence of communication failures, time-outs and interrupts, is still difficult and error-prone. Theoretical models of concurrency focus on expressive power and simplicity, but do not provide high-level constructs suitable for programming. We have been developing a theory, called Orc (for orchestration), and its practical applications. In this paper, we describe our philosophy in designing Orc. The guiding principle is to structure a concurrent program in a hierarchical manner, and permit interactions among subsystems in a controlled fashion. The interactions are described by value passing; the mode of communication (i.e., whether the value is passed over a channel or kept as shared data, etc.) is left unspecified.
Supported by NSF grant CCF-0811536.
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
Preview
Unable to display preview. Download preview PDF.
References
Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. TOPLAS 26(5), 769–804 (2004)
Box, D., EhneBuske, D., Kakivaya, G., Layman, A., Mendelsohn, N., Nielson, H.F., Thatte, S., Winer, D.: Simple object access protocol 1.1, http://www.w3.org/TR/SOAP
Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language 1.1, http://www.w3.org/TR/wsdl
Main page for World Wide Web Consortium (W3C) XML activity and information (2001), http://www.w3.org/XML/
Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)
Hoare, C.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1984)
Kitchin, D., Powell, E., Misra, J.: Simulation using orchestration. In: Proceedings of AMAST (2008)
Milner, R.: Communication and Concurrency. In: Hoare, C.A.R. (ed.) International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)
Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (May 2006), http://dx.doi.org/10.1007/s10270-006-0012-1
W. site on UDDI, http://www.uddi.org/
Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of orc. Theoretical Computer Science 402(2-3), 234–248 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Cook, W., Misra, J. (2008). Structured Interacting Computations. In: Wirsing, M., Banâtre, JP., Hölzl, M., Rauschmayer, A. (eds) Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science, vol 5380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89437-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-89437-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89436-0
Online ISBN: 978-3-540-89437-7
eBook Packages: Computer ScienceComputer Science (R0)