Local Enforceability in Interaction Petri Nets

1
Local Enforceability in Interaction Petri Nets

• Gero Decker, Mathias Weske
• Business Process Technology Group
• Hasso-Plattner-Institute, Potsdam, Germany

2
Agenda

• Choreography Modeling
• Interaction Modeling
• Generation of Behavioral Interfaces
• Realizability vs. Local Enforceability
• Conclusion and Outlook

3
Choreography Modeling

• Cross-organizational integration requires
  interaction contracts
• Defined document structures / message types
• Defined interaction behavior constraints and
  obligations
• Choreographies as behavioral specification for
  the participants
• Starting point for adapting internal processes
• Starting point for new system configurations
• Most common modeling style interconnected models

4
Interconnected Models
5
Interconnected Models

• Drawbacks of interconnected models
• Redundant control flow ? increased modeling
  effort
• Branching structures must match ? danger of
  incompatibility
• Process instantiation must be defined ?
  implementation decision
• Use a different modeling style!

6
Interaction Modeling
7
Interaction Modeling

• Interaction Petri nets as extension to
  place/transition nets
• Defines all allowed conversations
• Interaction constraints Enabled transitions in a
  marking
• Interaction obligations A final marking must be
  reached
• Allows for analysis
• Reachable interactions
• Proper termination

8
Generation of Behavioral Interfaces
Patient
Doctor
Pharmacy
9
Generation of Behavioral Interfaces

• Why not simply keep silent transitions?
• ? Respect the branching structure!

10
Generation of Behavioral Interfaces
Rule 1
Rule 2
11
Generation of Behavioral Interfaces
12
Realizability

• Does a set of behavioral interfaces exist such
  that they collectively show exactly the specified
  behavior?

not realizable
not realizable
13
Realizability vs. Local Enforceability
not realizable
locally enforceable
14
Local Enforceability

• Does a set of behavioral interfaces exist such
  that they collectively respect all specified
  constraints (and lead to proper termination)?
• Algorithm can be found in the paper

15
Conclusion and Outlook

• Interaction modeling suitable for choreographies
• Application specification monitoring
• Interaction Petri nets as formalism for
  interaction models
• Generation of behavioral interfaces
• Local enforceability
• Future / ongoing work
• Allow multiple participants of same type
• Include correlation configuration
• Formal model for iBPMN

16
Questions?

• gero.decker_at_hpi.uni-potsdam.de