hybrid models
TRANSCRIPT
![Page 1: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/1.jpg)
Hybrid Models Prof.dr.ir. Hajo Reijers
![Page 2: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/2.jpg)
![Page 3: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/3.jpg)
Observations
Continuous introduction of new modeling techniques: IDEF3, EPCs, UML Activity Diagrams, Workflow Nets, BPEL,
BPML, BPMN, YAWL, etc.
Superiority claims: “BPMN provides a number of advantages to modeling
business processes over UML” “BPML is clearly the language of choice” “BPEL is built upon the right mathematical model” “Contemporary process modeling languages are
inappropriate for real conceptual process modeling” etc.
![Page 4: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/4.jpg)
![Page 5: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/5.jpg)
![Page 6: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/6.jpg)
You claim, but never tested it
You claim, it was tested, it sucks, and you stick to
it
You claim, it was tested, it’s actually pretty okay,
and you stick to it
![Page 7: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/7.jpg)
![Page 8: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/8.jpg)
Declarative versus Imperative
![Page 9: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/9.jpg)
Example
![Page 10: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/10.jpg)
Imperative Process Models
![Page 11: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/11.jpg)
Imperative Process Models
• Flow-oriented • Well-suited to rigid processes • In a model with no flow, nothing can happen • Adding flow allows for additional possible
behaviors • Common in academia and industry
![Page 12: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/12.jpg)
Declarative Process Models
![Page 13: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/13.jpg)
Declarative Process Models
• Constraint-oriented • Well-suited to flexible processes • In an unconstrained model, anything can
happen • Adding constraints limits behavior • Still a novelty in industry
![Page 14: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/14.jpg)
![Page 15: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/15.jpg)
Reliability Maintainability
Reusability
Usability
Por tability Efficiency
Functionality
![Page 16: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/16.jpg)
![Page 17: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/17.jpg)
Theory on information artifacts
• Cognitive Dimensions Framework (CDF) – a “matched pair” between the notational
characteristics and a task gives the best performance.
• Trade-off between notational characteristics – Sequential information explains how input
conditions lead to a certain outcome – Circumstantial information relates to the overall
conditions that produced that outcome.
Gilmore, D., Green, T.: Comprehension and recall of miniature programs. International Journal of Man-Machine Studies 21(1), 31–48 (1984) Green, T.: Conditional program statements and their comprehensibility to professional programmers. Journal of Occupational Psychology 50, 93–109 (1977)
![Page 18: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/18.jpg)
Cognitive Dimensions Framework (CDF)
Cognitive Dimension Description Abstraction Types and availability of abstraction mechanism Hidden Dependencies Important links between entities not visible Diffuseness Verbosity of language Premature Commitment Constraints on the order of doing things Viscosity Resistance to change Closeness of Mapping Closeness of representations to domain Consistency Similar semantics are presented in a similar syntax Error-Proneness Notation invites mistakes Hard Mental Operations High demand on cognitive resources Progressive Evaluation Work-to-date can be checked at any time Provisionality Degree of commitment to actions or marks Role Expressiveness The purpose of a component is readily interred
![Page 19: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/19.jpg)
Example
Sequential Change Requirement: Add activity after D
Cirumstantial Change Requirement: Guarantee that A and D are exclusive
good fit
bad fit
![Page 20: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/20.jpg)
a) Circumstantial Change Task b) Sequential Change Task
![Page 21: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/21.jpg)
![Page 22: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/22.jpg)
This was an example: – Interesting type of difference between models – Relevant quality attribute – Theoretical & empirical approach
![Page 23: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/23.jpg)
Instead of new modeling techniques, we could use more of this type of research
![Page 24: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/24.jpg)
Outcomes sometimes valuable, but often inconclusive…
![Page 25: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/25.jpg)
![Page 26: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/26.jpg)
Insight 1: Technique does not matter
Declare DCR-graph
PAGE 26
H.A. Reijers, T. Slaats, and C. Stahl. Declarative Modeling—An Academic Dream or the Future for BPM? In F. Daniel, J. Wang, and B. Weber, editors, Proceedings of the 11th International Conference on Business Process Management (BPM 2013), Lecture Notes in Computer Science 8094, 307-322, 2013.
![Page 27: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/27.jpg)
![Page 28: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/28.jpg)
Hybrid Process Models
![Page 29: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/29.jpg)
Hybrid Process Models • Different parts of the same process may be more or less flexible. • Modeling a flexible process imperatively, or a strict process declaratively, may lead to incomprehensible models.
• Full-blown mixing of imperative and declarative paradigms:
– Petri nets + Declare [Westergaard et al.] • Mixing of paradigms on the sub-process level:
– Pockets of flexibility in workflow services [Sadiq et al.] – Flexibility as a Service (FAAS) [Aalst et al.]
![Page 30: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/30.jpg)
Production side
Consumption side
![Page 31: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/31.jpg)
Automated discovery (process mining)
Human modeling
Production side
![Page 32: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/32.jpg)
![Page 33: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/33.jpg)
Human modeling
• Partial evaluation of the approach
• Deciding which process part is to be modeled declaratively or impretatively is surprisingly simple
• Overall perception is that the approach is useful, but not so easy to use
![Page 34: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/34.jpg)
Automated Discovery
Event Log Process Model
Fabrizio Maggi
Tijs Slaats
F.M. Maggi, T. Slaats, and H.A. Reijers. The Automated Discovery of Hybrid Processes. In S. Sadiq, P. Soffer, H. Völzer, editors, Proceedings of the 12th International Conference on Business Process Management (BPM 2014), Lecture Notes in Computer Science 8659, 392-399, 2014.
![Page 35: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/35.jpg)
Automated Discovery
Context analysis
Clustering (based on
context analysis)
Clustering (association rule
mining)
Standard Process
Discovery
Declare Discovery
String Edit Distance
![Page 36: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/36.jpg)
Results of Imperative Miners
http://dx.doi.org/10.4121/uuid:3926db30-f712-4394-aebc-75976070e91f
![Page 37: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/37.jpg)
Result of Hybrid Miner
![Page 38: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/38.jpg)
Hybrid models that mix declarative and
imperative elements seem promising
![Page 39: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/39.jpg)
Are there wider opportunities for modeling
techniques?
![Page 40: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/40.jpg)
BPMN
DMN PBD
![Page 41: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/41.jpg)
J. Dietz. The Atoms, Molecules and Fibers of Organziations. Data and Knowledge Engineering, 47(3), 2003.
DEMO
DEMO offers five related models of organization: The interaction model The process model The action model The fact model, and The interstriction model
![Page 42: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/42.jpg)
J. Dietz. The Atoms, Molecules and Fibers of Organziations. Data and Knowledge Engineering, 47(3), 2003.
![Page 43: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/43.jpg)
![Page 44: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/44.jpg)
![Page 45: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/45.jpg)
You claim but never tested it
You claim, it was tested, it sucks, and you stick to
it
You claim, it was tested, it’s actually pretty okay,
and you stick to it
![Page 46: Hybrid models](https://reader036.vdocuments.us/reader036/viewer/2022062320/55b6e240bb61eb53268b4741/html5/thumbnails/46.jpg)
Questions?
www.reijers.com @profBPM
Marcel Duchamp, Roue de bicyclette (Bicycle Wheel), 1960. Moderna Museet, Stockholm