Abstrakt. I detta dokument presenteras StAC-språket och dess operativa semantik. StAC (Structured Activity Kompensation) är en affärsprocess modellering språk och ett utmärkande drag för språket är dess stöd för ersättning. En kompensation är en åtgärd som vidtas för att återvinna från fel eller hantera en ändring av planen, särskilt när det inte är möjligt att rulla tillbaka en process. StAC liknar ett processalgebraiskt språk som Hoare's CSP eller Milners CCS men har ytterligare operatörer som sysslar med ersättning och med undantag för hantering. Vi har utvecklat en praktisk semantik för det språk som presenteras i detta dokument.
En formell semantik för StAC ges i REF.
An operational semantics for stac, a language for modelling long-running business transactions
{'venue': 'In Coordination 2004, volume 2949 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}