Ork (język programowania) - Orc (programming language)
 | |
| Paradygmat | współbieżny , niedeterministyczny |
|---|---|
| Zaprojektowany przez | Jayadev Misra |
| Deweloper | Jayadev Misra , William R. Cook , David Kitchin, Adrian Quark, John Thywissen, Arthur Peters i inni |
| Po raz pierwszy pojawiły się | 2004 |
| Licencja | Nowa licencja BSD |
| Stronie internetowej | orc |
| Wpływem | |
| Haskell , ML , Oz , Smalltalk , Pict | |
Orc jest współbieżnym , niedeterministycznym językiem programowania komputerowego stworzonym przez Jayadeva Misrę z University of Texas w Austin .
Orc zapewnia jednolity dostęp do usług obliczeniowych, w tym komunikacji rozproszonej i manipulacji danymi, za pośrednictwem witryn. Korzystając z czterech prostych operacji podstawowych współbieżności, programista organizuje wywoływanie witryn, aby osiągnąć cel, jednocześnie zarządzając limitami czasu, priorytetami i awariami.
Linki zewnętrzne
Bibliografia
- Misra, Jayadev (2005). „Orkiestracja obliczeń”. W Broy, Manfred; Grünbauera, Johannesa; Harel, Dawid; Hoare, Tony (wyd.). Teorie inżynierskie systemów intensywnie korzystających z oprogramowania . NATO Advanced Study Institute on Engineering Theory of Software Inensive Systems. Seria naukowa NATO. 195 . Marktoberdorf, Niemcy: Springer. s. 285–330. doi : 10.1007/1-4020-3532-2_10 . Numer ISBN 978-1-4020-3530-2.
- Hoare, Tony; Menzel, Galen; Misra, Jayadev (2005). „Semantyka drzewa języka orkiestracji”. W Broy, Manfred; Grünbauera, Johannesa; Harel, Dawid; Hoare, Tony (wyd.). Teorie inżynierskie systemów intensywnie korzystających z oprogramowania . NATO Advanced Study Institute on Engineering Theory of Software Inensive Systems. Seria naukowa NATO. 195 . Marktoberdorf, Niemcy: Springer. s. 331-350. doi : 10.1007/1-4020-3532-2_11 . Numer ISBN 978-1-4020-3530-2.
- Misra, Jayadev (2004). Model programowania dla orkiestracji usług sieci Web . Inżynieria oprogramowania i metody formalne. Pekin, Chiny: IEEE. s. 2–11. doi : 10.1109/SEFM.2004.1347498 . Numer ISBN 0-7695-2222-X.
- Kitchin, David; Cook, William R.; Misra, Jayadev (2006). Baier, Christel ; Hermanns, Holger (red.). Język orkiestracji zadań i jego właściwości semantyczne . Teoria współbieżności. Notatki z wykładów z informatyki. 4137 . Bonn, Niemcy: Springer. s. 477-491. doi : 10.1007/11817949_32 . Numer ISBN 978-3-540-37376-6.
- Miśra, Jayadev; Cook, William R. (marzec 2007). „Orkiestracja obliczeń: podstawa obliczeń rozległych”. Modelowanie oprogramowania i systemów . 6 (1): 83-110. doi : 10.1007/s10270-006-0012-1 . ISSN 1619-1366 .
- AlTurki, Musab; Meseguer, José (2007). Semantyka przepisywania Orc w czasie rzeczywistym . Zasady i praktyka programowania deklaratywnego. Wrocław, Polska: ACM. s. 131–142. doi : 10.1145/1273920.1273938 . Numer ISBN 978-1-59593-769-8. Pobrano 2015-04-14 .
- Rosario, Sydney; Kitchin, David; Benveniste, Albert; Kucharz, William; Haar, Stefan; Jard, Claude (2007). Dumas, Marlon; Heckel, Reiko (wyd.). Semantyka struktury zdarzenia Orc . Usługi sieciowe i metody formalne. Notatki z wykładów z informatyki. 4937 . Brisbane, Australia: Springer. s. 154–168. doi : 10.1007/978-3-540-79230-7_11 . Numer ISBN 978-3-540-79229-1.
- Wehrmana, Iana; Kitchin, David; Cook, William R.; Misra, Jayadev (2006). „Semantyka czasowa orków” . Informatyka teoretyczna . 402 (2-3): 234-248. doi : 10.1016/j.tcs.2008.04.037 . ISSN 0304-3975 .
- Kucharz, William; Misra, Jayadev (2008). „Zorganizowane obliczenia interakcji”. W Wirsing, Martin; Banâtre, Jean-Pierre; Hölzl, Matthias; Rauschmayer, Axel (red.). Systemy intensywnie korzystające z oprogramowania i nowe paradygmaty obliczeniowe: wyzwania i wizje . Notatki z wykładów z informatyki. 5380 . Skoczek. s. 139–145. doi : 10.1007/978-3-540-89437-7_9 . Numer ISBN 978-3-540-89436-0.