Under de senaste åren har deklarativa, restriktionsbaserade tillvägagångssätt föreslagits för att modellera löst strukturerade affärsprocesser, medla mellan stöd och flexibilitet. Ett anmärkningsvärt exempel är Declare-ramen, utrustad med ett grafiskt deklarativt språk vars semantik kan karakteriseras med flera logikbaserade formalismer. Fram till nu har Declare begränsningar främst använts för att ta itu med kontroll-flöde aspekter, abstrahera bort från data. I detta arbete utökar vi Declare för att inkludera uppgiftsdata och data-medvetna begränsningar. Vi visar hur Event Calculus (EC) formalisering av Declare kan förbättras för att hantera sådana förlängningar, och att tillämpa en reaktiv EG-skälare för att övervaka data-medvetna begränsningar.
Montali m.fl. I REF föreslås en utvidgning av Declare till Data-Aware Restriktioner baserade på Event Calculus (EC).
Towards data-aware constraints in declare
{'venue': "SAC '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}