Process Modelling Joachim Denil & Hans Vangheluwe System - - PowerPoint PPT Presentation

SLIDE 1

Process Modelling

Joachim Denil & Hans Vangheluwe

SLIDE 2

2

System Engineering

Physical Design Geometric Design Software Design Requirements Engineering Electronic Design Management

SLIDE 3

3

Example Process

SLIDE 4

4

Event/Activity/Process

SLIDE 5

5

Software Processes

“The Software Engineering process is the total set of Software Engineering activities needed to transform requirements into software”.

Watts S. Humphrey. Software Engineering Institute, CMU. (portal.acm.org/citation.cfm?id=75122)

SLIDE 6

6

Waterfall Process

Shari Lawrence Pfleeger. Software Engineering:Theory and Practice (Second Edition). Prentice Hall. 2001.

SLIDE 7

7

In Reality?

Shari Lawrence Pfleeger. Software Engineering:Theory and Practice (Second Edition). Prentice Hall. 2001.

SLIDE 8

8

With Prototyping

Shari Lawrence Pfleeger. Software Engineering:Theory and Practice (Second Edition). Prentice Hall. 2001.

SLIDE 9

9

V-Model

Kevin Forsberg and Harold Mooz, “The Relationship of System Engineering to the Project Cycle,” in Proceedings of the First Annual Symposium of National Council on System Engineering, October 1991: 57–65.

SLIDE 10

10

Iterative vs. Incremental

Shari Lawrence Pfleeger. Software Engineering:Theory and Practice (Second Edition). Prentice Hall. 2001.

SLIDE 11

11

Spiral Process

Boehm B, "A Spiral Model of Software Development and Enhancement", IEEE Computer, IEEE, 21(5):61-72, May 1988

SLIDE 12

12

(Rational) Unifjed Process

SLIDE 13

13

Not only Software!

From: G. Pahl and W. Beitz and J. Feldhusen and K.-H. Grote; Engineering Desing – A Systematic Approach; Springer; 2007

SLIDE 14

14

Capability Maturity Model

From: http://performancexpress.org/

SLIDE 15

15

Why Explicit Modelling?

Descriptive Prescriptive Proscriptive

SLIDE 16

16

Describing Processes

Functional:

Functional dependencies Data-fmow Produce – Consume …

Dynamic:

Sequence of Activities Control-fmow Timing …

Informational:

Descriptions of Activities Artefacts Products …

Organizational:

 Who Performs?  Where in the organisation?  Stakeholders?  …

SLIDE 17

17

Languages!

 UML Activities  Business Process Modelling Notation (BPMN)  Event Process Chains  Petri-nets  Role Activity Diagram  FTG+PM  Etc.

SLIDE 18

18

UML Activities

SLIDE 19

19

FTG+PM: T yping

SLIDE 20

20

FTG+PM Enactment

SLIDE 21

21

Power Window Example

Reactive! Real-time! Embedded! Distributed! Heterogeneous!

SLIDE 22

22

Process Modelling for MPM

Levi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss, FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. SDL Forum 2013: 182-202 Sadaf Mustafiz, Joachim Denil, Levi Lucio, and Hans Vangheluwe; "The FTG+PM Framework for Multi-Paradigm Modelling: An Automotive Case Study"; Accepted @ MPM2012 of Models2012, 2012

: M

• d

e l P l a n t : M

• d

e l C

• n

t r

• l

: M

• d

e l E n v : M

• d

e l N e t w

• r

k : C

• n

t r

• l

l e r T

• S

C : S c T

• P

n : P l a n t T

• P

N : E n v T

• P

N : P l a n t T

• C

b d : E n v T

• C

b d A N D F a l s e : R e fi n e N e t w

• r

k T R U E : E x t r a c t T i m i n g B e h a v i

• u

r : B

• l

e a n : B

• l

e a n : C

• n

t r

• l

D S L : P l a n t D S L : E n v i r

• n

m e n t D S L : N e t w

