Ett (flerpartsavtal) är ett rättsligt bindande avtal mellan enskilda eller företag som beskriver varje avtalsdeltagares åtaganden. För företag fungerar kontrakt som ett externt gränssnitt mot sina kunder, och därför är det viktigt att övervaka genomförandet av dessa kontrakt för överträdelser, och att följa dem för att undvika ekonomiska sanktioner. I detta dokument presenterar vi en spårbaserad modell för flerpartskontrakt, där kontraktsöverensstämmelse definieras abstrakt som en egendom på spår. En höjdpunkt i vår modell är skuldtilldelning, vilket innebär att alla kontraktsbrott tillskrivs kontraktsdeltagare, och vi analyserar hur skuldtilldelning påverkar kompositionaliteten. Dessutom inför vi för att specificera kontrakt ett avtalsspecifikt språk, CSL, som ges en formell semantik genom en kartläggning i den abstrakta modellen, och som övervinner begränsningarna i befintliga kontraktsspråk genom att stödja (a) (historiskt känsliga och villkorliga) åtaganden, (b) parametriserade kontraktsmallar, (c) relativa och absoluta tidsmässiga begränsningar, (d) strider mot skyldigheter, (e) potentiellt oändliga kontrakt, och (f) aritmetiska uttryck. Sist men inte minst, CSL medger körning övervakning via omskrivning. på Extended abstract. Detta arbete utfördes under författarens praktik i gruppen Informationssäkerhet på ETH Zürich. Denna förordning träder i kraft den tjugonde dagen efter det att den har offentliggjorts i Europeiska unionens officiella tidning.
I REF definieras en spårbaserad modell för kontrakt.
A Trace-based Model for Multiparty Contracts
{'venue': 'J. Log. Algebr. Program.', 'journal': 'J. Log. Algebr. Program.', 'mag_field_of_study': ['Computer Science']}