Software-Intensive Systems and New Computing Paradigms

Volume 5380 of the series Lecture Notes in Computer Science pp 139-145

Structured Interacting Computations

(A Position Paper)
  • William CookAffiliated withThe University of Texas at Austin
  • , Jayadev MisraAffiliated withThe University of Texas at Austin

* Final gross prices may vary according to local VAT.

Get Access


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.