• r

k F

• r

m a l i s m : S t a t e c h a r t s : C B D : E n c a p s u l a t e d P N : C B D : E n c a p s u l a t e d P N : E n c a p s u l a t e d P N : N e t w

• r

k F

• r

m a l i s m : R e q u i r e m e n t s D i a g r a m M

• d

e l R e q u i r e m e n t s S a f e t y A n a l y s i s H y b r i d S i m u l a t i

• n

E n v T

• C

B D

E n v i r

• n

m e n t D S L C a u s a l B l

• c

k D i a g r a m s

P l a n t T

• C

b d

P l a n t D S L

C

• n

t r

• l

T

• S

c

C

• n

t r

• l

D S L S t a t e c h a r t s N e t w

• r

k F

• r

m a l i s m E n c a p s u l a t e d P e t r i n e t s H y b r i d F

• r

m a l i s m

c

• m

b i n e C B D S c T

• A

U T O S A R S c T

• P

n P l a n t T

• P

n E n v T

• P

N c

• m

b i n e P N

R e a c h a b i l i t y G r a p h H y b r i d S i m u l a

• t

i

• n

T r a c e

S i m u l a t e H y b r i d B u i l d R G R e fi n e N e t w

• r

k M

• d

e l P l a n t M

• d

e l C

• n

t r

• l

M

• d

e l E n v M

• d

e l N e t w

• r

k

S y s M L R e q D i a g r a m C T L

M

• d

e l C

• n

t e x t E x t r a c t R e q u i r e m e n t s T

• S

a f e t y R e q u i r e m e n t E x t r a c t T i m i n g B e h a v i

• u

r

S y s M L U s e C a s e D i a g r a m T e x t u a l R e q u i r e m e n t s

M

• d

e l T e x t u a l R e q C h e c k C t l C h e c k C

• n

t i n u

• u

s

P e t r i n e t s

R e fi n e U s e C a s e s R e fi n e R e q u i r e m e n t s R e fi n e U s e C a s e D e s c r i p t i

• n

M

• d

e l U s e C a s e D e s c r i p t i

• n

: U s e C a s e s : U s e C a s e D i a g r a m U s e C a s e s

SLIDE 23

23

: R e q u i r e m e n t s D i a g r a m M

• d

e l R e q u i r e m e n t s

M

• d

e l C

• n

t e x t

T e x t u a l R e q u i r e m e n t s

M

• d

e l T e x t u a l R e q

: U s e C a s e s : U s e C a s e D i a g r a m

SLIDE 24

24

Controller

: M

• d

e l P l a n t : M

• d

e l C

• n

t r

• l

: M

• d

e l E n v : M

• d

e l N e t w

• r

k : C

• n

t r

• l

l e r T

• S

C : R e fi n e N e t w

• r

k : C

• n

t r

• l

D S L : P l a n t D S L : E n v i r

• n

m e n t D S L : N e t w

• r

k F

• r

m a l i s m

E n v T

• C

B D

E n v i r

• n

m e n t D S L

P l a n t T

• C

b d

P l a n t D S L

C

• n

t r

• l

T

• S

c

C

• n

t r

• l

D S L

M

• d

e l P l a n t M

• d

e l C

• n

t r

• l

M

• d

e l E n v

S y s M L U s e C a s e D i a g r a m

R e fi n e U s e C a s e s R e fi n e U s e C a s e D e s c r i p t i

• n

M

• d

e l U s e C a s e D e s c r i p t i

• n

U s e C a s e s

SLIDE 25

25

Plant Model

: M

• d

e l P l a n t : M

• d

e l C

• n

t r

• l

: M

• d

e l E n v : M

• d

e l N e t w

• r

k : C

• n

t r

• l

l e r T

• S

C : R e fi n e N e t w

• r

k : C

• n

t r

• l

D S L : P l a n t D S L : E n v i r

• n

m e n t D S L : N e t w

• r

k F

• r

m a l i s m

