ICO Tutorial

Palanque

Description

ADVISES Tutorials:ICO TutorialLIIHS-IRIT, University Toulouse 3Rémi Bastide, David NavarrePhilippe Palanque1`````aa`OverviewIntroduction to Petri netsprinciplesexemples & exercisesverification techniquesIntroduction to the ICOsprinciplesexemple & exercisetool support2Development processModelsRequirements modellingthActivitiesi iterationQualitative analysisMaintain conformance to Maintain task and systemrequirements models consistencySystem modelling Task modellingththi iterationi iterationQuantitative analysisComplexity Performanceevaluation evaluationTowardsNot OkOkCheckImprove theUsabilitysystem model ObjectivesTesting3ICO Tutorial - Petri Nets4aaaaaContentIntroductionAn intuitive introduction to Petri NetsThe five Petri Nets PrinciplesIntroduction to Analysis TechniquesConclusion5An intuitive introduction : two racing cars (1)6An intuitive introduction : two racing cars (2)List of actions List of conditionsP1: car a; preparing for startT1: car a; send ready signP2: car a; waiting for startT2: car a; start raceP3: car a; runningT3: starter; give start signP4: ready sign of car aT4: car b; send ready signP5: start sign for car aP6: starter; waiting for ready signsT5: car b; start raceP7: starter; start sign givenP8: car b; preparing for startP9: car b; waiting for startP10: car b; runningP11: ready sign of car bP12: start sign for car b7An intuitive introduction : two racing cars ...

Informations

• Publié par: Erkyo
• Nombre de lectures: 98
• Langue: English

Extrait

ADVISES Tutorials: ICO Tutorial

LIIHS-IRIT, University Toulouse 3

Rémi Bastide,

David Navarre

Philippe Palanque

1

sCO

` principles

` tool support

` verification techniques

` exemples & exercises

` principles

` exemple & exercise

2 aIntrodu Overview teP n iroitcot nset ortnIa Ihe tton ioctdu

ginst To U s as awdr yt eT ibil

Requirements modelling th i iteration

Quant tative anal sis Complexity Performance evaluation evaluation

Models Activities

Task modellin th i iteration

Qualitative analysis Maintain conformance to  Maintain task and system requirements models consistency

S stem modellin th i iteration

3 seslopmDeveprocent  heck Obje C k o l O demom teys e s ht evorpmI sevitc  tkO

ICO Tutorial -

Petri Nets

4

C 5 no Iatn ettn a s hT eifevP teir ion to Petri Netitiui evortntcud duroioct An n ant i ionclusaCon queshcin seTylisA anton ioctdurontaI selpicnirP steN 

6 A r n a i  c n i t n u g  it c iv ar e s     i ( n 1 t ) roduction :t wo 

ction :  introdu gnc ra s wt o aric)(2

List of actions

T1: car a; send ready sign T2: car a; start race T3: starter; give start sign T4: car b; send ready sign T5: car b; start race

List of conditions

P1: car a; preparing for start P2: car a; waiting for start P3: car a; running P4: ready sign of car a P5: start sign for car a P6: starter; waiting for ready signs P7: starter; start sign given P8: car b; preparing for start P9: car b; waiting for start P10: car b; running P11: ready sign of car b P12: start sign for car b

ntuitive 7 An i

ready sign of car b

start sign for car b

car a; waiting for start

car a; running

ready sign of car a

car b; running

car a; preparing for start

start sign for car b

ready sign of car b

car b; running

car b; waiting for start

car b; preparing for start P8=true

P9

starter; start sign given P7

start sign for car a P5 starter; waiting for ready s. P6=true

ready sign of car a

P4

car a; running

car a; waiting for start

P3

P2

car a; preparing for start P1=true

P11

P10

P12

P12

P10

P11

P8=true

P9

P5 P6=true

P7

P3

P4=true

P1

P2=true

T1

8  iAntni udoriutnevit n :tcoi aric wt o ars ng c(3) crab  ;  rtsrataring fo b; preprac vig net argnsierrtst; sat .s da y rerg foitin; warterats a rac or fgnsit arst t gnitiawrats rof

start sign for car b

ready sign of car b

car b; running

start sign for car a

car a; running ready sign of car a

car a; waiting for start

car a; preparing for start

start sign for car b

ready sign of car b

car b; running

P9

P8=true

P11

P10

P5

P3 P4=true

P7

P6=true

T1

P2=true

P1

starter; waiting for ready s. P6=true

starter; start sign given P7

car b; preparing for start P8=true

car b; waiting for start

car a; waiting for start

car a; running ready sign of car a

start sign for car a

P9

car a; preparing for start P1=true

P2

P3 P4

P5

P12

P12

P11

P10

tniunAi  9 ctiorodu inttive errttas  s.y ader rof gnitiaw ;rtersta ;  bitwa tar arc of gts rperpniracar b;  enisngg vi ;tsra t 4()ra s two n :  ng craci r fog intarst

P12

car b; running ready sign of car b

start sign for car b

car a; waiting for start

car a; running ready sign of car a

start sign for car a

P10 P11=true

P6=true

P7

P8

P9=true

P1

P2=true

P3 P4=true

P5

car b; running ready sign of car b

car b; waiting for start

car a; preparing for start

start sign for car b

starter; waiting for ready s. P6=true

P9

car b; preparing for start P8=true

starter; start sign given P7

car a; waiting for start

P5

start sign for car a

car a; running ready sign of car a

P10 P11

P12

P3 P4

P2

oitc : n owt icar cngs ar)(5

T4

car a; preparing for start P1=true         

T1

An i 10 orudi tnitevtniu tni gawtitsraof rrac ;b  tror fta sparengriac r;bp  g vineart signrter; stats  .s ydaer rfog initwa; errtsat

1

The five Petri Nets Principles a The principle of Duality a The principle of Locality a The principle of Concurrency a The principle of Graphical Representation a The principle of Algebraic Representation 1