Orc (linguagem de programação) - Orc (programming language)

Orc
Orc programming language logo.png
Paradigma concorrente , não determinístico
Projetado por Jayadev Misra
Desenvolvedor Jayadev Misra , William R. Cook , David Kitchin, Adrian Quark, John Thywissen, Arthur Peters e outros
Apareceu pela primeira vez 2004
Licença Nova Licença BSD
Local na rede Internet orc .csres .utexas .edu
Influenciado por
Haskell , ML , Oz , Smalltalk , Pict

Orc é uma linguagem de programação de computador concorrente e não determinística criada por Jayadev Misra na Universidade do Texas em Austin .

Orc fornece acesso uniforme a serviços computacionais, incluindo comunicação distribuída e manipulação de dados, por meio de sites. Usando quatro primitivas de simultaneidade simples, o programador orquestra a invocação de sites para atingir um objetivo, enquanto gerencia tempos limite, prioridades e falhas.

links externos

Bibliografia

  • Misra, Jayadev (2005). "Orquestração de computação". Em Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (eds.). Teorias de Engenharia de Sistemas Intensivos de Software . Instituto de Estudos Avançados da OTAN em Teorias de Engenharia de Sistemas Intensivos de Software. NATO Science Series. 195 . Marktoberdorf, Alemanha: 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). "Uma árvore semântica de uma linguagem de orquestração". Em Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (eds.). Teorias de Engenharia de Sistemas Intensivos de Software . Instituto de Estudos Avançados da OTAN sobre teorias de engenharia de sistemas intensivos de software. NATO Science Series. 195 . Marktoberdorf, Alemanha: Springer. pp. 331–350. doi : 10.1007 / 1-4020-3532-2_11 . ISBN 978-1-4020-3530-2.
  • Misra, Jayadev (2004). Um modelo de programação para a orquestração de serviços web . Engenharia de Software e Métodos Formais. Pequim, 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.). Uma linguagem para orquestração de tarefas e suas propriedades semânticas . Teoria da simultaneidade. Notas de aula em Ciência da Computação. 4137 . Bonn, Alemanha: Springer. pp. 477–491. doi : 10.1007 / 11817949_32 . ISBN 978-3-540-37376-6.
  • Misra, Jayadev; Cook, William R. (março de 2007). "Orquestração de computação: uma base para computação de área ampla". Modelagem de software e sistemas . 6 (1): 83-110. doi : 10.1007 / s10270-006-0012-1 . ISSN  1619-1366 .
  • AlTurki, Musab; Meseguer, José (2007). Semântica de reescrita em tempo real de Orc . Princípios e práticas de programação declarativa. Wroclaw, Polônia: ACM. pp. 131–142. doi : 10.1145 / 1273920.1273938 . ISBN 978-1-59593-769-8. Página visitada em 2014-04-14 .
  • Rosario, Sidney; Kitchin, David; Benveniste, Albert; Cook, William; Haar, Stefan; Jard, Claude (2007). Dumas, Marlon; Heckel, Reiko (eds.). Estrutura de Eventos Semântica de Orc . Serviços da Web e métodos formais. Notas de aula em Ciência da Computação. 4937 . Brisbane, Austrália: 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). "A Timed Semantics of Orc" . Ciência da Computação Teórica . 402 (2–3): 234–248. doi : 10.1016 / j.tcs.2008.04.037 . ISSN  0304-3975 .
  • Cook, William; Misra, Jayadev (2008). "Computações de interação estruturadas". Em Wirsing, Martin; Banâtre, Jean-Pierre; Hölzl, Matthias; Rauschmayer, Axel (eds.). Sistemas intensivos em software e novos paradigmas de computação: desafios e visões . Notas de aula em Ciência da Computação. 5380 . Springer. pp. 139–145. doi : 10.1007 / 978-3-540-89437-7_9 . ISBN 978-3-540-89436-0.