E n v T

• C

B D

E n v i r

• n

m e n t D S L

P l a n t T

• C

b d

P l a n t D S L

C

• n

t r

• l

T

• S

c

C

• n

t r

• l

D S L

M

• d

e l P l a n t M

• d

e l C

• n

t r

• l

M

• d

e l E n v

S y s M L U s e C a s e D i a g r a m

R e fi n e U s e C a s e s R e fi n e U s e C a s e D e s c r i p t i

• n

M

• d

e l U s e C a s e D e s c r i p t i

• n

U s e C a s e s

SLIDE 26

26

Environment

: M

• d

e l P l a n t : M

• d

e l C

• n

t r

• l

: M

• d

e l E n v : M

• d

e l N e t w

• r

k : C

• n

t r

• l

l e r T

• S

C : R e fi n e N e t w

• r

k : C

• n

t r

• l

D S L : P l a n t D S L : E n v i r

• n

m e n t D S L : N e t w

• r

k F

• r

m a l i s m

E n v T

• C

B D

E n v i r

• n

m e n t D S L

P l a n t T

• C

b d

P l a n t D S L

C

• n

t r

• l

T

• S

c

C

• n

t r

• l

D S L

M

• d

e l P l a n t M

• d

e l C

• n

t r

• l

M

• d

e l E n v

S y s M L U s e C a s e D i a g r a m

R e fi n e U s e C a s e s R e fi n e U s e C a s e D e s c r i p t i

• n

M

• d

e l U s e C a s e D e s c r i p t i

• n

U s e C a s e s

SLIDE 27

27

Safety Analysis

: M

• d

e l P l a n t : M

• d

e l C

• n

t r

• l

: M

• d

e l E n v : M

• d

e l N e t w

• r

k : C

• n

t r

• l

l e r T

• S

C : S c T

• P

n : P l a n t T

• P

N : E n v T

• P

N : P l a n t T

• C

b d : E n v T

• C

b d A N D F a l s e : R e fi n e N e t w

• r

k T R U E : E x t r a c t T i m i n g B e h a v i

• u

r : B

• l

e a n : B

• l

e a n : C

• n

t r

• l

D S L : P l a n t D S L : E n v i r

• n

m e n t D S L : N e t w

• r

k F

• r

m a l i s m : S t a t e c h a r t s : C B D : E n c a p s u l a t e d P N : C B D : E n c a p s u l a t e d P N : E n c a p s u l a t e d P N : N e t w

• r

k F

• r

m a l i s m : R e q u i r e m e n t s D i a g r a m M

• d

e l R e q u i r e m e n t s S a f e t y A n a l y s i s H y b r i d S i m u l a t i

• n

E n v T

• C

B D

E n v i r

• n

m e n t D S L C a u s a l B l

• c

k D i a g r a m s

P l a n t T

• C

b d

P l a n t D S L

C

• n

t r

• l

T

• S

c

C

• n

t r

• l

D S L S t a t e c h a r t s N e t w

• r

k F

• r

m a l i s m E n c a p s u l a t e d P e t r i n e t s H y b r i d F

• r

m a l i s m

c

• m

b i n e C B D S c T

• A

U T O S A R S c T

• P

n P l a n t T

• P

n E n v T

• P

N c

• m

b i n e P N

R e a c h a b i l i t y G r a p h H y b r i d S i m u l a

• t

i

• n

T r a c e

S i m u l a t e H y b r i d B u i l d R G R e fi n e N e t w

• r

k M

• d

e l P l a n t M

• d

e l C

• n

t r

• l

M

• d

e l E n v M

• d

e l N e t w

• r

k

S y s M L R e q D i a g r a m C T L

M

• d

e l C

• n

t e x t E x t r a c t R e q u i r e m e n t s T

• S

a f e t y R e q u i r e m e n t E x t r a c t T i m i n g B e h a v i

• u

r

S y s M L U s e C a s e D i a g r a m T e x t u a l R e q u i r e m e n t s

