300 likes | 463 Views
Gero Decker, Jan Mendling HPI Potsdam Institut für Wirtschaftsinformatik, HU Berlin Wien, März 2009. Process Instantiation. Are you sound?. Notations and Syntax The CASU Framework Classification Analysis. Today's topics. Notations and Syntax. Entry Point.
E N D
Gero Decker, Jan Mendling HPI PotsdamInstitut für Wirtschaftsinformatik, HU Berlin Wien, März 2009 Process Instantiation
Notations and Syntax The CASU Framework Classification Analysis Today's topics
Notations and Syntax Entry Point
Notations and Syntax Start Place Start Condition Start Event
Process Execution Environment Entry Point Entry Point
Notations and Syntax The CASU Framework Classification Analysis Today's topics
The CASU framework • Creation (C): When has a new process instance to be created? • Activation (A):Which entry points are activated? • Subscription (S):For which start events are subscriptions created? • Unsubscription (U):How long are subscriptions kept?
CASU: Creation • C-1 Ignorance • C-2 Single Condition Filter • C-3 Multi Condition Filter • C-4 Single Event Trigger • C-5 Multi Event Trigger
CASU: Creation • C-1 Ignorance • C-2 Single Condition Filter • C-3 Multi Condition Filter • C-4 Single Event Trigger • C-5 Multi Event Trigger
CASU: Activation • A-1 Initial State • A-2 All Start Places • A-3 True Conditions • A-4 Occurred Events • A-5 Occurred Eventsand Conditions
CASU: Activation • A-1 Initial State • A-2 All Start Places • A-3 True Conditions • A-4 Occurred Events • A-5 Occurred Eventsand Conditions
CASU: Subscription • S-1 All Subscriptions • S-2 No Subscriptions • S-3 Reachable Subscriptions
CASU: Subscription • S-1 All Subscriptions • S-2 No Subscriptions • S-3 Reachable Subscriptions x ?
CASU: Unsubscription • U-1 Until Consumption • U-2 Until Termination • U-3 Timer-based • U-4 Event-based • U-5 Proper Completion
CASU: Unsubscription • U-1 Until Consumption • U-2 Until Termination • U-3 Timer-based • U-4 Event-based • U-5 Proper Completion
CASU: Unsubscription • U-1 Until Consumption • U-2 Until Termination • U-3 Timer-based • U-4 Event-based • U-5 Proper Completion
Notations and Syntax The CASU Framework Classification Analysis Today's topics
Notations and Syntax The CASU Framework Classification Analysis Today's topics
Implications for Correctness Criteria Soundness EPC Soundness Relaxed Soundness Controllability
Conclusions • CASU Framework offers • Description of instantiation semantics • Classification of modeling languages • Identification of mismatch • Findings • Instantiation assumptions in real-world models • Link between correctness criteria and CASU patterns G. Decker, J. Mendling: Process Instantiation. Data & Knowledge Engineering. Vol. 65, to appear.
Contact Details Prof. Dr. Jan Mendling Humboldt-Universität zu Berlin Wirtschaftswissenschaftliche Fakultät Institut für Wirtschaftsinformatik Spandauer Straße 1, 10178 Berlin, Germany Email: jan.mendling@wiwi.hu-berlin.de Phone: +49 30 2093 5805 Fax: +49 30 2093 5741