A Denotational Semantical Model for Orc Language

  • Qin Li
  • Huibiao Zhu
  • Jifeng He
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6255)

Abstract

Orc language is a concurrency calculus proposed to study the orchestration patterns in wide area computing. Its special properties such as high concurrency and asynchronism makes it a brilliant subject to study the distributed service oriented systems. This paper proposes a denotational semantical model for Orc language. Every Orc program is formalized to a predicate. Healthiness conditions are provided to make the program domain corresponding to a specific subset of predicate domain. This model gives the same semantical interpretation to the implementations and specifications. With the refinement principle, we are able to determine whether a program satisfies its specification, which can be illustrated by theorem provers.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alonso, G., Kuno, H., Casati, F., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2003)Google Scholar
  2. 2.
    AlTurki, M., Meseguer, J.: Real-time rewriting semantics of orc. In: Proc. PPDP 2007: 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 2007, pp. 131–142. ACM, New York (2007)Google Scholar
  3. 3.
    AlTurki, M., Meseguer, J.: Reduction semantics and formal analysis of orc programs. Electronic Notes in Theoretical Computer Science 200(3), 25–41 (2008)CrossRefGoogle Scholar
  4. 4.
    Cook, W.R., Patwardhan, S., Misra, J.: Workflow patterns in orc. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 82–96. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice Hall PTR, Englewood Cliffs (2005)Google Scholar
  6. 6.
    He, J.: Service refinement. Science in China Series F: Information Sciences 51(6), 661–682 (2008)MATHCrossRefGoogle Scholar
  7. 7.
    Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)Google Scholar
  8. 8.
    Hoare, T.: A tree semantics of an orchestration language. In: Proc. NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems. NATO ASI Series (2004)Google Scholar
  9. 9.
    Kitchin, D., Cook, W.R., Misra, J.: A language for task orchestration and its semantic properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477–491. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Kitchin, D., Quark, A., Cook, W.R., Misra, J.: The orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 1–25. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Misra, J., Cook, W.R.: Computation orchestration. Software and System Modeling 6(1), 83–110 (2007)CrossRefGoogle Scholar
  12. 12.
    Orc Language Project. Orc Program Language Demo. http://orc.csres.utexas.edu/tryorc.shtml
  13. 13.
    Vardoulakis, D., Wand, M.: A compositional trace semantics for orc. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 331–346. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  14. 14.
    Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: Properties of the timed operational and denotational semantics of orc. Technical report, Department of Computer Science, The University of Texas, Austin (December 2007)Google Scholar
  15. 15.
    Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of orc. Theoretical Computer Science 402(2-3), 234–248 (2008)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Qin Li
    • 1
  • Huibiao Zhu
    • 1
  • Jifeng He
    • 1
  1. 1.Software Engineering InstituteEast China Normal UniversityShanghaiChina

Personalised recommendations