M

• d

e l T e x t u a l R e q C h e c k C t l C h e c k C

• n

t i n u

• u

s

P e t r i n e t s

R e fi n e U s e C a s e s R e fi n e R e q u i r e m e n t s R e fi n e U s e C a s e D e s c r i p t i

• n

M

• d

e l U s e C a s e D e s c r i p t i

• n

: U s e C a s e s : U s e C a s e D i a g r a m U s e C a s e s

: B u i l d R G : C

• m

b i n e P N : C h e c k R e a c h a b l e S t a t e : B

• l

e a n : P e t r i

• N

e t : R e a c h a b i l i t y G r a p h : C T L : R e q u i r e m e n t s D i a g r a m : E n c a p s u l a t e d P N : E n c a p s u l a t e d P N : E n c a p s u l a t e d P N E n c a p s u l a t e d P e t r i n e t s

c

• m

b i n e P N

R e a c h a b i l i t y G r a p h

B u i l d R G

C T L

T

• S

a f e t y R e q u i r e m e n t C h e c k R e a c h a b l e S t a t e

P e t r i n e t s B

• l

e a n : N e t w

• r

k F

• r

m a l i s m : T

• S

a f e t y R e q

SLIDE 28

28

Safety Analysis Models

: S c T

• P

n : P l a n t T

• P

N : E n v T

• P

N : E n c a p s u l a t e d P N : E n c a p s u l a t e d P N : E n c a p s u l a t e d P N : N e t w

• r

k F

• r

m a l i s m S a f e t y A n a l y s i s

SLIDE 29

29

Hybrid Simulation

: M

• d

e l P l a n t : M

• d

e l C

• n

t r

• l

: M

• d

e l E n v : M

• d

e l N e t w

• r

k : C

• n

t r

• l

l e r T

• S

C : S c T

• P

n : P l a n t T

• P

N : E n v T

• P

N : P l a n t T

• C

b d : E n v T

• C

b d A N D F a l s e : R e fi n e N e t w

• r

k T R U E : E x t r a c t T i m i n g B e h a v i

• u

r : B

• l

e a n : B

• l

e a n : C

• n

t r

• l

D S L : P l a n t D S L : E n v i r

• n

m e n t D S L : N e t w

• r

k F

• r

m a l i s m : S t a t e c h a r t s : C B D : E n c a p s u l a t e d P N : C B D : E n c a p s u l a t e d P N : E n c a p s u l a t e d P N : N e t w

• r

k F

• r

m a l i s m : R e q u i r e m e n t s D i a g r a m M

• d

e l R e q u i r e m e n t s S a f e t y A n a l y s i s H y b r i d S i m u l a t i

• n

E n v T

• C

B D

E n v i r

• n

m e n t D S L C a u s a l B l

• c

k D i a g r a m s

P l a n t T

• C

b d

P l a n t D S L

C

• n

t r

• l

T

• S

c

C

• n

t r

• l

D S L S t a t e c h a r t s N e t w

• r

k F

• r

m a l i s m E n c a p s u l a t e d P e t r i n e t s H y b r i d F

• r

m a l i s m

c

• m

b i n e C B D S c T

• A

U T O S A R S c T

• P

n P l a n t T

• P

n E n v T

• P

N c

• m

b i n e P N

R e a c h a b i l i t y G r a p h H y b r i d S i m u l a

• t

i

• n

T r a c e

S i m u l a t e H y b r i d B u i l d R G R e fi n e N e t w

• r

k M

• d

e l P l a n t M

• d

e l C

• n

t r

• l

M

• d

e l E n v M

• d

e l N e t w

• r

k

S y s M L R e q D i a g r a m C T L

M

• d

e l C

• n

t e x t E x t r a c t R e q u i r e m e n t s T

• S

a f e t y R e q u i r e m e n t E x t r a c t T i m i n g B e h a v i

• u

r

