Orc (programmeringsspråk)
 | |
| Paradigm | samtidig , icke-deterministisk |
|---|---|
| Designad av | Jayadev Misra |
| Utvecklare | Jayadev Misra , William R. Cook , David Kitchin, Adrian Quark, John Thywissen, Arthur Peters och andra |
| Dök först upp | 2004 |
| Licens | Ny BSD-licens |
| Hemsida | |
| Influerad av | |
| Haskell , ML , Oz , Smalltalk , Pict | |
Orc är ett samtidig , icke-deterministiskt datorprogrammeringsspråk skapat av Jayadev Misra vid University of Texas i Austin .
Orc tillhandahåller enhetlig tillgång till beräkningstjänster, inklusive distribuerad kommunikation och datamanipulation, via webbplatser. Med hjälp av fyra enkla samtidighetsprimitiver orkestrerar programmeraren anropet av webbplatser för att uppnå ett mål, samtidigt som han hanterar timeouts, prioriteringar och misslyckanden.
externa länkar
Bibliografi
- Misra, Jayadev (2005). "Computation Orchestration". I Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (red.). Tekniska teorier om mjukvaruintensiva system . NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems. NATO Science Series. Vol. 195. Marktoberdorf, Tyskland: Springer. s. 285–330. doi : 10.1007/1-4020-3532-2_10 . ISBN 978-1-4020-3530-2 .
- Hoare, Tony; Menzel, Galen; Misra, Jayadev (2005). "A Tree Semantics of a Orchestration Language". I Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (red.). Tekniska teorier om mjukvaruintensiva system . NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems. NATO Science Series. Vol. 195. Marktoberdorf, Tyskland: Springer. s. 331–350. doi : 10.1007/1-4020-3532-2_11 . ISBN 978-1-4020-3530-2 .
- Misra, Jayadev (2004). En programmeringsmodell för orkestrering av webbtjänster . Programvaruteknik och formella metoder. Peking, Kina: IEEE. s. 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 (red.). Ett språk för uppgiftsorkestrering och dess semantiska egenskaper . Samtidighetsteori. Föreläsningsanteckningar i datavetenskap. Vol. 4137. Bonn, Tyskland: Springer. s. 477–491. doi : 10.1007/11817949_32 . ISBN 978-3-540-37376-6 .
- Misra, Jayadev; Cook, William R. (mars 2007). "Computation Orchestration: A Basis for Wide-Area Computing". Programvara och systemmodellering . 6 (1): 83–110. doi : 10.1007/s10270-006-0012-1 . ISSN 1619-1366 . S2CID 19295659 .
- AlTurki, Musab; Meseguer, José (2007). Rewriting Semantics of Orc i realtid . Principer och praxis för deklarativ programmering. Wroclaw, Polen: ACM. s. 131–142. doi : 10.1145/1273920.1273938 . ISBN 978-1-59593-769-8 . Hämtad 2015-04-14 .
- Rosario, Sidney; Kitchin, David; Benveniste, Albert; Cook, William; Haar, Stefan; Jard, Claude (2007). Dumas, Marlon; Heckel, Reiko (red.). Event Structure Semantics of Orc . Webbtjänster och formella metoder. Föreläsningsanteckningar i datavetenskap. Vol. 4937. Brisbane, Australien: Springer. s. 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" . Teoretisk datavetenskap . 402 (2–3): 234–248. doi : 10.1016/j.tcs.2008.04.037 . ISSN 0304-3975 .
- Cook, William; Misra, Jayadev (2008). "Strukturerade interagerande beräkningar". I Wirsing, Martin; Banâtre, Jean-Pierre; Hölzl, Matthias; Rauschmayer, Axel (red.). Programvaruintensiva system och nya datorparadigm: utmaningar och visioner . Föreläsningsanteckningar i datavetenskap. Vol. 5380. Springer. s. 139–145. doi : 10.1007/978-3-540-89437-7_9 . ISBN 978-3-540-89436-0 .