Abstract-Det är ett typiskt scenario att många organisationer har sina affärsprocesser specificerade oberoende av sina affärskontrakt. Detta beror på bristen på riktlinjer och verktyg som underlättar härledning av processer från kontrakt men också på det traditionella tänkesättet att behandla kontrakt separat från affärsprocesser. Detta dokument ger en lösning på ett specifikt problem som uppstår till följd av denna situation, nämligen bristen på mekanismer för att kontrollera om affärsprocesserna är förenliga med affärskontrakt. Den centrala delen av dokumentet är logikbaserad formalism för att beskriva både semantik av kontrakt och semantik av efterlevnad kontroll förfaranden.
I REF Governatori m.fl. gå ett steg längre genom att tillhandahålla en mekanism för att kontrollera om affärsprocesserna är förenliga med affärsavtal.
Compliance checking between business processes and business contracts
{'venue': "2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06)", 'journal': "2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06)", 'mag_field_of_study': ['Computer Science']}