Ett serviceorienterat system består av oberoende programvaruenheter, nämligen tjänster, som interagerar med varandra enbart genom meddelandeutbyten. Ett sådant systems korrekta funktion beror på om varje enskild tjänst beter sig som de andra tjänsterna förväntar sig att den ska bete sig. Eftersom tjänster kan utvecklas och drivas självständigt är det orealistiskt att anta att så alltid är fallet. Den här artikeln tar upp problemet med att kontrollera och kvantifiera hur mycket det faktiska beteendet hos en tjänst, som registrerats i meddelandeloggar, överensstämmer med det förväntade beteendet som anges i en processmodell. Vi anser att det är fallet där det förväntade beteendet definieras med hjälp av branschstandarden BPEL (Business Process Execution Language for Web Services). BPEL-processdefinitioner översätts till Petri-nät och Petri-nätbaserade metoder för kontroll av överensstämmelse används för att härleda två kompletterande indikatorer för överensstämmelse: lämplighet och lämplighet. Metoden har implementerats i en verktygsuppsättning för affärsprocessanalys och gruvdrift, nämligen ProM, och har testats i en miljö som omfattar flera Oracle BPEL-servrar.
van der Ref tar upp problemet med att kontrollera hur en tjänsts faktiska beteende överensstämmer med det förväntade beteendet.
Conformance checking of service behavior
{'venue': 'TOIT', 'journal': None, 'mag_field_of_study': ['Computer Science']}