Orc (Programmiersprache) - Orc (programming language)


Aus Wikipedia, der freien Enzyklopädie
Orc
Orc Programmiersprache logo.png
Paradigma gleichzeitige , nicht deterministisch
Entworfen von Jayadev Misra
Entwickler Jayadev Misra , William R. Cook , David Kitchin, Adrian Quark und andere
Erstmals erschienen 2004
Lizenz New BSD-Lizenz
Webseite Ork .csres .utexas .edu
Beeinflusst von
Haskell , ML , Oz , Smalltalk , Pict

Orc ist eine gleichzeitige , nicht deterministische Computer - Programmiersprache erstellt Jayadev Misra an der University of Texas in Austin .

Orc bietet einen einheitlichen Zugriff auf Rechendienste, einschließlich verteilte Kommunikation und Datenmanipulation, durch Websites. Mit vier einfacher Gleichzeitigkeit Primitiven, orchestriert der Programmierer den Aufruf von Websites, um ein Ziel zu erreichen, während Timeouts, Prioritäten verwalten und Ausfälle.

Externe Links

Literaturverzeichnis

  • Misra, Jayadev (2005). "Computation Orchestrierung" . In Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony. Engineering Theorien der Softwareintensive Systeme . NATO Advanced Study Institute on Ingenieurtheorien Softwareintensive Systeme. NATO Science Series. 195 . Marktoberdorf, Deutschland: Springer. pp. 285-330. doi : 10.1007 / 1-4020-3532-2_10 . ISBN  978-1-4020-3530-2 . Abgerufen 2015.04.14 .
  • Hoare, Tony; Menzel, Galen; Misra, Jayadev (2005). „Ein Baum Semantics einer Orchestrierung Sprache“ . In Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony. Engineering Theorien der Softwareintensive Systeme . NATO Advanced Study Institute on Ingenieurtheorien Softwareintensive Systeme. NATO Science Series. 195 . Marktoberdorf, Deutschland: Springer. pp. 331-350. doi : 10.1007 / 1-4020-3532-2_11 . ISBN  978-1-4020-3530-2 . Abgerufen 2015.04.14 .
  • Misra, Jayadev (2004). Ein Programmiermodell für die Orchestrierung von Web Services . Software Engineering und Formale Methoden. Beijing, China: IEEE. pp. 2-11. doi : 10,1109 / SEFM.2004.1347498 . ISBN  0-7695-2222-X . Abgerufen 2015.04.14 .
  • Kitchin, David; Koch, William R .; Misra, Jayadev (2006). Baier, Christel; Hermanns, Holger, Hrsg. Eine Sprache für Aufgaben- Automatisierungs und seine semantischen Eigenschaften . Concurrency Theory. Lecture Notes in Computer Science. 4137 . Bonn, Deutschland: Springer. pp. 477-491. doi : 10.1007 / 11817949_32 . ISBN  978-3-540-37376-6 . Abgerufen 2015.04.14 .
  • Misra, Jayadev; Koch, William R. (März 2007). "Computation Besetzung: Eine Basis für Wide Area Computing" . Software & Systems Modelling . Springer. 6 (1): 83-110. doi : 10.1007 / s10270-006-0012-1 . ISSN  1619-1366 . Abgerufen 2015.04.14 .
  • AlTurki, Musab; Meseguer, José (2007). Real-Time Semantics von Orc Rewriting . Prinzipien und Praxis der deklarativen Programmierung. Wroclaw, Polen: ACM. pp. 131-142. doi : 10,1145 / 1.273.920,1273938 . ISBN  978-1-59593-769-8 . Abgerufen 2015.04.14 .
  • Rosario, Sidney; Kitchin, David; Benveniste, Albert; Koch, William; Haar, Stefan; Jard, Claude (2007). Dumas, Marlon; Heckel, Reiko, Hrsg. Ereignisstruktur Semantics von Orc . Web Services und Formale Methoden. Lecture Notes in Computer Science. 4937 . Brisbane, Australien: Springer. pp. 154-168. doi : 10.1007 / 978-3-540-79230-7_11 . ISBN  978-3-540-79229-1 . Abgerufen 2015.04.14 .
  • Wehrman, Ian; Kitchin, David; Koch, William R .; Misra, Jayadev (2006). "A Timed Semantik von Orc" . Theoretische Informatik . Elsevier. 402 (2-3): 234-248. doi : 10.1016 / j.tcs.2008.04.037 . ISSN  0304-3975 . Abgerufen 2015.04.14 .
  • Koch, William; Misra, Jayadev (2008). „Strukturierte einwirkengalaxien Berechnungen“ . In Wirsing, Martin; Banâtre, Jean-Pierre; Hölzl, Matthias; Rauschmayer, Axel. Softwareintensive Systeme und neue Computing Paradigmen: Herausforderungen und Visionen . Lecture Notes in Computer Science. 5380 . Springer. pp. 139-145. doi : 10.1007 / 978-3-540-89437-7_9 . ISBN  978-3-540-89436-0 . Abgerufen 2015.04.14 .