I detta dokument presenterar vi generiska algoritmer för att säkerställa konsekvensen i ömsesidig uteslutning och bindande begränsningar i en affärsprocess kontext. Vi har upprepade gånger identifierat behovet av sådana generiska algoritmer i våra verkliga projekt. Algoritmerna är alltså ett resultat av de erfarenheter vi fått av att analysera, designa och implementera ett antal motsvarande programvarusystem och verktyg. I synnerhet kontrollerar dessa algoritmer motsvarande krav på överensstämmelse för att förhindra hinderkonflikter och för att säkerställa att en processrelaterad rollbaserad passerkontrollmodell (RBAC) uppfyller kraven för konstruktionstid och körtid.
Strembeck m.fl. I REF presenteras en uppsättning generiska algoritmer som säkerställer konsekvensen i påföljdsbegränsningar.
Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context
{'venue': 'OTM Conferences', 'journal': None, 'mag_field_of_study': ['Computer Science']}