ICO Tutorial
66 Pages
English

ICO Tutorial

-

Downloading requires you to have access to the YouScribe library
Learn all about the services we offer

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

Subjects

Informations

Published by
Reads 98
Language English
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
2aIntroduOverviewteP n iroitcot nsetortnIa Ihe tton ioctdu
ginstToUsasawdryteTibil
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
3seslopmDeveprocent heckObjeCkolOdemom teysesht evorpmIsevitc tkO
ICO Tutorial -
Petri Nets
4
C5noIatnettnashT eifevP teirion to Petri Netitiui evortntcudduroioctAnnant iionclusaConqueshcin seTylisA anton ioctdurontaIselpicnirP steN 
6Arnai cnitnug itcivares  i(n1t)roduction :t wo 
ction :  introdugnc ra swt oaric)(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
ntuitive7An 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 :tcoiaricwt oars ng c(3)crab  ; rtsrataring fo b; prepracvig net argnsierrtst; sat.s da y rerg foitin; warteratsa rac or fgnsit arstt 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 9ctiorodu inttiveerrttas s.y ader rof gnitiaw ;rtersta;  bitwatararcof gts rperpniracar b; enisngg vi ;tsra t4()ra stwo n : ng cracir 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 owticar cngs ar)(5
T4
car a; preparing for start P1=true         
T1
An i10orudi tnitevtniutni 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