Abstrakt. Appel är ett allmänt språk för att uttrycka policyer inom en rad olika tillämpningsområden med en tydlig åtskillnad mellan kärnspråket och dess specialisering på konkreta områden. Politiken kan stå i konflikt och därmed leda till ett oönskat beteende. Vi presenterar en ny formell semantik för Appelspråket baserat på  på DSTL(x) (hittills hade Appel bara en informell semantik). DSTL (x) är en utvidgning av tidslogiken för att hantera globala tillämpningar: den innehåller metoder för att lokalisera egenskaper till systemkomponenter, en operatör för att hantera händelser och tidsmässiga modaliteterà la Unity. Ett ytterligare bidrag av dokumentet är utvecklingen av tekniker baserade på semantik för att resonera om konflikter.
Den distribuerade tidsmässiga logiken i REF är en utvidgning av Enhet för formalisering av policyer; den omfattar en operatör för att hantera händelser och metoder för att lokalisera egenskaper hos systemkomponenter.
Logic-based detection of conflicts in APPEL policies
{'venue': 'Massachusetts Institute of Technology', 'journal': None, 'mag_field_of_study': ['Computer Science']}