Agenda Challenges & Basic Notions Part I: Large Process Models Part II: Large Process Model...

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