composing business process with id-net

Download Composing Business Process with ID-Net

Post on 10-Dec-2014

1.745 views

Category:

Education

1 download

Embed Size (px)

DESCRIPTION

PNSE’07 Workshop, Juin 25-26, Siedlce, Poland.

TRANSCRIPT

  • 1. Composing Business Process with ID-Net Ang Chen and Didier Buchs System Modeling and Verication Group PNSE07 Workshop, Juin 25-26, Siedlce, Poland
  • 2. Outline Business Process (BP) Modeling ID-Net: Motivations ID-Net: Semantics Model Composition with ID-Net Example PNSE 2007 Workshop, Siedlce, Poland 2 A.Chen
  • 3. BP Modeling: Elements Process production schedule receive collect send order payment invoice shipping schedule Each color represents an organization Activity Flow Participant PNSE 2007 Workshop, Siedlce, Poland 3 A.Chen
  • 4. BP Modeling: Control- Flow production schedule Informal receive collect send description oder payment invoice shipping schedule shipping order schedule A Possible create receive schedule invoice invoice Control-Flow order send invoice collect payment payment production schedule Receive order and collect payment can be parallel or sequential, depending on the interpretation of the informal model. parallel might be more exible in this case PNSE 2007 Workshop, Siedlce, Poland 4 A.Chen
  • 5. BP Modeling: Data Model production schedule receive collect send oder payment invoice shipping schedule Data Model 0..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Payment PNSE 2007 Workshop, Siedlce, Poland 5 A.Chen
  • 6. BP Modeling: Control-Flow Model Dimensions shipping schedule order create schedule receive invoice invoice order send invoice collect payment ? Executable payment production schedule Workow ? ? Data Model 0..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Payment PNSE 2007 Workshop, Siedlce, Poland 6 A.Chen
  • 7. BP Modeling: Approaches (Explicit) State-Based Model: Petri Net and its variances, e.g. Workow Nets, CPN Service-Oriented: service composition, e.g. BPEL Metamodel-Based with Implicit state Explicit state (combined with State-Based semantics) PNSE 2007 Workshop, Siedlce, Poland 7 A.Chen
  • 8. The CPN Solution shipping order schedule schedule a c b d payment production schedule The transition schedule uses a and b to produce c and d (c, d)=schedule(a,b) The relations between a,b,c,d should be dened in the PN Forced to use the built-in data modeling mechanism (CPN ML) SE: strong coupling between PN structure and data! PNSE 2007 Workshop, Siedlce, Poland 8 A.Chen
  • 9. BP Modeling and Development From SEs point of view: The data modeling power is enough (e.g. with tuples), but impractical in real BP development Structure and data of BP are too constrained each other Built-in, inexible operational semantics CPN is designed to analyze and verify models, not for BP development Same problem for other PN variances PNSE 2007 Workshop, Siedlce, Poland 9 A.Chen
  • 10. ID-Net: Hook Points