Behavioral Conformance of Artifact-Centric Process Models


Published on

A talk help by Boudewijn van Dongen at the 14th International Conference on Business Information Systems (BIS 2011) in Poznan, Poland, June 2011. We present the problem of checking whether an artifact-centric process model conforms to process behavior observed in reality.

  • Be the first to comment

  • Be the first to like this

No Downloads
Total views
On SlideShare
From Embeds
Number of Embeds
Embeds 0
No embeds

No notes for slide
  • Proclets can be used to model artifacts, such that:The lifecycle of each artifact is modeled using a Petri net with input/output ports (a Proclet), andThe interaction between proclets is modeled using communication channels.
  • Behavioral Conformance of Artifact-Centric Process Models

    1. 1. Behavioral Conformance of Artifact-Centric Process Models<br />Dirk Fahland<br />Massimiliano de Leoni<br />Boudewijn van Dongen<br />Wil van der Aalst<br />TU Eindhoven<br />
    2. 2. CD shop’s backend process<br />quote1<br />CDa<br />Customer 1<br />quote2<br />CDa<br />CDb<br />CDc<br />Customer 2<br />
    3. 3. order1<br />CD shop’s backend process<br />quote1<br />CDa<br />CDa<br />q1<br />q2<br />Customer 1<br />order2<br />quote2<br />CDb<br />CDc<br />q2<br />q2<br />Customer 2<br />
    4. 4. order1<br />CD shop’s backend process<br />quote1<br />q1<br />q2<br />Customer 1<br />CDa<br />order2<br />quote2<br />q2<br />q2<br />Customer 2<br />CDc<br />CDa<br />CDb<br />
    5. 5. An execution – many cases<br />What is a case here?<br />
    6. 6. data of THE Online shop<br />Each quote relates to several orders and each order contains items of several quotes<br />
    7. 7. The CD shop proclet mODEL<br />During the life of a quote, interaction takes place over this channel only once (multiplicity)<br />Every interaction takes place with at least 1 instance of order (cardinality) <br />
    8. 8. Model QualiTy?<br />information system of the CD shop <br />model of the process<br />conformance checking: can we replay the behavior of the IS on the model? if yes, then the model is good<br />
    9. 9. Problem Setting<br />Classical process modeling techniques view operational processes as “cases being executed”<br />But what if there is no unique notion of a “case”?<br />Artifact modeling allows for models with multiple notionsof a case<br />Can we then still check for conformance?<br />
    10. 10. Two problems to Solve<br />data generally stored in a databasebut: conformance checkers require logsour solution: extract logs from a database<br />behavioral information in database much (much much) larger than in classical logs<br />conformance checking explores a search-space exponential in the number of eventsour solution: decompose problem<br />
    11. 11. Problem decomposition<br />Behavioral Conformance:<br />Does each artifact behave according to its lifecycle? <br />Interaction Conformance:<br />Does the interaction conform to the artifact specification?<br />inside<br />
    12. 12. Log Extraction<br />The observed behavior of an artifact-centric interoperation hub is a relational database with temporal attributes representing state changes.<br />foreign key-primary keyrelations<br />
    13. 13. Behavioral Conformance<br />extract<br />quotelog<br />orderlog<br />using foreign key-primary key relations<br />relational DBof the CD shop <br />replay<br />replay<br />proclets, including multiplicities of ports  Petri nets with reset and inhibitor arcs<br />
    14. 14. Interaction Conformance<br />quotelog<br />orderlog<br />extract<br />relational DBof the CD shop <br />replay (BPM’11)<br />proclet + its environment and the ports(D. Fahland, M. de Leoni et al., Conformance Checking of Interacting Processes With Overlapping Instances, BPM 2011)<br />
    15. 15. Implementation<br />All the work is implemented in ProM and available trough<br />
    16. 16. Conclusions<br />When no unique notion of a “case” exists, processes can be seen as sets of interacting artifacts.<br />Using key/foreign key relations, a database can be converted into a collection of event logs, each describing the data from the perspective of a single artifact.<br />Both behavioral and interaction conformance checking can be done for artifact systems, using these logs and translations of the models to Petri nets (with reset and inhibitor arcs).<br />