Upload
serenity-wightman
View
214
Download
0
Tags:
Embed Size (px)
Citation preview
Agenda
Challenges & Basic Notions
Part I: Large Process Models
Part II: Large Process Model Collections
Part III: Large Process Structures
References
System
Komponente Komponente Komponente
300 m
System
Gesamtsystem
Large Process StructuresMotivation
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
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
Proclet classes for the illustrated scenarioMans et al., 2012
Large Process StructuresProclets
Large Process StructuresProclets
Mans et al., 2012
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
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
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
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
Data-Driven Process Structures:The Corepro Approach
Large Process StructuresCorepro
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
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
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
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
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
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
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
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
= 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