Orc (langage de programmation) - Orc (programming language)

Orque
Logo du langage de programmation Orc.png
Paradigme concurrent , non déterministe
Conçu par Jayadev Misra
Développeur Jayadev Misra , William R. Cook , David Kitchin, Adrian Quark, John Thywissen, Arthur Peters et d'autres
Première apparition 2004
Licence Nouvelle licence BSD
Site Internet orc .csres .utexas .edu
Influencé par
Haskell , ML , Oz , Smalltalk , Pict

Orc est un langage de programmation informatique concurrent et non déterministe créé par Jayadev Misra à l' Université du Texas à Austin .

Orc fournit un accès uniforme aux services informatiques, y compris la communication distribuée et la manipulation de données, via des sites. À l'aide de quatre primitives de simultanéité simples, le programmeur orchestre l'appel de sites pour atteindre un objectif, tout en gérant les délais d'attente, les priorités et les échecs.

Liens externes

Bibliographie

  • Misra, Jayadev (2005). "Orchestration de calcul". Dans Broy, Manfred ; Grünbauer, Johannes; Harel, David ; Hoare, Tony (éd.). Théories d'ingénierie des systèmes intensifs en logiciels . Institut d'études avancées de l'OTAN sur les théories de l'ingénierie des systèmes à forte intensité logicielle. Série scientifique de l'OTAN. 195 . Marktoberdorf, Allemagne : Springer. p. 285-330. doi : 10.1007/1-4020-3532-2_10 . ISBN 978-1-4020-3530-2.
  • Hoare, Tony ; Menzel, Galien ; Misra, Jayadev (2005). « Une sémantique d'arbre d'un langage d'orchestration ». Dans Broy, Manfred ; Grünbauer, Johannes; Harel, David ; Hoare, Tony (éd.). Théories d'ingénierie des systèmes à forte intensité de logiciel . Institut d'études avancées de l'OTAN sur les théories de l'ingénierie des systèmes à forte intensité logicielle. Série scientifique de l'OTAN. 195 . Marktoberdorf, Allemagne : Springer. p. 331-350. doi : 10.1007/1-4020-3532-2_11 . ISBN 978-1-4020-3530-2.
  • Misra, Jayadev (2004). Un modèle de programmation pour l'orchestration des services Web . Génie logiciel et méthodes formelles. Pékin, Chine : IEEE. p. 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 (éd.). Un langage pour l'orchestration des tâches et ses propriétés sémantiques . Théorie de la concurrence. Notes de cours en informatique. 4137 . Bonn, Allemagne : Springer. p. 477-491. doi : 10.1007/11817949_32 . ISBN 978-3-540-37376-6.
  • Misra, Jayadev; Cook, William R. (mars 2007). "Orchestration de calcul : une base pour l'informatique étendue". Modélisation de logiciels et de systèmes . 6 (1) : 83-110. doi : 10.1007/s10270-006-0012-1 . ISSN  1619-1366 .
  • AlTurki, Musab; Meseguer, José (2007). Sémantique de réécriture en temps réel d'Orc . Principes et pratique de la programmation déclarative. Wroclaw, Pologne : ACM. p. 131-142. doi : 10.1145/1273920.1273938 . ISBN 978-1-59593-769-8. Récupéré le 14/04/2015 .
  • Rosario, Sidney ; Kitchin, David ; Benveniste, Albert ; Cuisinier, Guillaume ; Haar, Stéphane ; Jard, Claude (2007). Dumas, Marlon ; Heckel, Reiko (éd.). Structure d'événement Sémantique d'Orc . Services Web et méthodes formelles. Notes de cours en informatique. 4937 . Brisbane, Australie : Springer. p. 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). "Une Sémantique Temporisée d'Orc" . Informatique théorique . 402 (2-3): 234-248. doi : 10.1016/j.tcs.2008.04.037 . ISSN  0304-3975 .
  • Cuisinier, Guillaume ; Misra, Jayadev (2008). "Calculs interactifs structurés". Dans Wirsing, Martin ; Banâtre, Jean-Pierre ; Hölzl, Matthias; Rauschmayer, Axel (éd.). Systèmes à forte intensité logicielle et nouveaux paradigmes informatiques : défis et visions . Notes de cours en informatique. 5380 . Springer. p. 139–145. doi : 10.1007/978-3-540-89437-7_9 . ISBN 978-3-540-89436-0.