S y s M L U s e C a s e D i a g r a m T e x t u a l R e q u i r e m e n t s

M

• d

e l T e x t u a l R e q C h e c k C t l C h e c k C

• n

t i n u

• u

s

P e t r i n e t s

R e fi n e U s e C a s e s R e fi n e R e q u i r e m e n t s R e fi n e U s e C a s e D e s c r i p t i

• n

M

• d

e l U s e C a s e D e s c r i p t i

• n

: U s e C a s e s : U s e C a s e D i a g r a m U s e C a s e s

: C

• m

b i n e C B D : S i m u l a t e H y b r i d : C h e c k C

• n

t i n u

• u

s : H y b r i d C B D : C

• n

t i n u

• u

s T r a c e : B

• l

e a n : N e t w

• r

k F

• r

m a l i s m : C B D : C B D : C B D : S t a t e c h a r t s H y b r i d F

• r

m a l i s m

c

• m

b i n e C B D

H y b r i d S i m u l a t i

• n

T r a c e

S i m u l a t e H y b r i d C h e c k C

• n

t i n u

• u

s

B

• l

e a n

SLIDE 30

30

Hybrid Models and Trace

SLIDE 31

31

Deployment Process

: S c T

• A

U T O S A R : T

• I

n s t r u m e n t e d : A r c h i t e c t u r e D e p l

• y

m e n t : E C U D e p l

• y

m e n t

F a l s e T r u e

: D e t a i l e d D e p l

• y

m e n t

F a l s e T r u e

: S w T

• C

: A r T

• R

t e : A r T

• Mw

: C

• m

b i n e C T R U E : E x t r a c t T i mi n g B e h a v i

• u

r : R e fi n e T i m i n g B e h a v i

• u

r : R e fi n e T i m i n g B e h a v i

• u

r : R e fi n e T i m i n g B e h a v i

• u

r

T r u e

: A U T O S A R : P e r f

• r

m a n c e M

• d

e l : A U T O S A R : A U T O S A R : A U T O S A R : B

• l

e a n : B

• l

e a n : B

• l

e a n : C

• C
• d

e : C

• c
• d

e : C

• c
• d

e : C

• C
• d

e : T I M M O : T I M M O : T I M M O : T I MM O C a l i b r a t i

• n

I n f r a s t r u c t u r e A U T O S A R S c T

• A

U T O S A R C

• c
• d

e S w T

• C

A l g e b r a i c E q u a t i

• n

s T

• S

c h e d u l a b i l i t y A n a l y s i s D E V S T

• D

e p l

• y

m e n t S i m u l a t i

• n

P e r f

• r

m a n c e T r a c e E x e c u t e C a l i b r a t i

• n

P e r f

• r

m a n c e F

• r

m a l i s m E x t r a c t P e r f

• r

m a n c e T

• I

n s t r u m e n t e d A r c h i t e c t u r e D e p l

• y

m e n t T

• B

i n P a c k i n g A n a l y s i s E C U D e p l

• y

m e n t D e t a i l e d D e p l

• y

m e n t A r T

• M

w A r T

• R

t e C c

• m

b i n e C T I M M O E x t r a c t T i m i n g B e h a v i

• u

r R e fi n e T i m i n g B e h a v i

• u

r B

• l

e a n D E V S T r a c e S i m u l a t e D E V S B i n P a c k i n g T r a c e C h e c k D E V S T r a c e S c h e d u l a b i l i t y T r a c e C a l c u l a t e S c h e d u l a b i l i t y C h e c k B i n P a c k i n g G e n e r a t e C a l i b r a t i

• n

C

• m

b i n e C a l i b r a t i

• n

S e a r c h E C U S e a r c h D e t a i l e d C h e c k S c h e d u l a b i l i t y : S e a r c h E C U : S e a r c h D e t a i l e d : S e a r c h A r c h i t e c t u r eF a l s e S c h e d u l a b i l i t y A n a l y s i s D E V S S i m u l a t i

• n

