Orc är en teori om orkestrering av tjänster som möjliggör strukturerad programmering av distribuerade och tidsinställda beräkningar. Flera formella semantik har föreslagits för Orc, inklusive en omskrivning logik semantik utvecklat av författarna. Orc har också en fullfjädrad implementering i Java med funktionella programmeringsfunktioner. Men som med beskrivningar av de flesta distribuerade språk, det finns en ganska stor klyfta mellan Orc formella semantik och dess genomförande, genom att (i) program i Orc är inte lätt att distribuera i en distribuerad genomförande bara genom att använda Orc formella semantik, och (ii) de är inte lätt formellt analyzable på nivån för en distribuerad Orc genomförande. I detta arbete övervinner vi problem (i) och (ii) för Orc. Vi beskriver specifikt en genomförandeteknik baserad på omskrivningslogik och Maude som minskar denna klyfta avsevärt. Den möjliggörande funktionen hos denna teknik är Maudes stöd för externa objekt genom TCP-uttag. Vi beskriver hur uttag används för att implementera Orc webbplats samtal och returer, och för att ge realtid timing information till Orc uttryck och webbplatser. Vi visar sedan hur Orc-program i det resulterande distribuerade genomförandet kan analyseras formellt på en rimlig abstraktionsnivå genom att definiera en abstrakt modell av tid och uttagskommunikation infrastruktur, och diskutera de antaganden enligt vilka analysen kan anses korrekt. Slutligen illustreras det distribuerade genomförandet och den formella analysmetoden med en fallstudie.
Meseguer m.fl. REF använde omskrivning logik semantik och Maude för att ge en distribuerad implementering av Orc.
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
{'venue': 'EPTCS 36, 2010, pp. 26-45', 'journal': None, 'mag_field_of_study': ['Computer Science']}