Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models
Upcoming SlideShare
Loading in...5
×
 

Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models

on

  • 366 views

Presentation of the paper "Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models" at the 9th International Workshop on Business Process Intelligence (BPI'2013) - ...

Presentation of the paper "Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models" at the 9th International Workshop on Business Process Intelligence (BPI'2013) - http://www.win.tue.nl/bpi2013/

Statistics

Views

Total Views
366
Views on SlideShare
366
Embed Views
0

Actions

Likes
0
Downloads
7
Comments
0

0 Embeds 0

No embeds

Accessibility

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment
  • Method and tool for reverse-engineering an artifact-centric model from logs, including:Artifact typesLifecycles (GSM)GuardsMethod and tool for checking conformance between models and log Detects inconsistencies between an artifact-centric model and logsMethod and tool for repairing non-conforming modelsDetermines smallest set of changes to repair a non-conformant model

Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models Presentation Transcript

  • Viara Popova and Marlon Dumas University of Tartu Discovering Synchronization Conditions in Artifact-Centric Process Models
  • Artifact Model Discovery Tool Raw Log (text or DB) Discover Artifact Types & Associations Extract Artifact Logs Discover GSM per Artifact Discover Intra- Artifact Conditions Discover Synchronization Conditions GSM Artifact Model BizArtifact (Barcelona) 2
  • Raw Logs 2008-12-09T08:20:01.527+01:00 Received_order 245BG „Metallica” „Dead Magnetic” 2008-12-09T20:11:15.342+01:00 Received_order 246BL „Ray Baretto” „Acid” 2008-12-10T08:22:01.427+01:00 Sent_quote 245BG 2008-12-10T08:30:01.427+01:00 Sent_quote 246BL 2008-12-11T11:20:14.534+01:00 Accepted_quote 246BL ... Timestamp Event type Data attribute Data attribute Data attribute 3
  • Raw Logs  Artifact Logs 1. Discover entities  Functional dependencies  primary keys 2. Discover relationships  Inclusion dependencies  foreign keys, multiplicities 3. Discover artifact types 4. Extract logs of each artifact 4 Material Order (MO) Customer PO Artifact log Artifact logs *1
  • Discovered GSM Material Order (MO) t1: Create MO on create t1 complete t2: Send MO to supplier on t1 complete t2 complete t3: Receive suppl. response on t2 complete t3 complete t4: Receive items on t3 complete on t4 complete t5: Receive invoice on t3 complete t5 complet e t6: Reassign supplier on t3 complete t6 complete t7: Close MO on t4 complete and t5 complete t7 complete 5 One artifact, pure control-flow
  • GSM Discovery Tool Chain Raw Log (text or DB) Discover Artifact Types & Associations Extract Artifact Logs Discover GSM per Artifact Discover Intra- Artifact Conditions Discover Synchronization Conditions GSM Artifact Model 6
  • Composition of guard sentries A guard sentry includes: 1. Intra-artifact data conditions  “weight > 100”, “response = positive”  Discovered using ProM decision miner or BranchMiner 2. Inter-artifact synch conditions 7
  • GSM with intra-artifact conditions (MO) t1: Create MO on create t1 complete t2: Send MO to supplier on t1 complete t2 complete t3: Receive suppl. response on t2 complete t3 complete t4: Receive items on t3 complete & positive response on t4 complete t5: Receive invoiceon t3 complete & positive response t5 complet e t6: Reassign supplier on t3 complete & negative response t6 complete t7: Close MO on t4 complete and t5 complete t7 complete 8
  • Inter-artifact synch conditions Points of synchronization between artifacts: the transition to a new state of one artifact is triggered by the states of related instances of another artifact Paper can only be evaluated when at least three reviews are completed. Meeting can only be confirmed when at least half of the members have confirmed participation. Akin to completion conditions in BPMN multi- instance activities 9
  • Synch condition discovery 10 Primary artifact Secondary artifact
  • Synch condition discovery (cont.) 11
  • Synch condition discovery 12 Primary artifact Secondary artifact
  • Find synchronization points Heuristic to find probable points: Activity level of S – average number of events in secondary artifact happening immediately before S A B C D E S F G D S 2 1 The higher the activity level the more likely S is a synchronization point 13
  • Find conditions for point S  For each execution of S: a snapshot of the current states in the related instances  Feature vector:  For each event type T in secondary artifact: how many instances were in state T (T last executed) when S was executed  Positive examples: one vector per execution of S  Negative examples: one vector per execution of other event in main artifact + one vector per execution of an event in secondary artifact A B C D E S F G D S S: positive examples: (B:0,D:1,E:1)(B:0,D:1,E:0) 14
  • Find conditions for point S Refinements: Remove redundant samples Balance number of positive and negative examples Decision tree  synch conditions Scoring each condition: Quality of decision tree – F-measure Size of decision tree (normalized) Activity level (normalized) 15
  • GSM with synch conditions (PO) t1: Record PO on create t1 complete t2: Analyze PO on t1 complete t2 complete t3: Generate MOs on t2 complete t3 complete t4: Assemble Product on t3 complete & all MOs fulfilled on t4 complete t5: Receive payment on t3 complete t5 complet e t6: Notify customer on t3 complete & MOs unfulfilled t6 complete t7: Close PO on t4 complete and t5 complete t7 complete 16
  • ArtifactMiner – Implementation discovery (reverse- engineering) Artifact model repair conformance / A B A C A B Artifact logs raw event log DB Artifact Types Guards (OCL) Artifact Lifecycle (GSM) 17
  • Evaluation Synthetic logs (x 2 sample processes) All sync conditions found FRIS log  Flemish applied research funding agency  TBM Funding Program (biomedical research grants)  Extracted from existing Sharepoint system (one funding call, 2 artifact types, 200+ events)  Correctly discovered artifacts + control-flow  Discovered 4 relevant synchronization conditions  No missing condition (given the available data) 18
  • Looking Ahead Exciting case studies TU/e + KPMG Extracting artifact models from ERP systems (e.g. SAP, Oracle) Discovering BPMN models with multi-instance activities & synchronization conditions 19
  • QUESTIONS? Research funded by EU’s FP7 Programme (ACSI Project) 20