Abstrakt. De flesta affärsapplikationer bygger på begreppet långgående transaktion som en grundläggande byggsten. I detta dokument presenteras en beräkning för modellering av långfristiga transaktioner inom ramen för π-kalculus, med stöd för kompensation som en återhämtningsmekanism. Den underliggande modellen för denna beräkning är den asynkrona polyadic π-calculus, med transaktionsområden och dynamisk installation av kompensationsprocesser. Till ramen lägger vi ett typsystem som garanterar en otvetydig identifiering av transaktioner, vilket säkerställer att man vid ett fel åberopar den korrekta kompensationsprocessen. Dessutom säkerställer kalkylens operationella semantik både installation och aktivering av ersättningen för en transaktion.
I Ref presenterade författarna en kalkyl för modellering av långfristiga transaktioner inom ramen för π-kalculus, med stöd för dynamisk kompensation som en återhämtningsmekanism.
Dynamic recovering of long running transactions
{'venue': 'TGC', 'journal': None, 'mag_field_of_study': ['Computer Science']}