Agenda
-
Upload
zachery-ramos -
Category
Documents
-
view
26 -
download
0
description
Transcript of Agenda
![Page 1: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/1.jpg)
Agenda
Challenges & Basic Notions
Part I: Large Process Models
Part II: Large Process Model Collections
Part III: Large Process Structures
References
![Page 2: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/2.jpg)
System
Komponente Komponente Komponente
300 m
System
Gesamtsystem
Large Process StructuresMotivation
![Page 3: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/3.jpg)
Interacting process fragments. The arcs show the interactions that need to take place between fragment instances.
Large Process StructuresA Simple Example
Mans et al., 2012
![Page 4: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/4.jpg)
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.
Large Process StructuresProclets
![Page 5: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/5.jpg)
Proclet classes for the illustrated scenarioMans et al., 2012
Large Process StructuresProclets
![Page 6: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/6.jpg)
Large Process StructuresProclets
Mans et al., 2012
![Page 7: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/7.jpg)
ProductProcess ProductProcess =Process
Process
Process Process Process
Process
Process
Process
Process
Process
Process structure needs to be adapted when product
structure changes!
Large Process StructuresData-driven Process Structures: Motivation
![Page 8: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/8.jpg)
Modeling
Brett-TestTelematik
Brett-TestKomponente Brett-Test
Komponente Brett-TestKomponente
Brett-TestInnenraum
Auswahl Komponenten
Brett-TestMotor
Brett-TestKomponente
PrüfstandMotor E/E-Klausur
Release
Execution
Dynamic Adaptation
ExceptionHandling
Large Process StructuresData-driven Process Structures: Motivation
![Page 9: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/9.jpg)
Modeling
System
Komponente Komponente Komponente
300 m
System
GesamtsystemBrett-TestTelematik
Brett-TestKomponente Brett-Test
Komponente Brett-TestKomponente
Brett-TestInnenraum
Auswahl Komponenten
Brett-TestMotor
Brett-TestKomponente
PrüfstandMotor E/E-Klausur
Release
Corepro: Integrated Support of Data-driven Process Structures
Execution
Dynamic Adaptation
ExceptionHandlung
Data-driven Process Structure
Large Process StructuresData-driven Process Structures: Motivation
![Page 10: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/10.jpg)
Large Process StructuresData-driven Proess Structures: Motivation
Spezifi-zieren Spezifiziert AngeliefertBestellen
Tür-Steuergerät
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima-Steuergerät
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
t
t
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
Installieren
Installieren
BestätigungMechanik
Spezifi-zieren Spezifiziert AngeliefertBestellen
Display
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
AuswahlLieferant Ausgewählt Aufgebautt
Labor-test
Navigation
S E
AufbauMechanik Aufgebaut GetestetTest
Mechanik Testfahrt
E-Klasse
S E
AuswahlLieferant Ausgewählt Aufgebautt Labor-
test
Powertrain
S E
Spezifi-zieren Spezifiziert AngeliefertBestellen
Getriebe Steuergerät
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
Installieren
BestätigungMechanik
t
Spezifi-zieren Spezifiziert AngeliefertBestellen
Motor-SG Benzin
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
Spezifi-zieren Spezifiziert AngeliefertBestellen
Multimedia-Einheit
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
t
Spezifi-zieren Spezifiziert AngeliefertBestellen
GPS Sensor
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
t
Installieren
Spezifi-zieren Spezifiziert AngeliefertBestellen
Motor-SG Diesel
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
InstallierenInstallieren
Spezifi-zieren Spezifiziert AngeliefertBestellen
Verstärker
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
AuswahlLieferant Ausgewählt Aufgebautt Labor-
test
Innenraum
S E
t
Installieren
Spezifi-zieren Spezifiziert AngeliefertBestellen
Tür-SG Beifahrer
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima-Steuergerät low
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima Display
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Getriebe Steuergerät 2
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Motor-SG Benzin 2
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima Bedieneinheit 2
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima Bedieneinheit 1
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Motor-SG Diesel 2
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima Bedieneinheit 3
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
InstallierenInstallieren
Installieren
InstallierenInstallieren
InstallierenInstallieren
Installieren
Installieren
t t
![Page 11: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/11.jpg)
Data-Driven Process Structures:The Corepro Approach
Large Process StructuresCorepro
![Page 12: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/12.jpg)
Gesamtsystem
hatSys
System
Komponente
hatKomp
Da
ten
mo
de
ll
Lif
e C
yc
le C
oo
rd
ina
tio
n
Mo
de
l
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentation
Gesamtsystem
S E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
Test
System
S E
Bestellung Komponente angeliefert AbgesichertAbsicherung
Komponente
S EMelden[i.O.]
[Nicht i.O.]
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
nutztKomp
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
M o d e l l e b e n e
I n s t a n z e b e n e
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
DataStructure
DataModel
Data-driven Process Structure
Object Life Cycles /Life Cycle Coordination Model
Large Process StructuresCorepro
Müller et al. 2007
![Page 13: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/13.jpg)
Gesamtsystem
hatSys
System
Komponente
hatKomp
Da
ten
mo
de
ll
Lif
e C
yc
le C
oo
rd
ina
tio
n
Mo
de
l
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentation
Gesamtsystem
S E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
Test
System
S E
Bestellung Komponente angeliefert AbgesichertAbsicherung
Komponente
S EMelden[i.O.]
[Nicht i.O.]
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
nutztKomp
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
M o d e l l e b e n e
I n s t a n z e b e n e
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
g
a
g
a
Object Life Cycles /Life Cycle Coordination Model
Data-driven Process Structure
Large Process StructuresCorepro
Müller et al. 2007
![Page 14: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/14.jpg)
Gesamtsystem
hatSys
System
Komponente
hatKomp
Da
ten
mo
de
ll
Lif
e C
yc
le C
oo
rd
ina
tio
n
Mo
de
l
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentation
Gesamtsystem
S E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
Test
System
S E
Bestellung Komponente angeliefert AbgesichertAbsicherung
Komponente
S EMelden[i.O.]
[Nicht i.O.]
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
nutztKomp
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
M o d e l l e b e n e
I n s t a n z e b e n e
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Gesamtsystem
hatSys
System
Komponente
hatKomp
Da
ten
mo
de
ll
Lif
e C
yc
le C
oo
rd
ina
tio
n
Mo
de
l
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentation
Gesamtsystem
S E
Installieren
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
Test
System
S E
Bestellung Komponente angeliefert AbgesichertAbsicherung
Komponente
S EMelden[i.O.]
[Nicht i.O.]
Installieren
t
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
nutztKomp
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
BestätigungMuster
M o d e l l e b e n e
I n s t a n z e b e n e
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Gesamtsystem
hatSys
System
Komponente
hatKomp
Da
ten
mo
de
ll
Lif
e C
yc
le C
oo
rd
ina
tio
n
Mo
de
l
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentation
Gesamtsystem
S E
Installieren
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
Test
System
S E
Bestellung Komponente angeliefert AbgesichertAbsicherung
Komponente
S EMelden[i.O.]
[Nicht i.O.]
InstallierenhatSys
tnutztKomphatKomp
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
nutztKomp
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
hatSysBestätigungMuster
M o d e l l e b e n e
I n s t a n z e b e n e
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
g
a
g
a
Data-driven Process Structure
Large Process StructuresCorepro
Müller et al. 2007
![Page 15: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/15.jpg)
Gesamtsystem
hatSys
System
Komponente
hatKomp
Da
ten
mo
de
ll
Lif
e C
yc
le C
oo
rd
ina
tio
n
Mo
de
l
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentation
Gesamtsystem
S E
Installieren
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
Test
System
S E
Bestellung Komponente angeliefert AbgesichertAbsicherung
Komponente
S EMelden[i.O.]
[Nicht i.O.]
InstallierenhatSys
tnutztKomphatKomp
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Telematik High V2.2
Head-Up Unit V3.14
nutztKomp
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
hatKomp
TV Tuner V1.83
hatSysBestätigungMuster
M o d e l l e b e n e
I n s t a n z e b e n e
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Gesamtsystem
hatSys
System
Komponente
hatKomp
Da
ten
mo
de
ll
Lif
e C
yc
le C
oo
rd
ina
tio
n
Mo
de
l
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentation
Gesamtsystem
S E
Installieren
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
Test
System
S E
Bestellung Komponente angeliefert AbgesichertAbsicherung
Komponente
S EMelden[i.O.]
[Nicht i.O.]
InstallierenhatSys
tnutztKomphatKomp
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
nutztKomp
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
hatSysBestätigungMuster
M o d e l l e b e n e
I n s t a n z e b e n e
Release-bildung
Release Gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster Aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
g
a
g
a
Large Process StructuresCorepro
Müller et al. 2007
![Page 16: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/16.jpg)
Large Process StructuresData-driven Process Structures: Corepro
Spezifi-zieren Spezifiziert AngeliefertBestellen
Tür-Steuergerät
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima-Steuergerät
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
t
t
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
Installieren
Installieren
BestätigungMechanik
Spezifi-zieren Spezifiziert AngeliefertBestellen
Display
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
AuswahlLieferant Ausgewählt Aufgebautt
Labor-test
Navigation
S E
AufbauMechanik Aufgebaut GetestetTest
Mechanik Testfahrt
E-Klasse
S E
AuswahlLieferant Ausgewählt Aufgebautt Labor-
test
Powertrain
S E
Spezifi-zieren Spezifiziert AngeliefertBestellen
Getriebe Steuergerät
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
Installieren
BestätigungMechanik
t
Spezifi-zieren Spezifiziert AngeliefertBestellen
Motor-SG Benzin
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
Spezifi-zieren Spezifiziert AngeliefertBestellen
Multimedia-Einheit
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
t
Spezifi-zieren Spezifiziert AngeliefertBestellen
GPS Sensor
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
t
Installieren
Spezifi-zieren Spezifiziert AngeliefertBestellen
Motor-SG Diesel
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
InstallierenInstallieren
Spezifi-zieren Spezifiziert AngeliefertBestellen
Verstärker
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
AuswahlLieferant Ausgewählt Aufgebautt Labor-
test
Innenraum
S E
t
Installieren
Spezifi-zieren Spezifiziert AngeliefertBestellen
Tür-SG Beifahrer
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima-Steuergerät low
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima Display
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Getriebe Steuergerät 2
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Motor-SG Benzin 2
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima Bedieneinheit 2
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima Bedieneinheit 1
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Motor-SG Diesel 2
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Spezifi-zieren Spezifiziert AngeliefertBestellen
Klima Bedieneinheit 3
S ESicht-Prüfung
[i.O.]
[Nicht i.O.]
Installieren
InstallierenInstallieren
Installieren
InstallierenInstallieren
InstallierenInstallieren
Installieren
Installieren
t t
• Significant reduction of modeling efforts for process engineers
• Formal operational semantics allows for correct executability
• Soundness can be guaranteed on an abstracted level
E-Klasse
Navigation Innenraum Powertrain
Steuergerät Motor BenzinGPS Sensor
SteuergerätGetriebe
Steuergerät Motor Diesel
Mutlimedia-Modul
Verstärker
Klima-Bedieneinheit F
Klima Display
Klima-Bedieneinheit H
Steuergerät Tür VL
Steuergerät 2-Zonen Klima
Steuergerät Tür VR
![Page 17: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/17.jpg)
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
I n s t a n z e b e n e
Release-bildung
Release gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[Nicht i.O.]
[i.O.]
YIELD!
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
I n s t a n z e b e n e
Release-bildung
Release gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[Nicht i.O.]
[i.O.]
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);
Data-driven Process Adaptation
Large Process StructuresData-driven Process Structures: Corepro
Müller et al. 2008a
![Page 18: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/18.jpg)
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
I n s t a n z e b e n e
Release-bildung
Release gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[Nicht i.O.]
[i.O.]
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
I n s t a n z e b e n e
Release-bildung
Release gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[Nicht i.O.]
[i.O.]
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
I n s t a n z e b e n e
Release-bildung
Release gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[Nicht i.O.]
[i.O.]
BR212, Rel. 02/08
hatSys
Telematik High V2.2
Head-Up UnitV3.14
nutztKomp
Da
ten
str
uk
tur
Da
ten
ge
trie
be
ne
Pro
ze
ss
str
uk
tur
BR212, Rel. 02/08
Installieren
Telematik High V2.2
Head-Up Unit V3.14
Installieren
t
TV TunerV1.83
nutztKomp
Gesamtsystem
System
Komponente
Komponente
InstallierenhatKomp
TV Tuner V1.83
BestätigungMuster
I n s t a n z e b e n e
Release-bildung
Release gebildet
Prototyp umgebaut
UmbauMechanik
Rück-dokumentationS E
AuswahlKomponenten
Konfiguration gebildet
Muster aufgebautt Brett-
TestS E
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[i.O.]
[Nicht i.O.]
Bestellung Komponente angeliefert AbgesichertAbsicherungS EMelden
[Nicht i.O.]
[i.O.]
YIELD!
YIELD!
YIELD! YIELD!
YIELD!
YIELD!YIELD!
JUMP
RESET
RESET
JUMP
Step 1
Step 2
Step 3
Forward Recovery
Large Process StructuresData-driven Process Structures: Corepro
ExceptionHandling
![Page 19: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/19.jpg)
Graphical User Interface of COREPROSimAutomatic Creation and Execution of a Process StructureDynamic Adaptation and Exception HandlingSimulating Large Process Structures
NotActivated
Activated
Done
Skipped
Inkonsistenzerkannt
Waiting
Processing
Fired
Disabled
Zustandsmarkierungen Transitionsmarkierungen
Defining the Model Level with Correctness Checks
Large Process StructuresData-driven Process Structures: Corepro Proof-Of-Concept
Müller et al. 2008b
![Page 20: Agenda](https://reader038.fdocument.pub/reader038/viewer/2022110210/56812b50550346895d8f714a/html5/thumbnails/20.jpg)
= Objektzustand Interne Transition mit verknüpftem Prozess und Transitionsbedingung= = Endzustand= Startzustand
PD = Product Development, HW = Hardware, SW = Software
Process Description of the ISO NormData Model in COREPRO-SimOLC of Object Type "System"Life Cycle Coordination ModelInstance Level: Data Structure and Automatically Created Process Structure
Large Process StructuresCorepro: Case Study ISO 26262 -- Road Vehicles, Functional Safety