Agenda

1. Agenda • Challenges & Basic Notions • Part I: Large Process Models • Part II: Large Process Model Collections • Part III: Large Process Structures • References

2. Large Process Structures Motivation

3. Large Process Structures A Simple Example Interacting process fragments. The arcs show the interactions that need to take place between fragment instances. Mans et al., 2012

4. Large Process Structures Proclets • Proclets provide a framework for modeling and executing workflows • A Proclet can be seen as a lightweight workflow process able to interact with other Proclets (potentially at different levels of aggregation). • A Proclet class specifies which tasks need to be executed and in which order, i.e., the Proclet class defines the process followed by individual Proclets. One instance is called a Proclet instance.

5. Large Process Structures Proclets Proclet classes for the illustrated scenario Mans et al., 2012

6. Large Process Structures Proclets Mans et al., 2012

7. Product Product Process Process Process Process Process Process Process Process Process Process Process Process Large Process Structures Data-driven Process Structures: Motivation = Process structure needs to be adapted when product structure changes!

8. Brett-Test Telematik Brett-Test Komponente Brett-Test Komponente Brett-Test Komponente Brett-Test Innenraum Auswahl Komponenten Brett-Test Motor Brett-Test Komponente Prüfstand Motor E/E-Klausur Release Large Process Structures Data-driven Process Structures: Motivation Modeling Execution Dynamic Adaptation Exception Handling

9. Brett-Test Komponente Prüfstand Motor Brett-Test Motor Auswahl Komponenten Brett-Test Innenraum E/E-Klausur Release Brett-Test Komponente Brett-Test Komponente Brett-Test Telematik Brett-Test Komponente Large Process Structures Data-driven Process Structures: Motivation Data-drivenProcessStructure Modeling Execution Dynamic Adaptation Exception Handlung Corepro: Integrated Support of Data-driven Process Structures

10. Large Process Structures Data-driven Proess Structures: Motivation

11. Large Process Structures Corepro Data-Driven Process Structures: The Corepro Approach

12. Large Process Structures Corepro Object Life Cycles / Life Cycle Coordination Model DataModel Data Structure Data-driven Process Structure Müller et al. 2007

13. Large Process Structures Corepro Object Life Cycles / Life Cycle Coordination Model g a Data-driven Process Structure g a Müller et al. 2007

14. Large Process Structures Corepro g a Data-driven Process Structure g a Müller et al. 2007

15. Large Process Structures Corepro g a g a Müller et al. 2007

16. Large Process Structures Data-driven Process Structures: Corepro • Significant reduction of modeling efforts for process engineers • Formal operational semantics allows for correct executability • Soundness can be guaranteed on an abstracted level

17. Large Process Structures Data-driven Process Structures: Corepro • Data-driven Process Adaptation Müller et al. 2008a Change Operation (Data Structure) 1) removeRelation(Telematik High V2.2, TV Tuner V1.83, nutztKomp); 2) removeObject(TV Tuner V1.83); Change Operation(Process Structure) 1) removeExtTrans(Telematik High V2.2 . Muster Aufgebaut, Installieren, TV Tuner V1.83 . E); 2) removeOLC(Tuner V1.83);

18. Large Process Structures Data-driven Process Structures: Corepro • Exception • Handling ForwardRecovery Jump Step 1 Reset Reset Step 2 Jump Step 3

19. Large Process Structures Data-driven Process Structures: Corepro Proof-Of-Concept Automatic Creation and Execution of a Process Structure Dynamic Adaptation and Exception Handling Graphical User Interface of COREPROSim Defining the Model Level with Correctness Checks Simulating Large Process Structures Müller et al. 2008b

20. Large Process Structures Corepro: Case Study ISO 26262 -- Road Vehicles, Functional Safety Instance Level: Data Structure and Automatically Created Process Structure Process Description of the ISO Norm OLC of Object Type "System" Data Model in COREPRO-Sim Life Cycle Coordination Model