Introduction to Orc (top)

Semantics & Verification (top)

Causality (top)

Applications (top)

Presentations (top)

Student Reports (top)

Other Resources (top)

Publications from the broader Orc community (i.e., not the Orc team at UT Austin) (top)

  • AlTurki, Musab A.; Meseguer, José. Executable Rewriting Logic Semantics of Orc and Formal Analysis of Orc Programs. Journal of Logical and Algebraic Methods in Programming. 2015 Jul; 84(4):505–533. doi:10.1016/j.jlamp.2015.03.003.
  • AlTurki, Musab A.; Alzuhaibi, Omar. Towards Formal Verification of Orchestration Computations Using the K Framework. In: Bjørner, Nikolaj; de Boer, Frank D., eds.. FM 2015: Formal Methods - 20th International Symposium; 2015 Jun 24–26; Oslo, Norway. Springer; 2015. p. 40–56. (Lecture Notes in Computer Science; vol. 9109). doi:10.1007/978-3-319-19249-9_4.
  • Lu, Ruqian. Knorc Calculus and Its Formal Semantics. International Journal of Software and Informatics. 2015; 9(2):205–231.
  • Perrin, Matthieu; Jard, Claude; Mostéfaoui, Achour. Tracking Causal Dependencies in Web Services Orchestrations Defined in Orc. In: Bouajjani, Ahmed; Fauconnier, Hugues, eds.. Networked Systems: Third International Conference, NETYS 2015; 2015 May 13–15; Agadir, Morocco. Springer; 2015. p. 382–396. (Lecture Notes in Computer Science; vol. 9466). doi:10.1007/978-3-319-26850-7_26.
  • You, Zhen; Xue, Jinyun; Hu, Qimin; Hong, Yi. Formal Semantics of Orc Based on TLA+. In: Liu, Shaoying; Duan, Zhenhua, eds.. Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014; 2014 Nov 6; Luxembourg. Springer; 2014. p. 147–163. (Lecture Notes in Computer Science; vol. 8979). doi:10.1007/978-3-319-17404-4_10.
  • Gabarró, Joaquim; Serna, Maria J.; Stewart, Alan. Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles. The Computer Journal. 2014 Nov; 57(11):1591–1615. doi:10.1093/comjnl/bxt063.
  • Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian. Towards Verification of Computation Orchestration. Formal Aspects of Computing. 2014 Jul; 26(4):729–759. doi:10.1007/s00165-013-0280-9.
  • Li, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng. A UTP Semantic Model for Orc Language with Execution Status and Fault Handling. Frontiers of Computer Science. 2014; 8(5):709–725. doi: 10.1007/s11704-014-3385-2.
  • Stewart, Alan; Gabarró, Joaquim; Keenan, Anthony. Reasoning about Orchestrations of Web Services Using Partial Correctness. Formal Aspects of Computing. 2013 Nov; 25(6):833–846. doi:10.1007/s00165-011-0212-5.
  • Nicola, Rocco De; Margheri, Andrea; Tiezzi, Francesco. Orchestrating Tuple-Based Languages. In: Bruni, Roberto; Sassone, Vladimiro, eds.. Trustworthy Global Computing: 6th International Symposium, TGC 2011; 2011 Jun 9–10; Aachen, Germany. Springer; 2011. p. 160–178. (Lecture Notes in Computer Science; vol. 7173). doi:10.1007/978-3-642-30065-3_10.
  • Li, Qin; Zhu, Huibiao; He, Jifeng. A Denotational Semantical Model for Orc Language. In: Cavalcanti, Ana; Déharbe, David; Gaudel, Marie-Claude; Woodcock, Jim, eds.. Theoretical Aspects of Computing - ICTAC 2010: 7th International Colloquium; 2010 Sep 1–3; Natal, Rio Grande do Norte, Brazil. Springer; 2010. p. 106–120. (Lecture Notes in Computer Science; vol. 6255). doi:10.1007/978-3-642-14808-8_8.
  • Vardoulakis, Dimitrios; Wand, Mitchell. A Compositional Trace Semantics for Orc. In: Lea, Doug; Zavattaro, Gianluigi, eds.. Coordination Models and Languages: 10th International Conference, COORDINATION 2008; 2008 Jun 4–6; Oslo, Norway. Springer; 2008. p. 331–346. (Lecture Notes in Computer Science; vol. 5052). doi:10.1007/978-3-540-68265-3_21.
  • AlTurki, Musab; Meseguer, José. Reduction Semantics and Formal Analysis of Orc Programs. Electronic Notes in Theoretical Computer Science. 2008; 200(3):25–41. doi:10.1016/j.entcs.2008.04.091.
  • Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter; Dazzi, Patrizio. From Orc Models To Distributed Grid Java Code. In: Gorlatch, Sergei; Fragopoulou, Paraskevi; Priol, Thierry, eds.. Grid Computing - Achievements and Prospects: CoreGRID Integration Workshop 2008; 2008 Apr 2–4; Hersonissos, Crete, Greece. Springer; 2008. p. 13–24. doi:10.1007/978-0-387-09457-1_2.
  • Proença, José; Clarke, Dave. Coordination Models Orc and Reo Compared. Electronic Notes in Theoretical Computer Science. 2008 Apr; 194(4):57–76. doi:10.1016/j.entcs.2008.03.099.
  • Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter. Adding Metadata to Orc to Support Reasoning About Grid Programs. In: Priol, Thierry; Vanneschi, Marco, eds.. Towards Next Generation Grids: Proceedings of the CoreGRID Symposium 2007; 2007 Aug 27–28; Rennes, France. Springer; 2007. p. 205–214. doi:10.1007/978-0-387-72498-0_19.
  • AlTurki, Musab; Meseguer, José. Real-Time Rewriting Semantics of Orc. In: Leuschel, Michael; Podelski, Andreas, eds.. Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP’07); 2007 Jul 14–16; Wrocław, Poland. ACM; 2007. p. 131–142. doi:10.1145/1273920.1273938.
  • Stewart, Alan; Gabarró, Joaquim; Clint, Maurice; Harmer, Terence J.; Kilpatrick, Peter; Perrott, Ronald H. Managing Grid Computations: An Orc-Based Approach. In: Guo, Minyi; Yang, Laurence Tianruo; Martino, Beniamino Di; Zima, Hans P.; Dongarra, Jack; Tang, Feilong, eds.. Parallel and Distributed Processing and Applications: 4th International Symposium, ISPA 2006; 2006 Dec 4–6; Sorrento, Italy. Springer; 2006. p. 278–291. (Lecture Notes in Computer Science; vol. 4330). doi:10.1007/ 11946441_29.
  • Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian. Verification of Computation Orchestration via Timed Automata. In: Liu, Zhiming; He, Jifeng, eds.. Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006; 2006 Nov 1–3; Macao, China. Springer; 2006. p. 226–245. (Lecture Notes in Computer Science; vol. 4260). doi:10.1007/11901433_13.
  • Bruni, Roberto; Melgratti, Hernán C.; Tuosto, Emilio. Translating Orc Features into Petri Nets and the Join Calculus. In: Bravetti, Mario; Núñez, Manuel; Zavattaro, Gianluigi, eds.. Web Services and Formal Methods: Third International Workshop, WS-FM 2006; 2006 Sep 8–9; Vienna, Austria. Springer; 2006. p. 123–137. (Lecture Notes in Computer Science; vol. 4184). doi:10.1007/11841197_8.

Get Started

Get Involved

Contact Us

Supporting Agencies

This research is supported in part by funding from the National Science Foundation. Any opinions, findings, and conclusions or recommendations expressed on this website are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

Last updated 2016-05-23