Orc (lenguaje de programación)

Orc es un lenguaje de programación informática concurrente y no determinista creado por Jayadev Misra en la Universidad de Texas en Austin .

Orc proporciona acceso uniforme a servicios computacionales, incluyendo comunicación distribuida y manipulación de datos, a través de sitios. Mediante cuatro primitivas de concurrencia sencillas, el programador coordina la invocación de sitios para lograr un objetivo, gestionando al mismo tiempo los tiempos de espera, las prioridades y los fallos.

• Sitio web oficial

• Misra, Jayadev (2005). «Orquestación de la computación». En Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (eds.). Teorías de ingeniería de sistemas intensivos en software . Instituto de Estudios Avanzados de la OTAN sobre Teorías de Ingeniería de Sistemas Intensivos en Software. Serie Científica de la OTAN. Vol.  195. Marktoberdorf, Alemania: Springer. pp. 285–330 . doi : 10.1007/1-4020-3532-2_10 . ISBN  978-1-4020-3530-2.
• Hoare, Tony; Menzel, Galen; Misra, Jayadev (2005). «Una semántica de árbol de un lenguaje de orquestación». En Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (eds.). Teorías de ingeniería de sistemas intensivos en software . Instituto de Estudios Avanzados de la OTAN sobre Teorías de Ingeniería de Sistemas Intensivos en Software. Serie Científica de la OTAN. Vol.  195. Marktoberdorf, Alemania: Springer. pp. 331–350 . doi : 10.1007/1-4020-3532-2_11 . ISBN  978-1-4020-3530-2.
• Misra, Jayadev (2004). Un modelo de programación para la orquestación de servicios web . Ingeniería de software y métodos formales. Pekín, China: IEEE. pp. 2–11 . doi : 10.1109/SEFM.2004.1347498 . ISBN  0-7695-2222-X.
• Kitchin, David; Cook, William R.; Misra, Jayadev (2006). Baier, Christel ; Hermanns, Holger (eds.). Un lenguaje para la orquestación de tareas y sus propiedades semánticas . Teoría de la concurrencia. Notas de clase en informática. Vol.  4137. Bonn, Alemania: Springer. pp. 477–491 . doi : 10.1007/11817949_32 . ISBN  978-3-540-37376-6.
• Misra, Jayadev; Cook, William R. (marzo de 2007). "Orquestación de computación: una base para la computación de área amplia". Software & Systems Modeling . 6 (1): 83– 110. doi : 10.1007/s10270-006-0012-1 . ISSN 1619-1366 . S2CID 19295659 .  
• AlTurki, Musab; Meseguer, José (2007). Semántica de reescritura en tiempo real de Orc . Principios y práctica de la programación declarativa. Breslavia, Polonia: ACM. pp. 131–142 . doi : 10.1145/1273920.1273938 . ISBN  978-1-59593-769-8. Consultado el 14 de abril de 2015 .
• Rosario, Sidney; Kitchin, David; Benveniste, Albert; Cook, William; Haar, Stefan; Jard, Claude (2007). Dumas, Marlon; Heckel, Reiko (eds.). Semántica de la estructura de eventos de Orc . Servicios web y métodos formales. Lecture Notes in Computer Science. Vol.  4937. Brisbane, Australia: Springer. pp. 154–168 . doi : 10.1007/978-3-540-79230-7_11 . ISBN  978-3-540-79229-1.
• Wehrman, Ian; Kitchin, David; Cook, William R.; Misra, Jayadev (2006). "Una semántica temporal de Orc" . Theoretical Computer Science . 402 ( 2–3 ): 234–248 . doi : 10.1016/j.tcs.2008.04.037 . ISSN 0304-3975 . 
• Cook, William; Misra, Jayadev (2008). «Computaciones interactivas estructuradas». En Wirsing, Martin; Banâtre, Jean-Pierre; Hölzl, Matthias; Rauschmayer, Axel (eds.). Sistemas intensivos en software y nuevos paradigmas computacionales: desafíos y visiones . Lecture Notes in Computer Science. Vol.  5380. Springer. pp. 139–145 . doi : 10.1007/978-3-540-89437-7_9 . ISBN  978-3-540-89436-0.