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

Process Modelling Joachim Denil & Hans Vangheluwe

System Engineering Requirements Engineering Physical Design Electronic Design Software Design Geometric Design Management 2

Example Process 3

Event/Activity/Process 4

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) 5

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

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

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

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. 9

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

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

(Rational) Unifjed Process 12

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

Capability Maturity Model From: http://performancexpress.org/ 14

Why Explicit Modelling? Descriptive Prescriptive Proscriptive 15

Describing Processes Organizational:  Who Performs?  Where in the organisation? Informational:  Stakeholders?  Descriptions of Activities  …  Artefacts Dynamic:  Products  Sequence of Activities  …  Control-fmow Functional:  Timing  Functional dependencies  …  Data-fmow  Produce – Consume  … 16

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

UML Activities 18

FTG+PM: T yping 19

FTG+PM Enactment 20

Power Window Example Reactive! Real-time! Distributed! Embedded! Heterogeneous! 21

Process Modelling for MPM : U s e C a s e D i a g r a m M o d e l T e x t u a l R e q : U s e C a s e s M o d e l T e x t u a l R e q u i r e m e n t s R e q u i r e m e n t s : R e q u i r e m e n t s D i a g r a m M o d e l C o n t e x t M o d e l U s e C a s e : M o d e l N e t w o r k : M o d e l P l a n t : M o d e l E n v : M o d e l C o n t r o l D e s c r i p t i o n R e fi n e U s e C a s e s : E n v i r o n m e n t : N e t w o r k : C o n t r o l D S L M o d e l E n v M o d e l P l a n t M o d e l C o n t r o l : P l a n t D S L R e fi n e D S L F o r m a l i s m S y s M L U s e U s e U s e C a s e E n v i r o n m e n t D e s c r i p t i o n C a s e D i a g r a m P l a n t D S L C o n t r o l D S L C a s e s D S L : R e fi n e N e t w o r k : C o n t r o l l e r T o S C E n v T o C B D P l a n t T o C b d C o n t r o l T o S c E x t r a c t R e q u i r e m e n t s : S t a t e c h a r t s M o d e l N e t w o r k : N e t w o r k E n v T o P N S c T o P n P l a n t T o P n F o r m a l i s m S y s M L R e q N e t w o r k C a u s a l B l o c k R e fi n e E n c a p s u l a t e d S t a t e c h a r t s D i a g r a m R e q u i r e m e n t s F o r m a l i s m D i a g r a m s P e t r i n e t s R e fi n e N e t w o r k : E n v T o P N : P l a n t T o P N : S c T o P n : E n v T o C b d c o m b i n e P N : P l a n t T o C b d c o m b i n e C B D : E n c a p s u l a t e d P e t r i n e t s P N : C B D : E n c a p s u l a t e d : C B D H y b r i d : E n c a p s u l a t e d B u i l d R G P N F o r m a l i s m P N S i m u l a t e H y b r i d R e a c h a b i l i t y H y b r i d S a f e t y A n a l y s i s G r a p h S i m u l a t i o n H y b r i d S i m u l a - t i o n T r a c e : B o o l e a n : B o o l e a n C h e c k C t l C h e c k C o n t i n u o u s T o S a f e t y R e q u i r e m e n t A N D F a l s e C T L T R U E E x t r a c t : E x t r a c t T i m i n g T i m i n g B e h a v i o u r B e h a v i o u r S c T o A U T O S A R 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 22

: U s e C a s e D i a g r a m M o d e l T e x t u a l R e q : U s e C a s e s M o d e l T e x t u a l R e q u i r e m e n t s R e q u i r e m e n t s : R e q u i r e m e n t s D i a g r a m M o d e l C o n t e x t 23

M o d e l U s e C a s e : M o d e l N e t w o r k : M o d e l P l a n t : M o d e l E n v : M o d e l C o n t r o l D e s c r i p t i o n Controller R e fi n e U s e C a s e s : E n v i r o n m e n t : N e t w o r k : C o n t r o l D S L M o d e l E n v M o d e l P l a n t M o d e l C o n t r o l : P l a n t D S L R e fi n e F o r m a l i s m D S L S y s M L U s e U s e U s e C a s e E n v i r o n m e n t D e s c r i p t i o n C a s e D i a g r a m P l a n t D S L C o n t r o l D S L C a s e s D S L : R e fi n e N e t w o r k : C o n t r o l l e r T o S C E n v T o C B D P l a n t T o C b d C o n t r o l T o S c 24

M o d e l U s e C a s e : M o d e l N e t w o r k : M o d e l P l a n t : M o d e l E n v : M o d e l C o n t r o l D e s c r i p t i o n Plant Model R e fi n e U s e C a s e s : E n v i r o n m e n t : N e t w o r k : C o n t r o l D S L M o d e l E n v M o d e l P l a n t M o d e l C o n t r o l : P l a n t D S L R e fi n e F o r m a l i s m D S L S y s M L U s e U s e U s e C a s e E n v i r o n m e n t D e s c r i p t i o n C a s e D i a g r a m P l a n t D S L C o n t r o l D S L C a s e s D S L : R e fi n e N e t w o r k : C o n t r o l l e r T o S C E n v T o C B D P l a n t T o C b d C o n t r o l T o S c 25

M o d e l U s e C a s e : M o d e l N e t w o r k : M o d e l P l a n t : M o d e l E n v : M o d e l C o n t r o l D e s c r i p t i o n Environment R e fi n e U s e C a s e s : E n v i r o n m e n t : N e t w o r k : C o n t r o l D S L M o d e l E n v M o d e l P l a n t M o d e l C o n t r o l : P l a n t D S L R e fi n e F o r m a l i s m D S L S y s M L U s e U s e U s e C a s e E n v i r o n m e n t D e s c r i p t i o n C a s e D i a g r a m P l a n t D S L C o n t r o l D S L C a s e s D S L : R e fi n e N e t w o r k : C o n t r o l l e r T o S C E n v T o C B D P l a n t T o C b d C o n t r o l T o S c 26