B i n P a c k i n g A n a l y s i s S e a r c h A r c h i t e c t u r e

I n t e g e r

: I n t e g e r : I n t e g e r : I n t e g e r : B i n P a c k i n g T r a c e : S c h e d u l a b i l i t y T r a c e : D E V S T r a c e

1 2 2 1 3 1

l a n g u a g e m a n u a l t r a n s f

• r

m a t i

• n

a u t

• m

a t i c t r a n s f

• r

m a t i

• n

F T G m

• d

e l a r t i f a c t m a n u a l a c t i v i t y a u t

• m

a t i c a c t i v i t y P M

SLIDE 32

32

Deployment

DrvDoor

MPC5567

BodyLogic

MPC5567

PsgDoor

MPC5567

Body

CAN

SWC

ControlDrv

SWC

CmdUp

SWC

UpDrv

SWC

CmdDown

SWC

CmdStop

SLIDE 33

33

Deployment

SWC

ControlDrv

SWC

CmdUp

SWC

UpDrv

SWC

CmdDown

SWC

CmdStop

SWC

DownDrv DrvDoor

MPC5567

BodyLogic

MPC5567

PsgDoor

MPC5567

Body

CAN

SLIDE 34

34

Deployment Models

SLIDE 35

35

Analysis

: T

• B

i n P a c k i n g A n a l y s i s : C h e c k B i n P a c k i n g : C a l c u l a t e B i n P a c k i n g : A l g e b r a i c E q u a t i

• n

s : B

• l

e a n : B i n P a c k i n g T r a c e : T I M M O : A U T O S A R : P e r f

• r

m a n c e M

• d

e l A U T O S A R A l g e b r a i c E q u a t i

• n

s P e r f

• r

m a n c e F

• r

m a l i s m

T

• B

i n P a c k i n g A n a l y s i s

B i n P a c k i n g T r a c e B

• l

e a n

C h e c k B i n P a c k i n g C a l c u l a t e B i n P a c k i n g

: T

• S

c h e d u l a b i l i t y A n a l y s i s : C h e c k S c h e d u l a b i l i t y : C a l c u l a t e S c h e d u l a b i l i t y : A l g e b r a i c E q u a t i

• n

s : B

• l

e a n : S c h e d u l a b i l i t y T r a c e : T I M M O : A U T O S A R : P e r f

• r

m a n c e M

• d

e l A U T O S A R A l g e b r a i c E q u a t i

• n

s P e r f

• r

m a n c e F

• r

m a l i s m

T

• S

c h e d u l a b i l i t y A n a l y s i s

S c h e d u l a b i l i t y T r a c e B

• l

e a n

C h e c k S c h e d u l a b i l i t y C a l c u l a t e S c h e d u l a b i l i t y

SLIDE 36

36

Analysis

: T

• D

e p l

• y

m e n t S i m u l a t i

• n

: C h e c k D E V S T r a c e : S i m u l a t e D E V S : D E V S : B

• l

e a n : D E V S T r a c e : T I M M O : A U T O S A R : P e r f

• r

m a n c e M

• d

e l A U T O S A R D E V S P e r f

• r

m a n c e F

• r

m a l i s m

T

• D

e p l

• y

m e n t S i m u l a t i

• n

D E V S T r a c e B

• l

e a n

C h e c k D E V S T r a c e S i m u l a t e D E V S

SLIDE 37

37

Design-Space Exploration

: S c T

• A

U T O S A R : T

• I

n s t r u m e n t e d : A r c h i t e c t u r e D e p l

• y

m e n t : E C U D e p l

• y

m e n t

F a l s e T r u e

: D e t a i l e d D e p l

• y

m e n t

F a l s e T r u e

: S w T

• C

: A r T

• R

t e : A r T

• Mw

: C

• m

b i n e C T R U E : E x t r a c t T i mi n g B e h a v i

• u

r : R e fi n e T i m i n g B e h a v i

• u

