Abstrakt. Kompensation är en mekanism för att återvinna fel vid långfristiga transaktioner. Kompensation CSP är en variant av CSP process algebra med konstruktioner för orkestrering av kompensationer. Vi presenterar en enkel operationell semantik för Compensing CSP och skisserar en kodning av denna semantik i Prolog. Detta ger en grund för genomförande och modellkontroll av språket.
Den är utrustad med en enkel operationell semantik REF och denna semantik görs körbar genom att koda reglerna i Prolog.
Executable semantics for compensating CSP
{'venue': 'In: Proc. of the 2nd Int’l Workshop on Web Services and Formal Methods. LNCS 3670', 'journal': None, 'mag_field_of_study': ['Computer Science']}