r : R e fi n e T i m i n g B e h a v i

• u

r : R e fi n e T i m i n g B e h a v i

• u

r

T r u e

: A U T O S A R : P e r f

• r

m a n c e M

• d

e l : A U T O S A R : A U T O S A R : A U T O S A R : B

• l

e a n : B

• l

e a n : B

• l

e a n : C

• C
• d

e : C

• c
• d

e : C

• c
• d

e : C

• C
• d

e : T I M M O : T I M M O : T I M M O : T I MM O C a l i b r a t i

• n

I n f r a s t r u c t u r e A U T O S A R S c T

• A

U T O S A R C

• c
• d

e S w T

• C

A l g e b r a i c E q u a t i

• n

s T

• S

c h e d u l a b i l i t y A n a l y s i s D E V S T

• D

e p l

• y

m e n t S i m u l a t i

• n

P e r f

• r

m a n c e T r a c e E x e c u t e C a l i b r a t i

• n

P e r f

• r

m a n c e F

• r

m a l i s m E x t r a c t P e r f

• r

m a n c e T

• I

n s t r u m e n t e d A r c h i t e c t u r e D e p l

• y

m e n t T

• B

i n P a c k i n g A n a l y s i s E C U D e p l

• y

m e n t D e t a i l e d D e p l

• y

m e n t A r T

• M

w A r T

• R

t e C c

• m

b i n e C T I M M O E x t r a c t T i m i n g B e h a v i

• u

r R e fi n e T i m i n g B e h a v i

• u

r B

• l

e a n D E V S T r a c e S i m u l a t e D E V S B i n P a c k i n g T r a c e C h e c k D E V S T r a c e S c h e d u l a b i l i t y T r a c e C a l c u l a t e S c h e d u l a b i l i t y C h e c k B i n P a c k i n g G e n e r a t e C a l i b r a t i

• n

C

• m

b i n e C a l i b r a t i

• n

S e a r c h E C U S e a r c h D e t a i l e d C h e c k S c h e d u l a b i l i t y : S e a r c h E C U : S e a r c h D e t a i l e d : S e a r c h A r c h i t e c t u r eF a l s e S c h e d u l a b i l i t y A n a l y s i s D E V S S i m u l a t i

• n

B i n P a c k i n g A n a l y s i s S e a r c h A r c h i t e c t u r e

I n t e g e r

: I n t e g e r : I n t e g e r : I n t e g e r : B i n P a c k i n g T r a c e : S c h e d u l a b i l i t y T r a c e : D E V S T r a c e

1 2 2 1 3 1

l a n g u a g e m a n u a l t r a n s f

• r

m a t i

• n

a u t

• m

a t i c t r a n s f

• r

m a t i

• n

F T G m

• d

e l a r t i f a c t m a n u a l a c t i v i t y a u t

• m

a t i c a c t i v i t y P M

SLIDE 38

38

Design-Space Exploration

Full$ deployment$ space$ Horizontal$ transforma5ons$ Simulate/Analyse$ Prune$ bad$ solu5ons$

…

Horizontal$ transforma5ons$ Simulate/Analyse$ Prune$ bad$ solu5ons$ Horizontal$ transforma5ons$ Simulate/Analyse$ Prune$ Bad$ Solu5ons$ Refinement$ $ transforma5on$ Refinement$ $ transforma5on$ Start$ model$ Refinement$ $ transforma5on$

Joachim Denil, Antonio Cicchetti, Matthias Biehl, Paul De Meulenaere, Romina Eramo and Serge Demeyer; Automatic Deployment Space Exploration Using Refinement Transformations; Accepted @ MPM Workshop of Models 2011

SLIDE 39

39

Conclusions

 Difgerent ‘Software Engineering Processes’ available (Waterfall, spiral, V, RUP, etc.)  Difgerent Reasons for Modelling a Process:

• Descriptive
• Prescriptive
• Proscriptive

 Difgerent languages available

• For Example Activities
• FTG+PM