You are on page 1of 108

Author: kiran

Document1

_______________________________________________________________

Project: DBStrafficControlSystem
DBStrafficControlSystem.rpy

12/30/2013

Table of Contents

1.

Object Model Diagram Information .......................................................... 17


1.1
1.2
1.3
1.4
1.5
1.6

2.

Object Model Diagram name: Model1 ...................................................................... 17


Object Model Diagram name: DBSphaseTraffic ..................................................... 17
Object Model Diagram name: density model .......................................................... 17
Object Model Diagram name: densitytrafficcomposite .......................................... 18
Object Model Diagram name: timebasedtrafficmodel ............................................ 19
Object Model Diagram name: Timebasedtrafficsysdiagram ................................. 20

Components Information .......................................................................... 20


2.1
Component Name:DefaultComponent ..................................................................... 20
2.1.1 Configuration information for Component: DefaultComponent................................ 20
2.1.1.1
DefaultConfig Configuration ............................................................................ 20
2.1.1.2
DbsDebug Configuration ................................................................................. 21
2.1.1.3
Densitydebug Configuration ............................................................................ 21
2.1.1.4
Timetrafficdebug Configuration ....................................................................... 21
2.1.2 File information for Component: DefaultComponent ............................................... 22
2.1.2.1
Files ................................................................................................................. 22
2.1.3 Panel Diagram Information ...................................................................................... 22
2.1.3.1
Panel Diagram name: DBSTrafficControlSystem ........................................... 22
2.1.3.2
Panel Diagram name: densitytrafficpanneldiagram ........................................ 23
2.1.3.3
Panel Diagram name: timetrafficPannelDiagram ............................................ 24

3.

Package Information ................................................................................. 25


3.1
Package: Default ........................................................................................................ 25
3.1.1 Class Information for Package: Default ................................................................... 25
3.1.1.1
Class name: DBSController ............................................................................ 25
3.1.1.1.1 Attribute Information for Class: DBSController .......................................... 25
3.1.1.1.1.1 Attribute Name: r1ab ........................................................................... 25
3.1.1.1.1.2 Attribute Name: y1ab .......................................................................... 26
3.1.1.1.1.3 Attribute Name: g1ab .......................................................................... 26
3.1.1.1.1.4 Attribute Name: r1ac ........................................................................... 26
3.1.1.1.1.5 Attribute Name: y1ac .......................................................................... 26
3.1.1.1.1.6 Attribute Name: g1ac .......................................................................... 26
3.1.1.1.1.7 Attribute Name: r1ad ........................................................................... 26
3.1.1.1.1.8 Attribute Name: y1ad .......................................................................... 26
3.1.1.1.1.9 Attribute Name: g1ad .......................................................................... 27
3.1.1.1.1.10 Attribute Name: r2bc ......................................................................... 27
3.1.1.1.1.11 Attribute Name: y2bc ........................................................................ 27
3.1.1.1.1.12 Attribute Name: g2bc ........................................................................ 27
3.1.1.1.1.13 Attribute Name: r2bd ......................................................................... 27
3.1.1.1.1.14 Attribute Name: y2bd ........................................................................ 27
3.1.1.1.1.15 Attribute Name: g2bd ........................................................................ 28
3.1.1.1.1.16 Attribute Name: r2ba ......................................................................... 28
3.1.1.1.1.17 Attribute Name: y2ba ........................................................................ 28
3.1.1.1.1.18 Attribute Name: g2ba ........................................................................ 28
3.1.1.1.1.19 Attribute Name: r3cd ......................................................................... 28
3.1.1.1.1.20 Attribute Name: y3cd ........................................................................ 28
3.1.1.1.1.21 Attribute Name: g3cd ........................................................................ 28
3.1.1.1.1.22 Attribute Name: r3ca ......................................................................... 29
3.1.1.1.1.23 Attribute Name: y3ca ........................................................................ 29
3.1.1.1.1.24 Attribute Name: g3ca ........................................................................ 29

3.1.1.1.1.25 Attribute Name: r3cb ......................................................................... 29


3.1.1.1.1.26 Attribute Name: y3cb ........................................................................ 29
3.1.1.1.1.27 Attribute Name: g3cb ........................................................................ 29
3.1.1.1.1.28 Attribute Name: r4da ......................................................................... 29
3.1.1.1.1.29 Attribute Name: y4da ........................................................................ 30
3.1.1.1.1.30 Attribute Name: g4da ........................................................................ 30
3.1.1.1.1.31 Attribute Name: r4db ......................................................................... 30
3.1.1.1.1.32 Attribute Name: y4db ........................................................................ 30
3.1.1.1.1.33 Attribute Name: g4db ........................................................................ 30
3.1.1.1.1.34 Attribute Name: r4dc ......................................................................... 30
3.1.1.1.1.35 Attribute Name: y4dc ........................................................................ 31
3.1.1.1.1.36 Attribute Name: g4dc ........................................................................ 31
3.1.1.1.1.37 Attribute Name: p .............................................................................. 31
3.1.1.1.1.38 Attribute Name: yp ............................................................................ 31
3.1.1.1.2 Operation information for Class: DBSController ........................................ 31
3.1.1.1.2.1 Operation name: phase1 .................................................................... 31
3.1.1.1.2.2 Operation name: phase2 .................................................................... 32
3.1.1.1.2.3 Operation name: phase3 .................................................................... 33
3.1.1.1.2.4 Operation name: phase4 .................................................................... 34
3.1.1.1.2.5 Operation name: phase5 .................................................................... 35
3.1.1.1.2.6 Operation name: phase6 .................................................................... 36
3.1.1.1.2.7 Operation name: phase7 .................................................................... 37
3.1.1.1.2.8 Operation name: phase8 .................................................................... 38
3.1.1.1.2.9 Operation name: yphase1 .................................................................. 39
3.1.1.1.2.10 Operation name: yphase2 ................................................................ 40
3.1.1.1.2.11 Operation name: yphase3 ................................................................ 41
3.1.1.1.2.12 Operation name: yphase4 ................................................................ 42
3.1.1.1.2.13 Operation name: yphase5 ................................................................ 43
3.1.1.1.2.14 Operation name: yphase6 ................................................................ 44
3.1.1.1.2.15 Operation name: yphase7 ................................................................ 45
3.1.1.1.2.16 Operation name: yphase8 ................................................................ 46
3.1.1.1.2.17 Operation name: resetdbs ................................................................ 47
3.1.1.1.2.18 Operation name: DBSController ....................................................... 48
3.1.1.1.3 EventReception information for Class: DBSController .............................. 48
3.1.1.1.3.1 Event Reception name: evStartdbs .................................................... 48
3.1.1.1.3.2 Event Reception name: evStopdbs .................................................... 48
3.1.1.1.3.3 Event Reception name: evresetdbs2 .................................................. 48
3.1.1.1.3.4 Event Reception name: evresetdbs3 .................................................. 48
3.1.1.1.4 Relation information for Class: DBSController ........................................... 48
3.1.1.1.4.1 Relation name: itsPowerDBS ............................................................. 48
3.1.1.1.5 Statechart information for Class: DBSController........................................ 48
3.1.1.1.5.1 State information ................................................................................. 49
3.1.1.1.5.1.1 State: ROOT ................................................................................ 49
3.1.1.1.5.1.1.1 Default Transition information for State ROOT .................... 49
3.1.1.1.5.1.1.2 Incoming Transition information for State ROOT ................. 49
3.1.1.1.5.1.1.3 Outgoing Transition information for State ROOT ................. 49
3.1.1.1.5.1.1.4 State information .................................................................. 50
3.1.1.1.5.1.1.4.1 State: IdleDbs ............................................................... 50
3.1.1.1.5.1.1.4.2 State: RunningDbs........................................................ 50
3.1.1.1.5.1.1.4.3 State information........................................................... 50
3.1.1.1.5.1.1.4.4 State: state_18 .............................................................. 50
3.1.1.1.5.1.1.4.5 Connector information for State state_18 ..................... 50
3.1.1.1.5.1.1.4.6 Connector name: Done ................................................ 50
3.1.1.1.5.1.1.4.7 Incoming Transition information for Connector Done ... 50
3.1.1.1.5.1.1.4.8 Trigger information for Transition 19 ............................ 50
3.1.1.1.5.1.1.4.9 Trigger name: ............................................................... 50

3.1.1.1.5.1.1.4.10 Connector information for Transition 19 ..................... 50


3.1.1.1.5.1.1.4.11 Connector name: Done .............................................. 50
3.1.1.1.5.1.1.4.12 Connector name: Done .............................................. 50
3.1.1.1.5.1.1.4.13 Incoming Transition information for Connector Done . 50
3.1.1.1.5.1.1.4.14 Trigger information for Transition 19 .......................... 50
3.1.1.1.5.1.1.4.15 Trigger name: ............................................................. 50
3.1.1.1.5.1.1.4.16 Connector information for Transition 19 ..................... 50
3.1.1.1.5.1.1.4.17 Connector name: Done .............................................. 51
3.1.1.1.5.1.1.4.18 State information......................................................... 51
3.1.1.1.5.1.1.4.19 State: dbsphase1 ........................................................ 51
3.1.1.1.5.1.1.4.20 State: dbsphase2 ........................................................ 51
3.1.1.1.5.1.1.4.21 State: yelphase1 ......................................................... 51
3.1.1.1.5.1.1.4.22 State: yelphase2 ......................................................... 51
3.1.1.1.5.1.1.4.23 State: dbsphase3 ........................................................ 51
3.1.1.1.5.1.1.4.24 State: yelphase3 ......................................................... 51
3.1.1.1.5.1.1.4.25 State: dbsphase4 ........................................................ 51
3.1.1.1.5.1.1.4.26 State: yelphase4 ......................................................... 51
3.1.1.1.5.1.1.4.27 State: dbsphase5 ........................................................ 51
3.1.1.1.5.1.1.4.28 State: yelphase5 ......................................................... 51
3.1.1.1.5.1.1.4.29 State: dbsphase6 ........................................................ 51
3.1.1.1.5.1.1.4.30 State: yelphase6 ......................................................... 51
3.1.1.1.5.1.1.4.31 State: dbsphase7 ........................................................ 51
3.1.1.1.5.1.1.4.32 State: yelphase7 ......................................................... 51
3.1.1.1.5.1.1.4.33 State: dbsphase8 ........................................................ 51
3.1.1.1.5.1.1.4.34 State: yelphase8 ......................................................... 51
3.1.1.1.5.1.1.4.35 State: state_19 ............................................................ 51
3.1.1.1.5.1.1.4.36 State information......................................................... 51
3.1.1.1.5.1.1.4.37 State: resetdbs1 .......................................................... 51
3.1.1.1.5.1.1.4.38 State: resetdbs2 .......................................................... 51
3.1.1.2
Class name: PowerDBS .................................................................................. 51
3.1.1.2.1 EventReception information for Class: PowerDBS .................................... 52
3.1.1.2.1.1 Event Reception name: evdbsOn ....................................................... 52
3.1.1.2.1.2 Event Reception name: evdbsOff ....................................................... 52
3.1.1.2.2 Relation information for Class: PowerDBS ................................................ 52
3.1.1.2.2.1 Relation name: itsDBSController ........................................................ 52
3.1.1.2.3 Statechart information for Class: PowerDBS ............................................. 52
3.1.1.2.3.1 State information ................................................................................. 52
3.1.1.2.3.1.1 State: ROOT ................................................................................ 52
3.1.1.2.3.1.1.1 Default Transition information for State ROOT .................... 52
3.1.1.2.3.1.1.2 Incoming Transition information for State ROOT ................. 53
3.1.1.2.3.1.1.3 Outgoing Transition information for State ROOT ................. 53
3.1.1.2.3.1.1.4 State information .................................................................. 53
3.1.1.2.3.1.1.4.1 State: dbsOff ................................................................. 53
3.1.1.2.3.1.1.4.2 State: dbsOn ................................................................. 53
3.1.1.3
Class name: DBS_TrafficControl .................................................................... 53
3.1.1.4
Class name: Density_controller ...................................................................... 53
3.1.1.4.1 Attribute Information for Class: Density_controller .................................... 53
3.1.1.4.1.1 Attribute Name: a ................................................................................ 53
3.1.1.4.1.2 Attribute Name: b ................................................................................ 53
3.1.1.4.1.3 Attribute Name: c ................................................................................ 53
3.1.1.4.1.4 Attribute Name: d ................................................................................ 54
3.1.1.4.2 Operation information for Class: Density_controller .................................. 54
3.1.1.4.2.1 Operation name: Density_controller ................................................... 54
3.1.1.4.2.2 Operation name: disp ......................................................................... 54
3.1.1.4.3 EventReception information for Class: Density_controller ......................... 54
3.1.1.4.3.1 Event Reception name: evStartdensity .............................................. 54

3.1.1.4.3.2 Event Reception name: evStopdensity ............................................... 55


3.1.1.4.3.3 Event Reception name: evdenOp1 ..................................................... 55
3.1.1.4.3.4 Event Reception name: evdenOp2 ..................................................... 55
3.1.1.4.3.5 Event Reception name: evdenOp3 ..................................................... 55
3.1.1.4.3.6 Event Reception name: evdenOp4 ..................................................... 55
3.1.1.4.3.7 Event Reception name: evdenybr1..................................................... 55
3.1.1.4.3.8 Event Reception name: evdenybr2..................................................... 55
3.1.1.4.3.9 Event Reception name: evdenybr3..................................................... 55
3.1.1.4.3.10 Event Reception name: evdenybr4 .................................................. 55
3.1.1.4.3.11 Event Reception name: evdenybg1 .................................................. 55
3.1.1.4.3.12 Event Reception name: evdenybg2 .................................................. 55
3.1.1.4.3.13 Event Reception name: evdenybg3 .................................................. 55
3.1.1.4.3.14 Event Reception name: evdenybg4 .................................................. 55
3.1.1.4.3.15 Event Reception name: evdenred1 .................................................. 56
3.1.1.4.3.16 Event Reception name: evdenred2 .................................................. 56
3.1.1.4.3.17 Event Reception name: evdenred3 .................................................. 56
3.1.1.4.3.18 Event Reception name: evdenred4 .................................................. 56
3.1.1.4.3.19 Event Reception name: evdenyellow1 ............................................. 56
3.1.1.4.3.20 Event Reception name: evdenyellow2 ............................................. 56
3.1.1.4.3.21 Event Reception name: evdenyellow3 ............................................. 56
3.1.1.4.3.22 Event Reception name: evdenyellow4 ............................................. 56
3.1.1.4.3.23 Event Reception name: evdengreen1 .............................................. 56
3.1.1.4.3.24 Event Reception name: evdengreen2 .............................................. 56
3.1.1.4.3.25 Event Reception name: evdengreen3 .............................................. 56
3.1.1.4.3.26 Event Reception name: evdengreen4 .............................................. 56
3.1.1.4.3.27 Event Reception name: evdenyb1 .................................................... 57
3.1.1.4.3.28 Event Reception name: evdenyb2 .................................................... 57
3.1.1.4.3.29 Event Reception name: evdenyb3 .................................................... 57
3.1.1.4.3.30 Event Reception name: evdenyb4 .................................................... 57
3.1.1.4.3.31 Event Reception name: evrs1........................................................... 57
3.1.1.4.3.32 Event Reception name: evrs2........................................................... 57
3.1.1.4.3.33 Event Reception name: evrs3........................................................... 57
3.1.1.4.3.34 Event Reception name: evrs4........................................................... 57
3.1.1.4.3.35 Event Reception name: evres1......................................................... 57
3.1.1.4.3.36 Event Reception name: evres2......................................................... 57
3.1.1.4.3.37 Event Reception name: evres3......................................................... 57
3.1.1.4.3.38 Event Reception name: evres4......................................................... 57
3.1.1.4.4 Statechart information for Class: Density_controller .................................. 57
3.1.1.4.4.1 State information ................................................................................. 58
3.1.1.4.4.1.1 State: ROOT ................................................................................ 58
3.1.1.4.4.1.1.1 Default Transition information for State ROOT .................... 58
3.1.1.4.4.1.1.2 Incoming Transition information for State ROOT ................. 58
3.1.1.4.4.1.1.3 Outgoing Transition information for State ROOT ................. 59
3.1.1.4.4.1.1.4 State information .................................................................. 59
3.1.1.4.4.1.1.4.1 State: Idle_density ........................................................ 59
3.1.1.4.4.1.1.4.2 State: Running_density ................................................ 59
3.1.1.4.4.1.1.4.3 State information........................................................... 59
3.1.1.4.4.1.1.4.4 State: state_8 ................................................................ 59
3.1.1.4.4.1.1.4.5 State information........................................................... 59
3.1.1.4.4.1.1.4.6 State: dench1 ................................................................ 59
3.1.1.4.4.1.1.4.7 State: denybr1 .............................................................. 59
3.1.1.4.4.1.1.4.8 State: denred1 .............................................................. 59
3.1.1.4.4.1.1.4.9 State: denyellow1 ......................................................... 59
3.1.1.4.4.1.1.4.10 State: denybg1............................................................ 59
3.1.1.4.4.1.1.4.11 State: dengreen1 ........................................................ 59
3.1.1.4.4.1.1.4.12 State: denop1 ............................................................. 59

3.1.1.4.4.1.1.4.13 State: denyb1 .............................................................. 59


3.1.1.4.4.1.1.4.14 State: rs1 .................................................................... 59
3.1.1.4.4.1.1.4.15 State: state_9 .............................................................. 59
3.1.1.4.4.1.1.4.16 State information......................................................... 59
3.1.1.4.4.1.1.4.17 State: denybr2 ............................................................ 59
3.1.1.4.4.1.1.4.18 State: denred2 ............................................................ 59
3.1.1.4.4.1.1.4.19 State: denyellow2 ....................................................... 59
3.1.1.4.4.1.1.4.20 State: denybg2............................................................ 59
3.1.1.4.4.1.1.4.21 State: dengreen2 ........................................................ 59
3.1.1.4.4.1.1.4.22 State: denop2 ............................................................. 59
3.1.1.4.4.1.1.4.23 State: denyb2 .............................................................. 60
3.1.1.4.4.1.1.4.24 State: dench2 .............................................................. 60
3.1.1.4.4.1.1.4.25 State: rs2 .................................................................... 60
3.1.1.4.4.1.1.4.26 State: state_16 ............................................................ 60
3.1.1.4.4.1.1.4.27 State information......................................................... 60
3.1.1.4.4.1.1.4.28 State: denybr3 ............................................................ 60
3.1.1.4.4.1.1.4.29 State: denred3 ............................................................ 60
3.1.1.4.4.1.1.4.30 State: denyellow3 ....................................................... 60
3.1.1.4.4.1.1.4.31 State: denybg3............................................................ 60
3.1.1.4.4.1.1.4.32 State: dengreen3 ........................................................ 60
3.1.1.4.4.1.1.4.33 State: denop3 ............................................................. 60
3.1.1.4.4.1.1.4.34 State: denyb3 .............................................................. 60
3.1.1.4.4.1.1.4.35 State: dench3 .............................................................. 60
3.1.1.4.4.1.1.4.36 State: rs3 .................................................................... 60
3.1.1.4.4.1.1.4.37 State: state_41 ............................................................ 60
3.1.1.4.4.1.1.4.38 State information......................................................... 60
3.1.1.4.4.1.1.4.39 State: denybr4 ............................................................ 60
3.1.1.4.4.1.1.4.40 State: denred4 ............................................................ 60
3.1.1.4.4.1.1.4.41 State: denyellow4 ....................................................... 60
3.1.1.4.4.1.1.4.42 State: denybg4............................................................ 60
3.1.1.4.4.1.1.4.43 State: dengreen4 ........................................................ 60
3.1.1.4.4.1.1.4.44 State: denop4 ............................................................. 60
3.1.1.4.4.1.1.4.45 State: denyb4 .............................................................. 60
3.1.1.4.4.1.1.4.46 State: dench4 .............................................................. 60
3.1.1.4.4.1.1.4.47 State: rs4 .................................................................... 60
3.1.1.5
Class name: Power_density ............................................................................ 61
3.1.1.5.1 EventReception information for Class: Power_density .............................. 61
3.1.1.5.1.1 Event Reception name: evdensityOn ................................................. 61
3.1.1.5.1.2 Event Reception name: evdensityOff ................................................. 61
3.1.1.5.2 Relation information for Class: Power_density .......................................... 61
3.1.1.5.2.1 Relation name: itsDensity_controller .................................................. 61
3.1.1.5.3 Statechart information for Class: Power_density ....................................... 61
3.1.1.5.3.1 State information ................................................................................. 61
3.1.1.5.3.1.1 State: ROOT ................................................................................ 61
3.1.1.5.3.1.1.1 Default Transition information for State ROOT .................... 61
3.1.1.5.3.1.1.2 Incoming Transition information for State ROOT ................. 62
3.1.1.5.3.1.1.3 Outgoing Transition information for State ROOT ................. 62
3.1.1.5.3.1.1.4 State information .................................................................. 62
3.1.1.5.3.1.1.4.1 State: Density_Off......................................................... 62
3.1.1.5.3.1.1.4.2 State: Density_On ......................................................... 62
3.1.1.6
Class name: Densitytrafficcompositeclassdiagram......................................... 62
3.1.1.7
Class name: button0 ....................................................................................... 62
3.1.1.7.1 EventReception information for Class: button0.......................................... 62
3.1.1.7.1.1 Event Reception name: evonb0 .......................................................... 62
3.1.1.7.1.2 Event Reception name: evoffb0.......................................................... 62
3.1.1.7.2 Relation information for Class: button0 ...................................................... 62

3.1.1.7.2.1 Relation name: itsDensity_controller .................................................. 62


3.1.1.7.3 Statechart information for Class: button0................................................... 63
3.1.1.7.3.1 State information ................................................................................. 63
3.1.1.7.3.1.1 State: ROOT ................................................................................ 63
3.1.1.7.3.1.1.1 Default Transition information for State ROOT .................... 63
3.1.1.7.3.1.1.2 Incoming Transition information for State ROOT ................. 63
3.1.1.7.3.1.1.3 Outgoing Transition information for State ROOT ................. 63
3.1.1.7.3.1.1.4 State information .................................................................. 63
3.1.1.7.3.1.1.4.1 State: off ....................................................................... 63
3.1.1.7.3.1.1.4.2 State: on ....................................................................... 63
3.1.1.8
Class name: button1 ....................................................................................... 63
3.1.1.8.1 EventReception information for Class: button1.......................................... 64
3.1.1.8.1.1 Event Reception name: evonb1 .......................................................... 64
3.1.1.8.1.2 Event Reception name: evoffb1.......................................................... 64
3.1.1.8.2 Relation information for Class: button1 ...................................................... 64
3.1.1.8.2.1 Relation name: itsDensity_controller .................................................. 64
3.1.1.8.3 Statechart information for Class: button1................................................... 64
3.1.1.8.3.1 State information ................................................................................. 64
3.1.1.8.3.1.1 State: ROOT ................................................................................ 64
3.1.1.8.3.1.1.1 Default Transition information for State ROOT .................... 64
3.1.1.8.3.1.1.2 Incoming Transition information for State ROOT ................. 64
3.1.1.8.3.1.1.3 Outgoing Transition information for State ROOT ................. 65
3.1.1.8.3.1.1.4 State information .................................................................. 65
3.1.1.8.3.1.1.4.1 State: off ....................................................................... 65
3.1.1.8.3.1.1.4.2 State: on ....................................................................... 65
3.1.1.9
Class name: button3 ....................................................................................... 65
3.1.1.9.1 EventReception information for Class: button3.......................................... 65
3.1.1.9.1.1 Event Reception name: evonb3 .......................................................... 65
3.1.1.9.1.2 Event Reception name: evoffb3.......................................................... 65
3.1.1.9.2 Relation information for Class: button3 ...................................................... 65
3.1.1.9.2.1 Relation name: itsDensity_controller .................................................. 65
3.1.1.9.3 Statechart information for Class: button3................................................... 65
3.1.1.9.3.1 State information ................................................................................. 66
3.1.1.9.3.1.1 State: ROOT ................................................................................ 66
3.1.1.9.3.1.1.1 Default Transition information for State ROOT .................... 66
3.1.1.9.3.1.1.2 Incoming Transition information for State ROOT ................. 66
3.1.1.9.3.1.1.3 Outgoing Transition information for State ROOT ................. 66
3.1.1.9.3.1.1.4 State information .................................................................. 66
3.1.1.9.3.1.1.4.1 State: off ....................................................................... 66
3.1.1.9.3.1.1.4.2 State: on ....................................................................... 66
3.1.1.10 Class name: button4 ....................................................................................... 66
3.1.1.10.1 EventReception information for Class: button4 ....................................... 66
3.1.1.10.1.1 Event Reception name: evonb4........................................................ 66
3.1.1.10.1.2 Event Reception name: evoffb4........................................................ 66
3.1.1.10.2 Relation information for Class: button4 .................................................... 67
3.1.1.10.2.1 Relation name: itsDensity_controller ................................................ 67
3.1.1.10.3 Statechart information for Class: button4................................................. 67
3.1.1.10.3.1 State information ............................................................................... 67
3.1.1.10.3.1.1 State: ROOT .............................................................................. 67
3.1.1.10.3.1.1.1 Default Transition information for State ROOT .................. 67
3.1.1.10.3.1.1.2 Incoming Transition information for State ROOT ............... 67
3.1.1.10.3.1.1.3 Outgoing Transition information for State ROOT ............... 67
3.1.1.10.3.1.1.4 State information ................................................................ 67
3.1.1.10.3.1.1.4.1 State: off ..................................................................... 67
3.1.1.10.3.1.1.4.2 State: on ..................................................................... 67
3.1.1.11 Class name: button5 ....................................................................................... 68

3.1.1.11.1 EventReception information for Class: button5 ....................................... 68


3.1.1.11.1.1 Event Reception name: evonb5........................................................ 68
3.1.1.11.1.2 Event Reception name: evoffb5........................................................ 68
3.1.1.11.2 Relation information for Class: button5 .................................................... 68
3.1.1.11.2.1 Relation name: itsDensity_controller ................................................ 68
3.1.1.11.3 Statechart information for Class: button5................................................. 68
3.1.1.11.3.1 State information ............................................................................... 68
3.1.1.11.3.1.1 State: ROOT .............................................................................. 68
3.1.1.11.3.1.1.1 Default Transition information for State ROOT .................. 68
3.1.1.11.3.1.1.2 Incoming Transition information for State ROOT ............... 69
3.1.1.11.3.1.1.3 Outgoing Transition information for State ROOT ............... 69
3.1.1.11.3.1.1.4 State information ................................................................ 69
3.1.1.11.3.1.1.4.1 State: off ..................................................................... 69
3.1.1.11.3.1.1.4.2 State: on ..................................................................... 69
3.1.1.12 Class name: button6 ....................................................................................... 69
3.1.1.12.1 EventReception information for Class: button6 ....................................... 69
3.1.1.12.1.1 Event Reception name: evonb6........................................................ 69
3.1.1.12.1.2 Event Reception name: evoffb6........................................................ 69
3.1.1.12.2 Relation information for Class: button6 .................................................... 69
3.1.1.12.2.1 Relation name: itsDensity_controller ................................................ 69
3.1.1.12.3 Statechart information for Class: button6................................................. 69
3.1.1.12.3.1 State information ............................................................................... 70
3.1.1.12.3.1.1 State: ROOT .............................................................................. 70
3.1.1.12.3.1.1.1 Default Transition information for State ROOT .................. 70
3.1.1.12.3.1.1.2 Incoming Transition information for State ROOT ............... 70
3.1.1.12.3.1.1.3 Outgoing Transition information for State ROOT ............... 70
3.1.1.12.3.1.1.4 State information ................................................................ 70
3.1.1.12.3.1.1.4.1 State: off ..................................................................... 70
3.1.1.12.3.1.1.4.2 State: on ..................................................................... 70
3.1.1.13 Class name: button7 ....................................................................................... 70
3.1.1.13.1 EventReception information for Class: button7 ....................................... 70
3.1.1.13.1.1 Event Reception name: evonb7........................................................ 70
3.1.1.13.1.2 Event Reception name: evoffb7........................................................ 70
3.1.1.13.2 Relation information for Class: button7 .................................................... 71
3.1.1.13.2.1 Relation name: itsDensity_controller ................................................ 71
3.1.1.13.3 Statechart information for Class: button7................................................. 71
3.1.1.13.3.1 State information ............................................................................... 71
3.1.1.13.3.1.1 State: ROOT .............................................................................. 71
3.1.1.13.3.1.1.1 Default Transition information for State ROOT .................. 71
3.1.1.13.3.1.1.2 Incoming Transition information for State ROOT ............... 71
3.1.1.13.3.1.1.3 Outgoing Transition information for State ROOT ............... 71
3.1.1.13.3.1.1.4 State information ................................................................ 71
3.1.1.13.3.1.1.4.1 State: off ..................................................................... 71
3.1.1.13.3.1.1.4.2 State: on ..................................................................... 71
3.1.1.14 Class name: button8 ....................................................................................... 72
3.1.1.14.1 EventReception information for Class: button8 ....................................... 72
3.1.1.14.1.1 Event Reception name: evonb8........................................................ 72
3.1.1.14.1.2 Event Reception name: evoffb8........................................................ 72
3.1.1.14.2 Relation information for Class: button8 .................................................... 72
3.1.1.14.2.1 Relation name: itsDensity_controller ................................................ 72
3.1.1.14.3 Statechart information for Class: button8................................................. 72
3.1.1.14.3.1 State information ............................................................................... 73
3.1.1.14.3.1.1 State: ROOT .............................................................................. 73
3.1.1.14.3.1.1.1 Default Transition information for State ROOT .................. 73
3.1.1.14.3.1.1.2 Incoming Transition information for State ROOT ............... 73
3.1.1.14.3.1.1.3 Outgoing Transition information for State ROOT ............... 73

3.1.1.14.3.1.1.4 State information ................................................................ 73


3.1.1.14.3.1.1.4.1 State: off ..................................................................... 73
3.1.1.14.3.1.1.4.2 State: on ..................................................................... 73
3.1.1.15 Class name: button9 ....................................................................................... 73
3.1.1.15.1 EventReception information for Class: button9 ....................................... 73
3.1.1.15.1.1 Event Reception name: evonb9........................................................ 73
3.1.1.15.1.2 Event Reception name: evoffb9........................................................ 73
3.1.1.15.2 Relation information for Class: button9 .................................................... 73
3.1.1.15.2.1 Relation name: itsDensity_controller ................................................ 73
3.1.1.15.3 Statechart information for Class: button9................................................. 74
3.1.1.15.3.1 State information ............................................................................... 74
3.1.1.15.3.1.1 State: ROOT .............................................................................. 74
3.1.1.15.3.1.1.1 Default Transition information for State ROOT .................. 74
3.1.1.15.3.1.1.2 Incoming Transition information for State ROOT ............... 74
3.1.1.15.3.1.1.3 Outgoing Transition information for State ROOT ............... 74
3.1.1.15.3.1.1.4 State information ................................................................ 74
3.1.1.15.3.1.1.4.1 State: off ..................................................................... 74
3.1.1.15.3.1.1.4.2 State: on ..................................................................... 74
3.1.1.16 Class name: button10 ..................................................................................... 74
3.1.1.16.1 EventReception information for Class: button10 ..................................... 75
3.1.1.16.1.1 Event Reception name: evonb10 ..................................................... 75
3.1.1.16.1.2 Event Reception name: evoffb10 ..................................................... 75
3.1.1.16.2 Relation information for Class: button10 .................................................. 75
3.1.1.16.2.1 Relation name: itsDensity_controller ................................................ 75
3.1.1.16.3 Statechart information for Class: button10............................................... 75
3.1.1.16.3.1 State information ............................................................................... 75
3.1.1.16.3.1.1 State: ROOT .............................................................................. 75
3.1.1.16.3.1.1.1 Default Transition information for State ROOT .................. 75
3.1.1.16.3.1.1.2 Incoming Transition information for State ROOT ............... 75
3.1.1.16.3.1.1.3 Outgoing Transition information for State ROOT ............... 76
3.1.1.16.3.1.1.4 State information ................................................................ 76
3.1.1.16.3.1.1.4.1 State: off ..................................................................... 76
3.1.1.16.3.1.1.4.2 State: on ..................................................................... 76
3.1.1.17 Class name: button2 ....................................................................................... 76
3.1.1.17.1 EventReception information for Class: button2 ....................................... 76
3.1.1.17.1.1 Event Reception name: evonb2........................................................ 76
3.1.1.17.1.2 Event Reception name: evoffb2........................................................ 76
3.1.1.17.2 Relation information for Class: button2 .................................................... 76
3.1.1.17.2.1 Relation name: itsDensity_controller ................................................ 76
3.1.1.17.3 Statechart information for Class: button2................................................. 76
3.1.1.17.3.1 State information ............................................................................... 77
3.1.1.17.3.1.1 State: ROOT .............................................................................. 77
3.1.1.17.3.1.1.1 Default Transition information for State ROOT .................. 77
3.1.1.17.3.1.1.2 Incoming Transition information for State ROOT ............... 77
3.1.1.17.3.1.1.3 Outgoing Transition information for State ROOT ............... 77
3.1.1.17.3.1.1.4 State information ................................................................ 77
3.1.1.17.3.1.1.4.1 State: off ..................................................................... 77
3.1.1.17.3.1.1.4.2 State: on ..................................................................... 77
3.1.1.18 Class name: button11 ..................................................................................... 77
3.1.1.18.1 EventReception information for Class: button11 ..................................... 77
3.1.1.18.1.1 Event Reception name: evonb11 ..................................................... 77
3.1.1.18.1.2 Event Reception name: evoffb11 ..................................................... 77
3.1.1.18.2 Relation information for Class: button11 .................................................. 78
3.1.1.18.2.1 Relation name: itsDensity_controller ................................................ 78
3.1.1.18.3 Statechart information for Class: button11............................................... 78
3.1.1.18.3.1 State information ............................................................................... 78

3.1.1.18.3.1.1 State: ROOT .............................................................................. 78


3.1.1.18.3.1.1.1 Default Transition information for State ROOT .................. 78
3.1.1.18.3.1.1.2 Incoming Transition information for State ROOT ............... 78
3.1.1.18.3.1.1.3 Outgoing Transition information for State ROOT ............... 78
3.1.1.18.3.1.1.4 State information ................................................................ 78
3.1.1.18.3.1.1.4.1 State: off ..................................................................... 78
3.1.1.18.3.1.1.4.2 State: on ..................................................................... 79
3.1.1.19 Class name: button12 ..................................................................................... 79
3.1.1.19.1 EventReception information for Class: button12 ..................................... 79
3.1.1.19.1.1 Event Reception name: evonb12 ..................................................... 79
3.1.1.19.1.2 Event Reception name: evoffb12 ..................................................... 79
3.1.1.19.2 Relation information for Class: button12 .................................................. 79
3.1.1.19.2.1 Relation name: itsDensity_controller ................................................ 79
3.1.1.19.3 Statechart information for Class: button12............................................... 79
3.1.1.19.3.1 State information ............................................................................... 80
3.1.1.19.3.1.1 State: ROOT .............................................................................. 80
3.1.1.19.3.1.1.1 Default Transition information for State ROOT .................. 80
3.1.1.19.3.1.1.2 Incoming Transition information for State ROOT ............... 80
3.1.1.19.3.1.1.3 Outgoing Transition information for State ROOT ............... 80
3.1.1.19.3.1.1.4 State information ................................................................ 80
3.1.1.19.3.1.1.4.1 State: off ..................................................................... 80
3.1.1.19.3.1.1.4.2 State: on ..................................................................... 80
3.1.1.20 Class name: button13 ..................................................................................... 80
3.1.1.20.1 EventReception information for Class: button13 ..................................... 80
3.1.1.20.1.1 Event Reception name: evonb13 ..................................................... 80
3.1.1.20.1.2 Event Reception name: evoffb13 ..................................................... 80
3.1.1.20.2 Relation information for Class: button13 .................................................. 80
3.1.1.20.2.1 Relation name: itsDensity_controller ................................................ 80
3.1.1.20.3 Statechart information for Class: button13............................................... 81
3.1.1.20.3.1 State information ............................................................................... 81
3.1.1.20.3.1.1 State: ROOT .............................................................................. 81
3.1.1.20.3.1.1.1 Default Transition information for State ROOT .................. 81
3.1.1.20.3.1.1.2 Incoming Transition information for State ROOT ............... 81
3.1.1.20.3.1.1.3 Outgoing Transition information for State ROOT ............... 81
3.1.1.20.3.1.1.4 State information ................................................................ 81
3.1.1.20.3.1.1.4.1 State: off ..................................................................... 81
3.1.1.20.3.1.1.4.2 State: on ..................................................................... 81
3.1.1.21 Class name: button14 ..................................................................................... 81
3.1.1.21.1 EventReception information for Class: button14 ..................................... 82
3.1.1.21.1.1 Event Reception name: evonb14 ..................................................... 82
3.1.1.21.1.2 Event Reception name: evoffb14 ..................................................... 82
3.1.1.21.2 Relation information for Class: button14 .................................................. 82
3.1.1.21.2.1 Relation name: itsDensity_controller ................................................ 82
3.1.1.21.3 Statechart information for Class: button14............................................... 82
3.1.1.21.3.1 State information ............................................................................... 82
3.1.1.21.3.1.1 State: ROOT .............................................................................. 82
3.1.1.21.3.1.1.1 Default Transition information for State ROOT .................. 82
3.1.1.21.3.1.1.2 Incoming Transition information for State ROOT ............... 82
3.1.1.21.3.1.1.3 Outgoing Transition information for State ROOT ............... 83
3.1.1.21.3.1.1.4 State information ................................................................ 83
3.1.1.21.3.1.1.4.1 State: off ..................................................................... 83
3.1.1.21.3.1.1.4.2 State: on ..................................................................... 83
3.1.1.22 Class name: button16 ..................................................................................... 83
3.1.1.22.1 EventReception information for Class: button16 ..................................... 83
3.1.1.22.1.1 Event Reception name: evonb16 ..................................................... 83
3.1.1.22.1.2 Event Reception name: evoffb16 ..................................................... 83

10

3.1.1.22.2 Relation information for Class: button16 .................................................. 83


3.1.1.22.2.1 Relation name: itsDensity_controller ................................................ 83
3.1.1.22.3 Statechart information for Class: button16............................................... 83
3.1.1.22.3.1 State information ............................................................................... 84
3.1.1.22.3.1.1 State: ROOT .............................................................................. 84
3.1.1.22.3.1.1.1 Default Transition information for State ROOT .................. 84
3.1.1.22.3.1.1.2 Incoming Transition information for State ROOT ............... 84
3.1.1.22.3.1.1.3 Outgoing Transition information for State ROOT ............... 84
3.1.1.22.3.1.1.4 State information ................................................................ 84
3.1.1.22.3.1.1.4.1 State: off ..................................................................... 84
3.1.1.22.3.1.1.4.2 State: on ..................................................................... 84
3.1.1.23 Class name: button17 ..................................................................................... 84
3.1.1.23.1 EventReception information for Class: button17 ..................................... 84
3.1.1.23.1.1 Event Reception name: evonb17 ..................................................... 84
3.1.1.23.1.2 Event Reception name: evoffb17 ..................................................... 84
3.1.1.23.2 Relation information for Class: button17 .................................................. 85
3.1.1.23.2.1 Relation name: itsDensity_controller ................................................ 85
3.1.1.23.3 Statechart information for Class: button17............................................... 85
3.1.1.23.3.1 State information ............................................................................... 85
3.1.1.23.3.1.1 State: ROOT .............................................................................. 85
3.1.1.23.3.1.1.1 Default Transition information for State ROOT .................. 85
3.1.1.23.3.1.1.2 Incoming Transition information for State ROOT ............... 85
3.1.1.23.3.1.1.3 Outgoing Transition information for State ROOT ............... 85
3.1.1.23.3.1.1.4 State information ................................................................ 85
3.1.1.23.3.1.1.4.1 State: off ..................................................................... 85
3.1.1.23.3.1.1.4.2 State: on ..................................................................... 85
3.1.1.24 Class name: button15 ..................................................................................... 86
3.1.1.24.1 EventReception information for Class: button15 ..................................... 86
3.1.1.24.1.1 Event Reception name: evonb15 ..................................................... 86
3.1.1.24.1.2 Event Reception name: evoffb15 ..................................................... 86
3.1.1.24.2 Relation information for Class: button15 .................................................. 86
3.1.1.24.2.1 Relation name: itsDensity_controller ................................................ 86
3.1.1.24.3 Statechart information for Class: button15............................................... 86
3.1.1.24.3.1 State information ............................................................................... 86
3.1.1.24.3.1.1 State: ROOT .............................................................................. 86
3.1.1.24.3.1.1.1 Default Transition information for State ROOT .................. 86
3.1.1.24.3.1.1.2 Incoming Transition information for State ROOT ............... 87
3.1.1.24.3.1.1.3 Outgoing Transition information for State ROOT ............... 87
3.1.1.24.3.1.1.4 State information ................................................................ 87
3.1.1.24.3.1.1.4.1 State: off ..................................................................... 87
3.1.1.24.3.1.1.4.2 State: on ..................................................................... 87
3.1.1.25 Class name: TimeController............................................................................ 87
3.1.1.25.1 Attribute Information for Class: TimeController ........................................ 87
3.1.1.25.1.1 Attribute Name: t ............................................................................... 87
3.1.1.25.2 Operation information for Class: TimeController ..................................... 87
3.1.1.25.2.1 Operation name: TimeController ...................................................... 87
3.1.1.25.3 EventReception information for Class: TimeController ............................ 88
3.1.1.25.3.1 Event Reception name: evStarttime ................................................. 88
3.1.1.25.3.2 Event Reception name: evStoptime ................................................. 88
3.1.1.25.4 Statechart information for Class: TimeController ..................................... 88
3.1.1.25.4.1 State information ............................................................................... 89
3.1.1.25.4.1.1 State: ROOT .............................................................................. 89
3.1.1.25.4.1.1.1 Default Transition information for State ROOT .................. 89
3.1.1.25.4.1.1.2 Incoming Transition information for State ROOT ............... 89
3.1.1.25.4.1.1.3 Outgoing Transition information for State ROOT ............... 89
3.1.1.25.4.1.1.4 State information ................................................................ 89

11

3.1.1.25.4.1.1.4.1 State: Idletime ............................................................. 89


3.1.1.25.4.1.1.4.2 State: Runningtime ..................................................... 89
3.1.1.25.4.1.1.4.3 State information......................................................... 89
3.1.1.25.4.1.1.4.4 State: state_6 .............................................................. 89
3.1.1.25.4.1.1.4.5 State information......................................................... 89
3.1.1.25.4.1.1.4.6 State: red1 .................................................................. 89
3.1.1.25.4.1.1.4.7 State: yellow1 ............................................................. 89
3.1.1.25.4.1.1.4.8 State: green1 .............................................................. 89
3.1.1.25.4.1.1.4.9 State: yellowblink1 ...................................................... 89
3.1.1.25.4.1.1.4.10 State: state_7............................................................ 89
3.1.1.25.4.1.1.4.11 State information....................................................... 89
3.1.1.25.4.1.1.4.12 State: red2 ................................................................ 89
3.1.1.25.4.1.1.4.13 State: yellow2 ........................................................... 89
3.1.1.25.4.1.1.4.14 State: green2 ............................................................ 89
3.1.1.25.4.1.1.4.15 State: yellowblink2 .................................................... 89
3.1.1.25.4.1.1.4.16 State: state_12.......................................................... 90
3.1.1.25.4.1.1.4.17 State information....................................................... 90
3.1.1.25.4.1.1.4.18 State: red3 ................................................................ 90
3.1.1.25.4.1.1.4.19 State: yellow3 ........................................................... 90
3.1.1.25.4.1.1.4.20 State: green3 ............................................................ 90
3.1.1.25.4.1.1.4.21 State: yellowblink3 .................................................... 90
3.1.1.25.4.1.1.4.22 State: state_17.......................................................... 90
3.1.1.25.4.1.1.4.23 State information....................................................... 90
3.1.1.25.4.1.1.4.24 State: red4 ................................................................ 90
3.1.1.25.4.1.1.4.25 State: yellow4 ........................................................... 90
3.1.1.25.4.1.1.4.26 State: green4 ............................................................ 90
3.1.1.25.4.1.1.4.27 State: yellowblink4 .................................................... 90
3.1.1.26 Class name: Powertime .................................................................................. 90
3.1.1.26.1 EventReception information for Class: Powertime .................................. 90
3.1.1.26.1.1 Event Reception name: evtimeoff ..................................................... 90
3.1.1.26.1.2 Event Reception name: evtimeon ..................................................... 90
3.1.1.26.2 Relation information for Class: Powertime ............................................... 90
3.1.1.26.2.1 Relation name: itsTimeController ..................................................... 90
3.1.1.26.3 Statechart information for Class: Powertime............................................ 91
3.1.1.26.3.1 State information ............................................................................... 91
3.1.1.26.3.1.1 State: ROOT .............................................................................. 91
3.1.1.26.3.1.1.1 Default Transition information for State ROOT .................. 91
3.1.1.26.3.1.1.2 Incoming Transition information for State ROOT ............... 91
3.1.1.26.3.1.1.3 Outgoing Transition information for State ROOT ............... 91
3.1.1.26.3.1.1.4 State information ................................................................ 91
3.1.1.26.3.1.1.4.1 State: Timeoff ............................................................. 91
3.1.1.26.3.1.1.4.2 State: TimeOn............................................................. 91
3.1.1.27 Class name: Timebasedtracompdiagram ....................................................... 91
3.1.2 Event information for Package Default .................................................................... 92
3.1.2.1
Event name: evStartdbs .................................................................................. 92
3.1.2.2
Event name: evStopdbs .................................................................................. 92
3.1.2.3
Event name: evdbsOn ..................................................................................... 92
3.1.2.4
Event name: evdbsOff ..................................................................................... 92
3.1.2.5
Event name: evdensityOn ............................................................................... 92
3.1.2.6
Event name: evdensityOff ............................................................................... 92
3.1.2.7
Event name: evStartdensity ............................................................................ 92
3.1.2.8
Event name: evStopdensity ............................................................................ 92
3.1.2.9
Event name: evdenOp1 .................................................................................. 92
3.1.2.10 Event name: evdenOp2 .................................................................................. 92
3.1.2.11 Event name: evdenOp3 .................................................................................. 92
3.1.2.12 Event name: evdenOp4 .................................................................................. 92

12

3.1.2.13
3.1.2.14
3.1.2.15
3.1.2.16
3.1.2.17
3.1.2.18
3.1.2.19
3.1.2.20
3.1.2.21
3.1.2.22
3.1.2.23
3.1.2.24
3.1.2.25
3.1.2.26
3.1.2.27
3.1.2.28
3.1.2.29
3.1.2.30
3.1.2.31
3.1.2.32
3.1.2.33
3.1.2.34
3.1.2.35
3.1.2.36
3.1.2.37
3.1.2.38
3.1.2.39
3.1.2.40
3.1.2.41
3.1.2.42
3.1.2.43
3.1.2.44
3.1.2.45
3.1.2.46
3.1.2.47
3.1.2.48
3.1.2.49
3.1.2.50
3.1.2.51
3.1.2.52
3.1.2.53
3.1.2.54
3.1.2.55
3.1.2.56
3.1.2.57
3.1.2.58
3.1.2.59
3.1.2.60
3.1.2.61
3.1.2.62
3.1.2.63
3.1.2.64
3.1.2.65
3.1.2.66
3.1.2.67
3.1.2.68

Event name: evdenybr1 .................................................................................. 92


Event name: evdenybr2 .................................................................................. 93
Event name: evdenybr3 .................................................................................. 93
Event name: evdenybr4 .................................................................................. 93
Event name: evdenybg1 ................................................................................. 93
Event name: evdenybg2 ................................................................................. 93
Event name: evdenybg3 ................................................................................. 93
Event name: evdenybg4 ................................................................................. 93
Event name: evdenred1 .................................................................................. 93
Event name: evdenred2 .................................................................................. 93
Event name: evdenred3 .................................................................................. 93
Event name: evdenred4 .................................................................................. 93
Event name: evdenyellow1 ............................................................................. 93
Event name: evdenyellow2 ............................................................................. 93
Event name: evdenyellow3 ............................................................................. 94
Event name: evdenyellow4 ............................................................................. 94
Event name: evdengreen1 .............................................................................. 94
Event name: evdengreen2 .............................................................................. 94
Event name: evdengreen3 .............................................................................. 94
Event name: evdengreen4 .............................................................................. 94
Event name: evdenyb1 ................................................................................... 94
Event name: evdenyb2 ................................................................................... 94
Event name: evdenyb3 ................................................................................... 94
Event name: evdenyb4 ................................................................................... 94
Event name: evrs1 .......................................................................................... 94
Event name: evrs2 .......................................................................................... 94
Event name: evrs3 .......................................................................................... 94
Event name: evrs4 .......................................................................................... 95
Event name: evres1 ........................................................................................ 95
Event name: evres2 ........................................................................................ 95
Event name: evres3 ........................................................................................ 95
Event name: evres4 ........................................................................................ 95
Event name: evresetdbs2 ............................................................................... 95
Event name: evresetdbs3 ............................................................................... 95
Event name: evonb1 ....................................................................................... 95
Event name: evoffb1 ....................................................................................... 95
Event name: evonb2 ....................................................................................... 95
Event name: evoffb2 ....................................................................................... 95
Event name: evonb3 ....................................................................................... 95
Event name: evonb0 ....................................................................................... 95
Event name: evoffb0 ....................................................................................... 96
Event name: evoffb3 ....................................................................................... 96
Event name: evonb4 ....................................................................................... 96
Event name: evoffb4 ....................................................................................... 96
Event name: evonb5 ....................................................................................... 96
Event name: evoffb5 ....................................................................................... 96
Event name: evonb6 ....................................................................................... 96
Event name: evoffb6 ....................................................................................... 96
Event name: evonb7 ....................................................................................... 96
Event name: evoffb7 ....................................................................................... 96
Event name: evonb8 ....................................................................................... 96
Event name: evoffb8 ....................................................................................... 96
Event name: evonb9 ....................................................................................... 96
Event name: evoffb9 ....................................................................................... 97
Event name: evonb10 ..................................................................................... 97
Event name: evoffb10 ..................................................................................... 97

13

3.1.2.69 Event name: evonb11 ..................................................................................... 97


3.1.2.70 Event name: evoffb11 ..................................................................................... 97
3.1.2.71 Event name: evonb12 ..................................................................................... 97
3.1.2.72 Event name: evoffb12 ..................................................................................... 97
3.1.2.73 Event name: evonb13 ..................................................................................... 97
3.1.2.74 Event name: evoffb13 ..................................................................................... 97
3.1.2.75 Event name: evonb14 ..................................................................................... 97
3.1.2.76 Event name: evoffb14 ..................................................................................... 97
3.1.2.77 Event name: evonb16 ..................................................................................... 97
3.1.2.78 Event name: evoffb16 ..................................................................................... 97
3.1.2.79 Event name: evonb17 ..................................................................................... 98
3.1.2.80 Event name: evoffb17 ..................................................................................... 98
3.1.2.81 Event name: evonb15 ..................................................................................... 98
3.1.2.82 Event name: evoffb15 ..................................................................................... 98
3.1.2.83 Event name: evtimeoff .................................................................................... 98
3.1.2.84 Event name: evtimeon .................................................................................... 98
3.1.2.85 Event name: evred1 ........................................................................................ 98
3.1.2.86 Event name: evred2 ........................................................................................ 98
3.1.2.87 Event name: evred3 ........................................................................................ 98
3.1.2.88 Event name: evred4 ........................................................................................ 98
3.1.2.89 Event name: evyellow1 ................................................................................... 98
3.1.2.90 Event name: evyellow2 ................................................................................... 98
3.1.2.91 Event name: evyellow3 ................................................................................... 98
3.1.2.92 Event name: evyellow4 ................................................................................... 99
3.1.2.93 Event name: evgreen1 .................................................................................... 99
3.1.2.94 Event name: evgreen2 .................................................................................... 99
3.1.2.95 Event name: evgreen3 .................................................................................... 99
3.1.2.96 Event name: evgreen4 .................................................................................... 99
3.1.2.97 Event name: evyellowblink1 ............................................................................ 99
3.1.2.98 Event name: evyellowblink2 ............................................................................ 99
3.1.2.99 Event name: evyellowblink3 ............................................................................ 99
3.1.2.100
Event name: evyellowblink4 ....................................................................... 99
3.1.2.101
Event name: evStarttime ............................................................................ 99
3.1.2.102
Event name: evStoptime ............................................................................. 99
3.2
Package: PredefinedTypes ....................................................................................... 99
3.2.1 Type information for Package PredefinedTypes ..................................................... 99
3.2.1.1
Type name: RhpInteger ................................................................................ 100
3.2.1.2
Type name: RhpCharacter ............................................................................ 100
3.2.1.3
Type name: RhpString .................................................................................. 100
3.2.1.4
Type name: RhpReal .................................................................................... 100
3.2.1.5
Type name: RhpVoid .................................................................................... 100
3.2.1.6
Type name: RhpPositive ............................................................................... 100
3.2.1.7
Type name: RhpAddress .............................................................................. 100
3.2.1.8
Type name: RhpBoolean .............................................................................. 100
3.2.1.9
Type name: RhpUnlimitedNatural ................................................................. 100
3.2.2 Stereotype information for Package: PredefinedTypes ......................................... 100
3.2.2.1
Stereotype name: AppliedProfile .................................................................. 100
3.2.2.2
Stereotype name: ImportedProfile ................................................................ 100
3.2.2.3
Stereotype name: Settings ............................................................................ 100
3.2.2.4
Stereotype name: Merge ............................................................................... 101
3.2.2.5
Stereotype name: Redefines......................................................................... 101
3.2.2.6
Stereotype name: EclipseConfiguration ........................................................ 101
3.2.2.7
Stereotype name: Interface ........................................................................... 101
3.2.2.8
Stereotype name: Usage .............................................................................. 101
3.2.2.9
Stereotype name: Framework ....................................................................... 101
3.2.2.10 Stereotype name: Metaclass ......................................................................... 101

14

3.2.2.11 Stereotype name: Specification .................................................................... 101


3.2.2.12 Stereotype name: Realization ....................................................................... 101
3.2.2.13 Stereotype name: Send ................................................................................ 101
3.2.2.14 Stereotype name: Resource ......................................................................... 101
3.2.2.15 Stereotype name: Singleton .......................................................................... 101
3.2.2.16 Stereotype name: MessageQueue ............................................................... 101
3.2.2.17 Stereotype name: Timer................................................................................ 102
3.2.2.18 Stereotype name: Semaphore ...................................................................... 102
3.2.2.19 Stereotype name: Mutex ............................................................................... 102
3.2.2.20 Stereotype name: EventFlag......................................................................... 102
3.2.2.21 Stereotype name: Task ................................................................................. 102
3.2.2.22 Stereotype name: Executable ....................................................................... 102
3.2.2.23 Stereotype name: Library .............................................................................. 102
3.2.2.24 Stereotype name: Table ................................................................................ 102
3.2.2.25 Stereotype name: Document ........................................................................ 102
3.2.2.26 Stereotype name: Realization ....................................................................... 102
3.2.2.27 Stereotype name: A2D .................................................................................. 102
3.2.2.28 Stereotype name: Board ............................................................................... 102
3.2.2.29 Stereotype name: Bus ................................................................................... 102
3.2.2.30 Stereotype name: Button .............................................................................. 103
3.2.2.31 Stereotype name: D2A .................................................................................. 103
3.2.2.32 Stereotype name: DigitalIO ........................................................................... 103
3.2.2.33 Stereotype name: Disk .................................................................................. 103
3.2.2.34 Stereotype name: Display ............................................................................. 103
3.2.2.35 Stereotype name: Keyboard ......................................................................... 103
3.2.2.36 Stereotype name: Motor ................................................................................ 103
3.2.2.37 Stereotype name: Mouse .............................................................................. 103
3.2.2.38 Stereotype name: Panel ................................................................................ 103
3.2.2.39 Stereotype name: Printer .............................................................................. 103
3.2.2.40 Stereotype name: Processor......................................................................... 103
3.2.2.41 Stereotype name: Sensor ............................................................................. 103
3.2.2.42 Stereotype name: include ............................................................................. 103
3.2.2.43 Stereotype name: extend .............................................................................. 104
3.2.2.44 Stereotype name: trace ................................................................................. 104
3.2.2.45 Stereotype name: refine ................................................................................ 104
3.2.2.46 Stereotype name: derive ............................................................................... 104
3.2.2.47 Stereotype name: flowPort ............................................................................ 104
3.2.2.48 Stereotype name: FlowChart ........................................................................ 104
3.2.2.49 Stereotype name: CallBehavior .................................................................... 104
3.2.2.50 Stereotype name: ModelLibrary .................................................................... 104
3.2.2.51 Stereotype name: VariationPoint .................................................................. 105
3.2.2.52 Stereotype name: Varies ............................................................................... 105
3.2.2.53 Stereotype name: Variant ............................................................................. 105
3.2.2.54 Stereotype name: Static ................................................................................ 105
3.2.2.55 Stereotype name: VisualStudioConfiguration ............................................... 105
3.2.2.56 Stereotype name: ActivityFinal...................................................................... 105
3.2.2.57 Stereotype name: DecisionNode .................................................................. 105
3.2.2.58 Stereotype name: MergeNode ...................................................................... 105
3.2.2.59 Stereotype name: ControlFlow...................................................................... 105
3.2.2.60 Stereotype name: ObjectFlow ....................................................................... 105
3.2.2.61 Stereotype name: interruptibleRegion .......................................................... 105
3.2.2.62 Stereotype name: Class Diagram ................................................................. 105
3.3
Package: PredefinedTypesCpp .............................................................................. 105
3.3.1 Type information for Package PredefinedTypesCpp ............................................. 106
3.3.1.1
Type name: int............................................................................................... 106
3.3.1.2
Type name: char ........................................................................................... 106

15

3.3.1.3
Type name: char* .......................................................................................... 106
3.3.1.4
Type name: double ....................................................................................... 106
3.3.1.5
Type name: void ............................................................................................ 106
3.3.1.6
Type name: long ........................................................................................... 106
3.3.1.7
Type name: void * ......................................................................................... 106
3.3.1.8
Type name: OMBoolean ............................................................................... 106
3.3.1.9
Type name: OMString ................................................................................... 106
3.3.1.10 Type name: short .......................................................................................... 106
3.3.1.11 Type name: unsigned int ............................................................................... 106
3.3.1.12 Type name: unsigned short ........................................................................... 106
3.3.1.13 Type name: unsigned char ............................................................................ 107
3.3.1.14 Type name: unsigned long ............................................................................ 107
3.3.1.15 Type name: long double ................................................................................ 107
3.3.1.16 Type name: bool ........................................................................................... 107
3.3.1.17 Type name: float ........................................................................................... 107
3.3.2 Stereotype information for Package: PredefinedTypesCpp .................................. 107
3.3.2.1
Stereotype name: Friend ............................................................................... 107
3.3.2.2
Stereotype name: CORBAInterface .............................................................. 107
3.3.2.3
Stereotype name: CORBAException ............................................................ 107
3.3.2.4
Stereotype name: CORBAModule ................................................................ 107
3.3.2.5
Stereotype name: Subsystem ....................................................................... 107
3.3.2.6
Stereotype name: ConnectionPoint .............................................................. 107
3.3.2.7
Stereotype name: Web Managed ................................................................. 107
3.3.2.8
Stereotype name: Reactive Interface ............................................................ 108

16

1. Object Model Diagram Information


1.1 Object Model Diagram name: Model1
Description:
DBSController

g1ac:bool=f alse
r1ad:bool=false
y1ad:bool=f alse
g1ad:bool=f alse
r2bc:bool=false
y2bc:bool=f alse
g2bc:bool=f alse

Pow erDBS
1

itsDBSController

phas e6():void
phas e7():void
phas e8():void
yphase1():void
yphase2():void
yphase3():void
yphase4():void
yphase5():void

1
itsPow erDBS

1.2 Object Model Diagram name: DBSphaseTraffic


Description:
DB S_TrafficControl

1
1

itsP owerDBS:P owerDBS

evdbsOn()
evdbsOff()

itsDBSController

itsDBSController:DB SCont roller

r1ab:bool
y1ab:bool
g1ab:bool
r1ac :bool
y1ac:bool
phase1():void
phase2():void
phase3():void
phase4():void
phase5():void

1.3 Object Model Diagram name: density model


Description:

17

Density_controller
Power_density
1
itsDensity_controller

a:int=0
b:int=0
c:int=0
d:int=0

button0
itsDensity_controller

button1
itsDensity_controller

button2
itsDensity_controller

button11

1
itsDensity_controller

button12
1
itsDensity_controller

button13
1
itsDensity_controller

button14
1
itsDensity_controller

button15
1
itsDensity_controller

button16
1
itsDensity_controller

button17
1

Density_contr...
evStartdensity()
evStopdensity()
evdenOp1()
evdenOp2()
evdenOp3()
evdenOp4()
evdenybr1()
evdenybr2()
evdenybr3()
evdenybr4()
evdenybg 1()
evdenybg 2()
evdenybg 3()
evdenybg 4()
evdenred1()
evdenred2()
evdenred3()
evdenred4()
evdenyellow1()
evdenyellow2()
evdenyellow3()
evdenyellow4()
evdengreen1()
evdengreen2()
evdengreen3()
evdengreen4()
evdenyb1()
evdenyb2()
evdenyb3()
evdenyb4()
disp():void
evrs1()
evrs2()
evrs3()
evrs4()
evres1()
evres2()
evres3()
evres4()

button3
itsDensity_controller

button4
1
itsDensity_controller

button5
itsDensity_controller

button6
itsDensity_controller

button7
itsDensity_controller

button8
1
itsDensity_controller

button9
itsDensity_controller

button10
itsDensity_controller

itsDensity_controller

1.4 Object Model Diagram name: densitytrafficcomposite


Description:

18

Densityt raf ficcompositeclassdiagram

itsPower_density: Power_density

itsDensity_controller: Density_controller

a: int
b: int
c: int
d: int

itsButton17:button17

itsDensity_controller

evdensit yO. ..

evonb17()
evoff b17()

itsDensity_controller
1

itsButton0: but ton0


itsDensity_controller

evoffb0()
1

evSt artdensity()
evSt opdensity()
evdenOp1()
evdenOp2()
evdenOp3()
evdenOp4()
evdenybr1()
evdenybr2()
evdenybr3()
evdenybr4()
evdenybg1()
evdenybg2()
evdenybg3()
evdenybg4()
evdenred1()
evdenred2()
evdenred3()
evdenred4()
evdenyellow1()
evdenyellow2()
evdenyellow3()
evdenyellow4()
evdengreen1()
evdengreen2()
evdengreen3()
evdengreen4()
evdenyb1()
evdenyb2()
evdenyb3()
evdenyb4()
Density_controller()
disp():void
evrs1()
evrs2()
evrs3()
evrs4()
evres1()
evres2()
evres3()
evres4()

itsButton1: but ton1


itsDensity_controller
evoff b1()

itsButton2: but ton2


itsDensity_controller

evoff b2()

itsButton3: but ton3


itsDensity_controller

evoffb3()

itsButton4: but ton4


itsDensity_controller
evoff b4()

itsButton5: but ton5


itsDensity_controller

evoffb5()

itsButton6: but ton6


itsDensity_controller
evonb6()
evoff b6()

itsButton16:button16

itsDensity_controller

evonb16()
evoff b16()

itsButton15:button15

itsDensity_controller
evonb15()
evoff b15()

itsButton14:button14

itsDensity_controller

evonb14()
evoff b14()

itsButton13:button13

itsDensity_controller

evonb13()
evoff b13()

itsButton12:button12

itsDensity_controller

itsButton7: but ton7


itsDensity_controller

evonb12()
evoffb12()

evoff b7()
itsDensity_controller
itsDensity_controller
itsDensity_controller
1

itsButton8: but ton8

evoff b8()

itsButton9: but ton9

evonb9()
evoff b9()

itsDensity_controller
1

itsButton10:button10

evonb10()
evoff b10()

itsButton11:button11

evoffb11()

1.5 Object Model Diagram name: timebasedtrafficmodel


Description:
TimeController
Powertime
1

t:int=0

itsTimeController
evStarttime()
evStoptime()
TimeContro...

19

1.6 Object Model Diagram name: Timebasedtrafficsysdiagram


Description:
Tim ebas edtracompdiagram

1
1

its TimeController:Tim eC ontroller

its Pow ertime:Powertim e

t:int

evtim eoff()
evtim eon()

its TimeController

evStarttime()
evStoptime()
Tim eController()

2. Components Information
2.1 Component Name:DefaultComponent
Type:executable
Directory:C:/Documents and
Settings/varma/Desktop/pro/DBStrafficControlSystem/DefaultComponent/Densitydebug
Libraries:
Additional Sources:
Standard Headers:
Include Path:
Description:

2.1.1 Configuration information for Component: DefaultComponent

2.1.1.1 DefaultConfig Configuration


Configuration Name: DefaultConfig
Description:
Initialization Scope:explicit
Initialization Code:
Directory:DefaultComponent/DefaultConfig
Libraries:
Additional Sources:
Standard Headers
Include Path:
Instrumentation:none
Time Model:real
Statechart Implementation:flat
BuildSet: Debug

20

Compiler Switches: /I . /I $OMDefaultSpecificationDirectory /I $(OMROOT)\LangCpp /I


$(OMROOT)\LangCpp\oxf /nologo /W3 $(ENABLE_EH) $(CRT_FLAGS)
$OMCPPCompileCommandSet /D "_AFXDLL" /D "WIN32" /D "_CONSOLE" /D "_MBCS" /D
"_WINDOWS" $(INST_FLAGS) $(INCLUDE_PATH) $(INST_INCLUDES) /c
Link Switches:$OMLinkCommandSet /NOLOGO
2.1.1.2 DbsDebug Configuration
Configuration Name: DbsDebug
Description:
Initialization Scope:explicit
Initialization Code:
Directory:DefaultComponent/DbsDebug
Libraries:
Additional Sources:
Standard Headers
Include Path:
Instrumentation:animate
Time Model:real
Statechart Implementation:flat
BuildSet: Debug
Compiler Switches: $IncludeDirectories $DefinedSymbols $(INST_FLAGS) $(INCLUDE_PATH)
$(INST_INCLUDES) $CompilerFlags $OMCPPCompileCommandSet -c
Link Switches:$OMLinkCommandSet $LinkerFlags
2.1.1.3 Densitydebug Configuration
Configuration Name: Densitydebug
Description:
Initialization Scope:explicit
Initialization Code:
Directory:DefaultComponent/Densitydebug
Libraries:
Additional Sources:
Standard Headers
Include Path:
Instrumentation:animate
Time Model:real
Statechart Implementation:flat
BuildSet: Debug
Compiler Switches: $IncludeDirectories $DefinedSymbols $(INST_FLAGS) $(INCLUDE_PATH)
$(INST_INCLUDES) $CompilerFlags $OMCPPCompileCommandSet -c
Link Switches:$OMLinkCommandSet $LinkerFlags
2.1.1.4 Timetrafficdebug Configuration
Configuration Name: Timetrafficdebug
Description:
Initialization Scope:explicit
Initialization Code:
Directory:DefaultComponent/Timetrafficdebug
Libraries:
Additional Sources:
Standard Headers
Include Path:
Instrumentation:animate
Time Model:real
Statechart Implementation:flat

21

BuildSet: Debug
Compiler Switches: $IncludeDirectories $DefinedSymbols $(INST_FLAGS) $(INCLUDE_PATH)
$(INST_INCLUDES) $CompilerFlags $OMCPPCompileCommandSet -c
Link Switches:$OMLinkCommandSet $LinkerFlags

2.1.2 File information for Component: DefaultComponent

2.1.2.1 Files
Path:
File Type:folder
Description:

2.1.3 Panel Diagram Information


2.1.3.1 Panel Diagram name: DBSTrafficControlSystem
Description:

22

D
C

A
D

B
C

A
D
A

ON

OFF

RESETDBS

2.1.3.2 Panel Diagram name: densitytrafficpanneldiagram


Description:

23

ON

OFF
b6

b7

b8

b5
RESET1

b10
b11

RESET2
b4

RESET3

b9

b12

b3

b13

RESET4
b2

11

12

13

14

15

b1

b0

b15 b14

10

2.1.3.3 Panel Diagram name: timetrafficPannelDiagram


Description:

24

ON

C
OFF

3. Package Information
3.1 Package: Default
Description:

3.1.1 Class Information for Package: Default


3.1.1.1 Class name: DBSController
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.1.1 Attribute Information for Class: DBSController
3.1.1.1.1.1 Attribute Name: r1ab
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:

25

Description:
3.1.1.1.1.2 Attribute Name: y1ab
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.3 Attribute Name: g1ab
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.4 Attribute Name: r1ac
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.5 Attribute Name: y1ac
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.6 Attribute Name: g1ac
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.7 Attribute Name: r1ad
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.8 Attribute Name: y1ad
Default Value: false
Static: false

26

Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.9 Attribute Name: g1ad
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.10 Attribute Name: r2bc
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.11 Attribute Name: y2bc
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.12 Attribute Name: g2bc
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.13 Attribute Name: r2bd
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.14 Attribute Name: y2bd
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:

27

3.1.1.1.1.15 Attribute Name: g2bd


Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.16 Attribute Name: r2ba
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.17 Attribute Name: y2ba
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.18 Attribute Name: g2ba
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.19 Attribute Name: r3cd
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.20 Attribute Name: y3cd
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.21 Attribute Name: g3cd
Default Value: false
Static: false
Visibility: public
Type: bool

28

Stereotype:
Description:
3.1.1.1.1.22 Attribute Name: r3ca
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.23 Attribute Name: y3ca
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.24 Attribute Name: g3ca
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.25 Attribute Name: r3cb
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.26 Attribute Name: y3cb
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.27 Attribute Name: g3cb
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.28 Attribute Name: r4da
Default Value: false

29

Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.29 Attribute Name: y4da
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.30 Attribute Name: g4da
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.31 Attribute Name: r4db
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.32 Attribute Name: y4db
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.33 Attribute Name: g4db
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.34 Attribute Name: r4dc
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:

30

3.1.1.1.1.35 Attribute Name: y4dc


Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.36 Attribute Name: g4dc
Default Value: false
Static: false
Visibility: public
Type: bool
Stereotype:
Description:
3.1.1.1.1.37 Attribute Name: p
Default Value: 0
Static: false
Visibility: public
Type: int
Stereotype:
Description:
3.1.1.1.1.38 Attribute Name: yp
Default Value: 0
Static: false
Visibility: public
Type: int
Stereotype:
Description:
3.1.1.1.2 Operation information for Class: DBSController
3.1.1.1.2.1 Operation name: phase1
Initializer:
Const: false
Trigger: false
Body: r1ab=false;
y1ab=false;
g1ab=true;
r1ac=false;
y1ac=false;
g1ac=true;
r1ad=false;
y1ad=false;
g1ad=true;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;

31

g2bd=false;
r2ba=true;
y2ba=false;
g2ba=false;
r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;
y3ca=false;
g3ca=false;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;
r4dc=true;
y4dc=false;
g4dc=false;

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: phase1()
Return Type: void
Description:
3.1.1.1.2.2 Operation name: phase2
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=false;
y2bc=false;
g2bc=true;
r2bd=false;
y2bd=false;
g2bd=true;
r2ba=true;

32

y2ba=false;
g2ba=false;
r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;
y3ca=false;
g3ca=false;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=false;
y4da=false;
g4da=true;
r4db=false;
y4db=false;
g4db=true;
r4dc=true;
y4dc=false;
g4dc=false;

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: phase2()
Return Type: void
Description:
3.1.1.1.2.3 Operation name: phase3
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;
g2bd=false;
r2ba=false;
y2ba=false;
g2ba=true;

33

r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;
y3ca=false;
g3ca=false;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;
r4dc=false;
y4dc=false;
g4dc=true;
Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: phase3()
Return Type: void
Description:
3.1.1.1.2.4 Operation name: phase4
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;
g2bd=false;
r2ba=true;
y2ba=false;
g2ba=false;
r3cd=false;
y3cd=false;
g3cd=true;

34

r3ca=false;
y3ca=false;
g3ca=true;
r3cb=false;
y3cb=false;
g3cb=true;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;
r4dc=true;
y4dc=false;
g4dc=false;

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: phase4()
Return Type: void
Description:
3.1.1.1.2.5 Operation name: phase5
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=false;
y2bc=false;
g2bc=true;
r2bd=false;
y2bd=false;
g2bd=true;
r2ba=false;
y2ba=false;
g2ba=true;
r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;

35

y3ca=false;
g3ca=false;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;
r4dc=true;
y4dc=false;
g4dc=false;

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: phase5()
Return Type: void
Description:
3.1.1.1.2.6 Operation name: phase6
Initializer:
Const: false
Trigger: false
Body: r1ab=false;
y1ab=false;
g1ab=true;
r1ac=false;
y1ac=false;
g1ac=true;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;
g2bd=false;
r2ba=true;
y2ba=false;
g2ba=false;
r3cd=false;
y3cd=false;
g3cd=true;
r3ca=false;
y3ca=false;

36

g3ca=true;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;
r4dc=true;
y4dc=false;
g4dc=false;

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: phase6()
Return Type: void
Description:
3.1.1.1.2.7 Operation name: phase7
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=false;
y1ad=false;
g1ad=true;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;
g2bd=false;
r2ba=true;
y2ba=false;
g2ba=false;
r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;
y3ca=false;
g3ca=false;
r3cb=false;

37

y3cb=false;
g3cb=true;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;
r4dc=true;
y4dc=false;
g4dc=false;

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: phase7()
Return Type: void
Description:
3.1.1.1.2.8 Operation name: phase8
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;
g2bd=false;
r2ba=true;
y2ba=false;
g2ba=false;
r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;
y3ca=false;
g3ca=false;
r3cb=true;
y3cb=false;

38

g3cb=false;
r4da=false;
y4da=false;
g4da=true;
r4db=false;
y4db=false;
g4db=true;
r4dc=false;
y4dc=false;
g4dc=true;
Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: phase8()
Return Type: void
Description:
3.1.1.1.2.9 Operation name: yphase1
Initializer:
Const: false
Trigger: false
Body: r1ab=false;
y1ab=true;
g1ab=false;
r1ac=false;
y1ac=true;
g1ac=false;
r1ad=false;
y1ad=true;
g1ad=false;
r2bc=false;
y2bc=true;
g2bc=false;
r2bd=false;
y2bd=true;
g2bd=false;
r2ba=true;
y2ba=false;
g2ba=false;
r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;
y3ca=false;
g3ca=false;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=false;
y4da=true;

39

g4da=false;
r4db=false;
y4db=true;
g4db=false;
r4dc=true;
y4dc=false;
g4dc=false;

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: yphase1()
Return Type: void
Description:
3.1.1.1.2.10 Operation name: yphase2
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=false;
y2bc=true;
g2bc=false;
r2bd=false;
y2bd=true;
g2bd=false;
r2ba=false;
y2ba=true;
g2ba=false;
r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;
y3ca=false;
g3ca=false;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=false;
y4da=true;
g4da=false;
r4db=false;

40

y4db=true;
g4db=false;
r4dc=false;
y4dc=true;
g4dc=false;

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: yphase2()
Return Type: void
Description:
3.1.1.1.2.11 Operation name: yphase3
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;
g2bd=false;
r2ba=false;
y2ba=true;
g2ba=false;
r3cd=false;
y3cd=true;
g3cd=false;
r3ca=false;
y3ca=true;
g3ca=false;
r3cb=false;
y3cb=true;
g3cb=false;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;

41

r4dc=false;
y4dc=true;
g4dc=false;
Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: yphase3()
Return Type: void
Description:
3.1.1.1.2.12 Operation name: yphase4
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=false;
y2bc=true;
g2bc=false;
r2bd=false;
y2bd=true;
g2bd=false;
r2ba=false;
y2ba=true;
g2ba=false;
r3cd=false;
y3cd=true;
g3cd=false;
r3ca=false;
y3ca=true;
g3ca=false;
r3cb=false;
y3cb=true;
g3cb=false;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;
r4dc=true;
y4dc=false;
g4dc=false;

42

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: yphase4()
Return Type: void
Description:
3.1.1.1.2.13 Operation name: yphase5
Initializer:
Const: false
Trigger: false
Body: r1ab=false;
y1ab=true;
g1ab=false;
r1ac=false;
y1ac=true;
g1ac=false;
r1ad=true;
y1ad=false;
g1ad=false;
r2bc=false;
y2bc=true;
g2bc=false;
r2bd=false;
y2bd=true;
g2bd=false;
r2ba=false;
y2ba=true;
g2ba=false;
r3cd=false;
y3cd=true;
g3cd=false;
r3ca=false;
y3ca=true;
g3ca=false;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;
r4dc=true;
y4dc=false;
g4dc=false;

43

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: yphase5()
Return Type: void
Description:
3.1.1.1.2.14 Operation name: yphase6
Initializer:
Const: false
Trigger: false
Body: r1ab=false;
y1ab=true;
g1ab=false;
r1ac=false;
y1ac=true;
g1ac=false;
r1ad=false;
y1ad=true;
g1ad=false;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;
g2bd=false;
r2ba=true;
y2ba=false;
g2ba=false;
r3cd=false;
y3cd=true;
g3cd=false;
r3ca=false;
y3ca=true;
g3ca=false;
r3cb=false;
y3cb=true;
g3cb=false;
r4da=true;
y4da=false;
g4da=false;
r4db=true;
y4db=false;
g4db=false;
r4dc=true;
y4dc=false;
g4dc=false;

Abstract: false

44

Static: false
Virtual: false
Visibility: public
Signature: yphase6()
Return Type: void
Description:
3.1.1.1.2.15 Operation name: yphase7
Initializer:
Const: false
Trigger: false
Body: r1ab=true;
y1ab=false;
g1ab=false;
r1ac=true;
y1ac=false;
g1ac=false;
r1ad=false;
y1ad=true;
g1ad=false;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;
g2bd=false;
r2ba=true;
y2ba=false;
g2ba=false;
r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;
y3ca=false;
g3ca=false;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=false;
y4da=true;
g4da=false;
r4db=false;
y4db=true;
g4db=false;
r4dc=false;
y4dc=true;
g4dc=false;

Abstract: false
Static: false

45

Virtual: false
Visibility: public
Signature: yphase7()
Return Type: void
Description:
3.1.1.1.2.16 Operation name: yphase8
Initializer:
Const: false
Trigger: false
Body: r1ab=false;
y1ab=true;
g1ab=false;
r1ac=false;
y1ac=true;
g1ac=false;
r1ad=false;
y1ad=true;
g1ad=false;
r2bc=true;
y2bc=false;
g2bc=false;
r2bd=true;
y2bd=false;
g2bd=false;
r2ba=true;
y2ba=false;
g2ba=false;
r3cd=true;
y3cd=false;
g3cd=false;
r3ca=true;
y3ca=false;
g3ca=false;
r3cb=true;
y3cb=false;
g3cb=false;
r4da=false;
y4da=true;
g4da=false;
r4db=false;
y4db=true;
g4db=false;
r4dc=false;
y4dc=true;
g4dc=false;
Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: yphase8()
Return Type: void

46

Description:
3.1.1.1.2.17 Operation name: resetdbs
Initializer:
Const: false
Trigger: false
Body: r1ab=false;
y1ab=false;
g1ab=false;
r1ac=false;
y1ac=false;
g1ac=false;
r1ad=false;
y1ad=false;
g1ad=false;
r2bc=false;
y2bc=false;
g2bc=false;
r2bd=false;
y2bd=false;
g2bd=false;
r2ba=false;
y2ba=false;
g2ba=false;
r3cd=false;
y3cd=false;
g3cd=false;
r3ca=false;
y3ca=false;
g3ca=false;
r3cb=false;
y3cb=false;
g3cb=false;
r4da=false;
y4da=false;
g4da=false;
r4db=false;
y4db=false;
g4db=false;
r4dc=false;
y4dc=false;
g4dc=false;

Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: resetdbs()
Return Type: void
Description:

47

3.1.1.1.2.18 Operation name: DBSController


Initializer:
Const: false
Trigger: false
Body: std::cout<<"enter phase time p= \n";
std::cin>>p;
std::cout<<"enter time gap b/w two phases yp= \n";
std::cin>>yp;
Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: DBSController()
Return Type:
Description:
3.1.1.1.3 EventReception information for Class: DBSController
3.1.1.1.3.1 Event Reception name: evStartdbs
Signature: evStartdbs()
Description:
3.1.1.1.3.2 Event Reception name: evStopdbs
Signature: evStopdbs()
Description:
3.1.1.1.3.3 Event Reception name: evresetdbs2
Signature: evresetdbs2()
Description:
3.1.1.1.3.4 Event Reception name: evresetdbs3
Signature: evresetdbs3()
Description:
3.1.1.1.4 Relation information for Class: DBSController
3.1.1.1.4.1 Relation name: itsPowerDBS
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsPowerDBS
LinkName:
RoleName: itsPowerDBS
Type: Association
Description:
Name
itsPowerDBS

Inverse

Source
DBSController

3.1.1.1.5 Statechart information for Class: DBSController


Description:
Overridden: false

48

Target
PowerDBS

RunningDbs
evStartdbs
IdleDbs

dbsphase1

tm(p) yelphase1

evStopdbs

tm(yp) dbsphase2

Done

tm(p)

yelphase3

tm(p)

yelphase2

dbsphase3
tm(yp)

tm(yp)
tm(yp) dbsphase5
dbsphase4 tm(p) yelphase4

tm(p)
yelphase6

tm(p) dbsphase6 tm(yp) yelphase5

tm(yp)
dbsphase7

tm(p) yelphase7 tm(yp)

dbsphase8

tm(p)
tm(yp)

yelphase8

Done

evresetdbs3
resetdbs1

resetdbs2

3.1.1.1.5.1 State information


3.1.1.1.5.1.1 State: ROOT
3.1.1.1.5.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.1.5.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.1.5.1.1.3 Outgoing Transition information for State ROOT
Description:

49

Overridden: true
Label:
3.1.1.1.5.1.1.4 State information
3.1.1.1.5.1.1.4.1 State: IdleDbs
3.1.1.1.5.1.1.4.2 State: RunningDbs
3.1.1.1.5.1.1.4.3 State information
3.1.1.1.5.1.1.4.4 State: state_18
3.1.1.1.5.1.1.4.5 Connector information for State state_18
3.1.1.1.5.1.1.4.6 Connector name: Done
ConnectorType: Diagram
Description:
3.1.1.1.5.1.1.4.7 Incoming Transition information for Connector Done
Overridden: true
Label: tm(yp)
Description:
3.1.1.1.5.1.1.4.8 Trigger information for Transition 19
3.1.1.1.5.1.1.4.9 Trigger name:
Body: tm(yp)
Description:
3.1.1.1.5.1.1.4.10 Connector information for Transition 19
3.1.1.1.5.1.1.4.11 Connector name: Done
ConnectorType:Diagram
Description:
3.1.1.1.5.1.1.4.12 Connector name: Done
ConnectorType: Diagram
Description:
3.1.1.1.5.1.1.4.13 Incoming Transition information for Connector Done
Overridden: true
Label: tm(yp)
Description:
3.1.1.1.5.1.1.4.14 Trigger information for Transition 19
3.1.1.1.5.1.1.4.15 Trigger name:
Body: tm(yp)
Description:
3.1.1.1.5.1.1.4.16 Connector information for Transition 19

50

3.1.1.1.5.1.1.4.17 Connector name: Done


ConnectorType:Diagram
Description:
3.1.1.1.5.1.1.4.18 State information
3.1.1.1.5.1.1.4.19 State: dbsphase1
3.1.1.1.5.1.1.4.20 State: dbsphase2
3.1.1.1.5.1.1.4.21 State: yelphase1
3.1.1.1.5.1.1.4.22 State: yelphase2
3.1.1.1.5.1.1.4.23 State: dbsphase3
3.1.1.1.5.1.1.4.24 State: yelphase3
3.1.1.1.5.1.1.4.25 State: dbsphase4
3.1.1.1.5.1.1.4.26 State: yelphase4
3.1.1.1.5.1.1.4.27 State: dbsphase5
3.1.1.1.5.1.1.4.28 State: yelphase5
3.1.1.1.5.1.1.4.29 State: dbsphase6
3.1.1.1.5.1.1.4.30 State: yelphase6
3.1.1.1.5.1.1.4.31 State: dbsphase7
3.1.1.1.5.1.1.4.32 State: yelphase7
3.1.1.1.5.1.1.4.33 State: dbsphase8
3.1.1.1.5.1.1.4.34 State: yelphase8
3.1.1.1.5.1.1.4.35 State: state_19
3.1.1.1.5.1.1.4.36 State information
3.1.1.1.5.1.1.4.37 State: resetdbs1
3.1.1.1.5.1.1.4.38 State: resetdbs2
3.1.1.2 Class name: PowerDBS
Description:
Active: false
Behavior Overridden: false

51

Composite: false
Reactive: true
3.1.1.2.1 EventReception information for Class: PowerDBS
3.1.1.2.1.1 Event Reception name: evdbsOn
Signature: evdbsOn()
Description:
3.1.1.2.1.2 Event Reception name: evdbsOff
Signature: evdbsOff()
Description:
3.1.1.2.2 Relation information for Class: PowerDBS
3.1.1.2.2.1 Relation name: itsDBSController
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDBSController
LinkName:
RoleName: itsDBSController
Type: Association
Description:
Name
itsDBSController

Inverse

Source
PowerDBS

3.1.1.2.3 Statechart information for Class: PowerDBS


Description:
Overridden: false

evdbsOn/itsDBSController->GEN(evStartdbs);
dbsOn

dbsOff

evdbsOff/itsDBSController->GEN(evStopdbs);

3.1.1.2.3.1 State information


3.1.1.2.3.1.1 State: ROOT
3.1.1.2.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:

52

Target
DBSController

3.1.1.2.3.1.1.2 Incoming Transition information for State ROOT


Description:
Overridden: true
Label:
3.1.1.2.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.2.3.1.1.4 State information
3.1.1.2.3.1.1.4.1 State: dbsOff
3.1.1.2.3.1.1.4.2 State: dbsOn
3.1.1.3 Class name: DBS_TrafficControl
Description:
Active: false
Behavior Overridden: false
Composite: true
Reactive: true
3.1.1.4 Class name: Density_controller
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.4.1 Attribute Information for Class: Density_controller
3.1.1.4.1.1 Attribute Name: a
Default Value: 0
Static: false
Visibility: public
Type: int
Stereotype:
Description:
3.1.1.4.1.2 Attribute Name: b
Default Value: 0
Static: false
Visibility: public
Type: int
Stereotype:
Description:
3.1.1.4.1.3 Attribute Name: c
Default Value: 0
Static: false
Visibility: public

53

Type: int
Stereotype:
Description:
3.1.1.4.1.4 Attribute Name: d
Default Value: 0
Static: false
Visibility: public
Type: int
Stereotype:
Description:
3.1.1.4.2 Operation information for Class: Density_controller
3.1.1.4.2.1 Operation name: Density_controller
Initializer:
Const: false
Trigger: false
Body:
Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: Density_controller()
Return Type:
Description:
3.1.1.4.2.2 Operation name: disp
Initializer:
Const: false
Trigger: false
Body: std::cout<<"enter values for a=ROAD A,b=ROAD B ,c=ROAD C,d=ROAD D \n HIGH=4,\n
MEDIUM=3,LOW=2,\n LEAST=1,\n";
std::cout<<"a=";
std::cin>>a;
std::cout<<"b=";
std::cin>>b;
std::cout<<"c=";
std::cin>>c;
std::cout<<"d=";
std::cin>>d;
Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: disp()
Return Type: void
Description:
3.1.1.4.3 EventReception information for Class: Density_controller
3.1.1.4.3.1 Event Reception name: evStartdensity
Signature: evStartdensity()
Description:

54

3.1.1.4.3.2 Event Reception name: evStopdensity


Signature: evStopdensity()
Description:
3.1.1.4.3.3 Event Reception name: evdenOp1
Signature: evdenOp1()
Description:
3.1.1.4.3.4 Event Reception name: evdenOp2
Signature: evdenOp2()
Description:
3.1.1.4.3.5 Event Reception name: evdenOp3
Signature: evdenOp3()
Description:
3.1.1.4.3.6 Event Reception name: evdenOp4
Signature: evdenOp4()
Description:
3.1.1.4.3.7 Event Reception name: evdenybr1
Signature: evdenybr1()
Description:
3.1.1.4.3.8 Event Reception name: evdenybr2
Signature: evdenybr2()
Description:
3.1.1.4.3.9 Event Reception name: evdenybr3
Signature: evdenybr3()
Description:
3.1.1.4.3.10 Event Reception name: evdenybr4
Signature: evdenybr4()
Description:
3.1.1.4.3.11 Event Reception name: evdenybg1
Signature: evdenybg1()
Description:
3.1.1.4.3.12 Event Reception name: evdenybg2
Signature: evdenybg2()
Description:
3.1.1.4.3.13 Event Reception name: evdenybg3
Signature: evdenybg3()
Description:
3.1.1.4.3.14 Event Reception name: evdenybg4
Signature: evdenybg4()

55

Description:
3.1.1.4.3.15 Event Reception name: evdenred1
Signature: evdenred1()
Description:
3.1.1.4.3.16 Event Reception name: evdenred2
Signature: evdenred2()
Description:
3.1.1.4.3.17 Event Reception name: evdenred3
Signature: evdenred3()
Description:
3.1.1.4.3.18 Event Reception name: evdenred4
Signature: evdenred4()
Description:
3.1.1.4.3.19 Event Reception name: evdenyellow1
Signature: evdenyellow1()
Description:
3.1.1.4.3.20 Event Reception name: evdenyellow2
Signature: evdenyellow2()
Description:
3.1.1.4.3.21 Event Reception name: evdenyellow3
Signature: evdenyellow3()
Description:
3.1.1.4.3.22 Event Reception name: evdenyellow4
Signature: evdenyellow4()
Description:
3.1.1.4.3.23 Event Reception name: evdengreen1
Signature: evdengreen1()
Description:
3.1.1.4.3.24 Event Reception name: evdengreen2
Signature: evdengreen2()
Description:
3.1.1.4.3.25 Event Reception name: evdengreen3
Signature: evdengreen3()
Description:
3.1.1.4.3.26 Event Reception name: evdengreen4
Signature: evdengreen4()
Description:

56

3.1.1.4.3.27 Event Reception name: evdenyb1


Signature: evdenyb1()
Description:
3.1.1.4.3.28 Event Reception name: evdenyb2
Signature: evdenyb2()
Description:
3.1.1.4.3.29 Event Reception name: evdenyb3
Signature: evdenyb3()
Description:
3.1.1.4.3.30 Event Reception name: evdenyb4
Signature: evdenyb4()
Description:
3.1.1.4.3.31 Event Reception name: evrs1
Signature: evrs1()
Description:
3.1.1.4.3.32 Event Reception name: evrs2
Signature: evrs2()
Description:
3.1.1.4.3.33 Event Reception name: evrs3
Signature: evrs3()
Description:
3.1.1.4.3.34 Event Reception name: evrs4
Signature: evrs4()
Description:
3.1.1.4.3.35 Event Reception name: evres1
Signature: evres1()
Description:
3.1.1.4.3.36 Event Reception name: evres2
Signature: evres2()
Description:
3.1.1.4.3.37 Event Reception name: evres3
Signature: evres3()
Description:
3.1.1.4.3.38 Event Reception name: evres4
Signature: evres4()
Description:
3.1.1.4.4 Statechart information for Class: Density_controller
Description:

57

Overridden: false
ev Startdensity

Running_density
ev rs1
tm(8000)/GEN(evdenred1);

Idle_density

denybr1

ev denred1denred1

dench1

ev Stopdensity

ev res1rs1

ev denybr1

ev res1
denyellow1

ev denOp1

ev res1

denyb1
denop1

ev denyellow1
ev denyb1
ev res1
tm(8000)/GEN(evdengreen1);
denybg1
ev denybg1

ev dengreen1
dengreen1

ev rs2
tm(8000)/GEN(evdenred2);
dench2

denred2
ev denred2

denybr2

ev res2rs2
ev res2

ev denybr2
denyellow2

ev denOp2

ev res2
ev res2

ev denyellow2

denop2

denyb2
tm(8000)/GEN(evdengreen2);
ev denyb2

dengreen2

denybg2
ev denybg2
ev dengreen2
ev rs3
tm(8000)/GEN(evdenred3);
denred3
ev denred3

denybr3

dench3
ev denybr3

ev res3
rs3
ev res3

denyellow3
ev denOp3
denop3

ev res2

denyb3

ev denyellow3

ev res3

tm(8000)/GEN(evdengreen3);
ev denyb3

denybg3
ev denybg3

dengreen3

ev dengreen3

ev rs4

tm(8000)/GEN(evdenred4);
denred4
ev denred4
denybr4

dench4

ev res4

rs4

ev res4
denyellow4

ev denybr4
ev denOp4
ev denyellow4

ev res4
ev res4

denop4
denyb4
ev denyb4
tm(8000)/GEN(evdengreen4);

ev denybg4

denybg4

dengreen4
ev dengreen4

3.1.1.4.4.1 State information


3.1.1.4.4.1.1 State: ROOT
3.1.1.4.4.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.4.4.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:

58

3.1.1.4.4.1.1.3 Outgoing Transition information for State ROOT


Description:
Overridden: true
Label:
3.1.1.4.4.1.1.4 State information
3.1.1.4.4.1.1.4.1 State: Idle_density
3.1.1.4.4.1.1.4.2 State: Running_density
3.1.1.4.4.1.1.4.3 State information
3.1.1.4.4.1.1.4.4 State: state_8
3.1.1.4.4.1.1.4.5 State information
3.1.1.4.4.1.1.4.6 State: dench1
3.1.1.4.4.1.1.4.7 State: denybr1
3.1.1.4.4.1.1.4.8 State: denred1
3.1.1.4.4.1.1.4.9 State: denyellow1
3.1.1.4.4.1.1.4.10 State: denybg1
3.1.1.4.4.1.1.4.11 State: dengreen1
3.1.1.4.4.1.1.4.12 State: denop1
3.1.1.4.4.1.1.4.13 State: denyb1
3.1.1.4.4.1.1.4.14 State: rs1
3.1.1.4.4.1.1.4.15 State: state_9
3.1.1.4.4.1.1.4.16 State information
3.1.1.4.4.1.1.4.17 State: denybr2
3.1.1.4.4.1.1.4.18 State: denred2
3.1.1.4.4.1.1.4.19 State: denyellow2
3.1.1.4.4.1.1.4.20 State: denybg2
3.1.1.4.4.1.1.4.21 State: dengreen2
3.1.1.4.4.1.1.4.22 State: denop2

59

3.1.1.4.4.1.1.4.23 State: denyb2


3.1.1.4.4.1.1.4.24 State: dench2
3.1.1.4.4.1.1.4.25 State: rs2
3.1.1.4.4.1.1.4.26 State: state_16
3.1.1.4.4.1.1.4.27 State information
3.1.1.4.4.1.1.4.28 State: denybr3
3.1.1.4.4.1.1.4.29 State: denred3
3.1.1.4.4.1.1.4.30 State: denyellow3
3.1.1.4.4.1.1.4.31 State: denybg3
3.1.1.4.4.1.1.4.32 State: dengreen3
3.1.1.4.4.1.1.4.33 State: denop3
3.1.1.4.4.1.1.4.34 State: denyb3
3.1.1.4.4.1.1.4.35 State: dench3
3.1.1.4.4.1.1.4.36 State: rs3
3.1.1.4.4.1.1.4.37 State: state_41
3.1.1.4.4.1.1.4.38 State information
3.1.1.4.4.1.1.4.39 State: denybr4
3.1.1.4.4.1.1.4.40 State: denred4
3.1.1.4.4.1.1.4.41 State: denyellow4
3.1.1.4.4.1.1.4.42 State: denybg4
3.1.1.4.4.1.1.4.43 State: dengreen4
3.1.1.4.4.1.1.4.44 State: denop4
3.1.1.4.4.1.1.4.45 State: denyb4
3.1.1.4.4.1.1.4.46 State: dench4
3.1.1.4.4.1.1.4.47 State: rs4

60

3.1.1.5 Class name: Power_density


Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.5.1 EventReception information for Class: Power_density
3.1.1.5.1.1 Event Reception name: evdensityOn
Signature: evdensityOn()
Description:
3.1.1.5.1.2 Event Reception name: evdensityOff
Signature: evdensityOff()
Description:
3.1.1.5.2 Relation information for Class: Power_density
3.1.1.5.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
Power_density

3.1.1.5.3 Statechart information for Class: Power_density


Description:
Overridden: false

evdensityOn/itsDensity_controller->GEN(evStartdensity);
Density_Off

Density_On

evdensityOff/itsDensity_controller->GEN(evStopdensity);

3.1.1.5.3.1 State information


3.1.1.5.3.1.1 State: ROOT
3.1.1.5.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true

61

Target
Density_controller

Label:
3.1.1.5.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.5.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.5.3.1.1.4 State information
3.1.1.5.3.1.1.4.1 State: Density_Off
3.1.1.5.3.1.1.4.2 State: Density_On
3.1.1.6 Class name: Densitytrafficcompositeclassdiagram
Description:
Active: false
Behavior Overridden: false
Composite: true
Reactive: true
3.1.1.7 Class name: button0
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.7.1 EventReception information for Class: button0
3.1.1.7.1.1 Event Reception name: evonb0
Signature: evonb0()
Description:
3.1.1.7.1.2 Event Reception name: evoffb0
Signature: evoffb0()
Description:
3.1.1.7.2 Relation information for Class: button0
3.1.1.7.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association

62

Description:
Name
itsDensity_controller

Inverse

Source
button0

3.1.1.7.3 Statechart information for Class: button0


Description:
Overridden: false

evonb0
on

off

evoffb0

3.1.1.7.3.1 State information


3.1.1.7.3.1.1 State: ROOT
3.1.1.7.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.7.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.7.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.7.3.1.1.4 State information
3.1.1.7.3.1.1.4.1 State: off
3.1.1.7.3.1.1.4.2 State: on
3.1.1.8 Class name: button1
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true

63

Target
Density_controller

3.1.1.8.1 EventReception information for Class: button1


3.1.1.8.1.1 Event Reception name: evonb1
Signature: evonb1()
Description:
3.1.1.8.1.2 Event Reception name: evoffb1
Signature: evoffb1()
Description:
3.1.1.8.2 Relation information for Class: button1
3.1.1.8.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button1

3.1.1.8.3 Statechart information for Class: button1


Description:
Overridden: false

evonb1
off

on

evoffb1

3.1.1.8.3.1 State information


3.1.1.8.3.1.1 State: ROOT
3.1.1.8.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.8.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:

64

Target
Density_controller

3.1.1.8.3.1.1.3 Outgoing Transition information for State ROOT


Description:
Overridden: true
Label:
3.1.1.8.3.1.1.4 State information
3.1.1.8.3.1.1.4.1 State: off
3.1.1.8.3.1.1.4.2 State: on
3.1.1.9 Class name: button3
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.9.1 EventReception information for Class: button3
3.1.1.9.1.1 Event Reception name: evonb3
Signature: evonb3()
Description:
3.1.1.9.1.2 Event Reception name: evoffb3
Signature: evoffb3()
Description:
3.1.1.9.2 Relation information for Class: button3
3.1.1.9.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button3

3.1.1.9.3 Statechart information for Class: button3


Description:
Overridden: false

65

Target
Density_controller

evonb3
off

on

evoffb3

3.1.1.9.3.1 State information


3.1.1.9.3.1.1 State: ROOT
3.1.1.9.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.9.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.9.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.9.3.1.1.4 State information
3.1.1.9.3.1.1.4.1 State: off
3.1.1.9.3.1.1.4.2 State: on
3.1.1.10 Class name: button4
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.10.1 EventReception information for Class: button4
3.1.1.10.1.1 Event Reception name: evonb4
Signature: evonb4()
Description:
3.1.1.10.1.2 Event Reception name: evoffb4
Signature: evoffb4()
Description:

66

3.1.1.10.2 Relation information for Class: button4


3.1.1.10.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button4

3.1.1.10.3 Statechart information for Class: button4


Description:
Overridden: false

evonb4
off

on
evoffb4

3.1.1.10.3.1 State information


3.1.1.10.3.1.1 State: ROOT
3.1.1.10.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.10.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.10.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.10.3.1.1.4 State information
3.1.1.10.3.1.1.4.1 State: off
3.1.1.10.3.1.1.4.2 State: on

67

Target
Density_controller

3.1.1.11 Class name: button5


Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.11.1 EventReception information for Class: button5
3.1.1.11.1.1 Event Reception name: evonb5
Signature: evonb5()
Description:
3.1.1.11.1.2 Event Reception name: evoffb5
Signature: evoffb5()
Description:
3.1.1.11.2 Relation information for Class: button5
3.1.1.11.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button5

3.1.1.11.3 Statechart information for Class: button5


Description:
Overridden: false

off

evonb5

on

evoffb5

3.1.1.11.3.1 State information


3.1.1.11.3.1.1 State: ROOT
3.1.1.11.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true

68

Target
Density_controller

Label:
3.1.1.11.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.11.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.11.3.1.1.4 State information
3.1.1.11.3.1.1.4.1 State: off
3.1.1.11.3.1.1.4.2 State: on
3.1.1.12 Class name: button6
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.12.1 EventReception information for Class: button6
3.1.1.12.1.1 Event Reception name: evonb6
Signature: evonb6()
Description:
3.1.1.12.1.2 Event Reception name: evoffb6
Signature: evoffb6()
Description:
3.1.1.12.2 Relation information for Class: button6
3.1.1.12.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button6

3.1.1.12.3 Statechart information for Class: button6


Description:

69

Target
Density_controller

Overridden: false

evonb6

on

off
evoffb6

3.1.1.12.3.1 State information


3.1.1.12.3.1.1 State: ROOT
3.1.1.12.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.12.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.12.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.12.3.1.1.4 State information
3.1.1.12.3.1.1.4.1 State: off
3.1.1.12.3.1.1.4.2 State: on
3.1.1.13 Class name: button7
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.13.1 EventReception information for Class: button7
3.1.1.13.1.1 Event Reception name: evonb7
Signature: evonb7()
Description:
3.1.1.13.1.2 Event Reception name: evoffb7
Signature: evoffb7()
Description:

70

3.1.1.13.2 Relation information for Class: button7


3.1.1.13.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button7

3.1.1.13.3 Statechart information for Class: button7


Description:
Overridden: false

evonb7
on

off

evoffb7

3.1.1.13.3.1 State information


3.1.1.13.3.1.1 State: ROOT
3.1.1.13.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.13.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.13.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.13.3.1.1.4 State information
3.1.1.13.3.1.1.4.1 State: off
3.1.1.13.3.1.1.4.2 State: on

71

Target
Density_controller

3.1.1.14 Class name: button8


Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.14.1 EventReception information for Class: button8
3.1.1.14.1.1 Event Reception name: evonb8
Signature: evonb8()
Description:
3.1.1.14.1.2 Event Reception name: evoffb8
Signature: evoffb8()
Description:
3.1.1.14.2 Relation information for Class: button8
3.1.1.14.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button8

3.1.1.14.3 Statechart information for Class: button8


Description:
Overridden: false

off

on

evonb8

evoffb8

72

Target
Density_controller

3.1.1.14.3.1 State information


3.1.1.14.3.1.1 State: ROOT
3.1.1.14.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.14.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.14.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.14.3.1.1.4 State information
3.1.1.14.3.1.1.4.1 State: off
3.1.1.14.3.1.1.4.2 State: on
3.1.1.15 Class name: button9
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.15.1 EventReception information for Class: button9
3.1.1.15.1.1 Event Reception name: evonb9
Signature: evonb9()
Description:
3.1.1.15.1.2 Event Reception name: evoffb9
Signature: evoffb9()
Description:
3.1.1.15.2 Relation information for Class: button9
3.1.1.15.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller

73

Type: Association
Description:
Name
itsDensity_controller

Inverse

Source
button9

3.1.1.15.3 Statechart information for Class: button9


Description:
Overridden: false

evonb9

off

on

evoffb9

3.1.1.15.3.1 State information


3.1.1.15.3.1.1 State: ROOT
3.1.1.15.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.15.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.15.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.15.3.1.1.4 State information
3.1.1.15.3.1.1.4.1 State: off
3.1.1.15.3.1.1.4.2 State: on
3.1.1.16 Class name: button10
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true

74

Target
Density_controller

3.1.1.16.1 EventReception information for Class: button10


3.1.1.16.1.1 Event Reception name: evonb10
Signature: evonb10()
Description:
3.1.1.16.1.2 Event Reception name: evoffb10
Signature: evoffb10()
Description:
3.1.1.16.2 Relation information for Class: button10
3.1.1.16.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button10

3.1.1.16.3 Statechart information for Class: button10


Description:
Overridden: false

off

evonb10

on

evoffb10

3.1.1.16.3.1 State information


3.1.1.16.3.1.1 State: ROOT
3.1.1.16.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.16.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:

75

Target
Density_controller

3.1.1.16.3.1.1.3 Outgoing Transition information for State ROOT


Description:
Overridden: true
Label:
3.1.1.16.3.1.1.4 State information
3.1.1.16.3.1.1.4.1 State: off
3.1.1.16.3.1.1.4.2 State: on
3.1.1.17 Class name: button2
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.17.1 EventReception information for Class: button2
3.1.1.17.1.1 Event Reception name: evonb2
Signature: evonb2()
Description:
3.1.1.17.1.2 Event Reception name: evoffb2
Signature: evoffb2()
Description:
3.1.1.17.2 Relation information for Class: button2
3.1.1.17.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button2

3.1.1.17.3 Statechart information for Class: button2


Description:
Overridden: false

76

Target
Density_controller

evonb2

off

on

evoffb2

3.1.1.17.3.1 State information


3.1.1.17.3.1.1 State: ROOT
3.1.1.17.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.17.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.17.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.17.3.1.1.4 State information
3.1.1.17.3.1.1.4.1 State: off
3.1.1.17.3.1.1.4.2 State: on
3.1.1.18 Class name: button11
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.18.1 EventReception information for Class: button11
3.1.1.18.1.1 Event Reception name: evonb11
Signature: evonb11()
Description:
3.1.1.18.1.2 Event Reception name: evoffb11
Signature: evoffb11()
Description:

77

3.1.1.18.2 Relation information for Class: button11


3.1.1.18.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button11

3.1.1.18.3 Statechart information for Class: button11


Description:
Overridden: false

evonb11
off

on

evoffb11

3.1.1.18.3.1 State information


3.1.1.18.3.1.1 State: ROOT
3.1.1.18.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.18.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.18.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.18.3.1.1.4 State information
3.1.1.18.3.1.1.4.1 State: off

78

Target
Density_controller

3.1.1.18.3.1.1.4.2 State: on
3.1.1.19 Class name: button12
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.19.1 EventReception information for Class: button12
3.1.1.19.1.1 Event Reception name: evonb12
Signature: evonb12()
Description:
3.1.1.19.1.2 Event Reception name: evoffb12
Signature: evoffb12()
Description:
3.1.1.19.2 Relation information for Class: button12
3.1.1.19.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button12

3.1.1.19.3 Statechart information for Class: button12


Description:
Overridden: false

evonb12
on

off

evoffb12

79

Target
Density_controller

3.1.1.19.3.1 State information


3.1.1.19.3.1.1 State: ROOT
3.1.1.19.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.19.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.19.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.19.3.1.1.4 State information
3.1.1.19.3.1.1.4.1 State: off
3.1.1.19.3.1.1.4.2 State: on
3.1.1.20 Class name: button13
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.20.1 EventReception information for Class: button13
3.1.1.20.1.1 Event Reception name: evonb13
Signature: evonb13()
Description:
3.1.1.20.1.2 Event Reception name: evoffb13
Signature: evoffb13()
Description:
3.1.1.20.2 Relation information for Class: button13
3.1.1.20.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller

80

Type: Association
Description:
Name
itsDensity_controller

Inverse

Source
button13

3.1.1.20.3 Statechart information for Class: button13


Description:
Overridden: false

off

evonb13

on

evoffb13

3.1.1.20.3.1 State information


3.1.1.20.3.1.1 State: ROOT
3.1.1.20.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.20.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.20.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.20.3.1.1.4 State information
3.1.1.20.3.1.1.4.1 State: off
3.1.1.20.3.1.1.4.2 State: on
3.1.1.21 Class name: button14
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true

81

Target
Density_controller

3.1.1.21.1 EventReception information for Class: button14


3.1.1.21.1.1 Event Reception name: evonb14
Signature: evonb14()
Description:
3.1.1.21.1.2 Event Reception name: evoffb14
Signature: evoffb14()
Description:
3.1.1.21.2 Relation information for Class: button14
3.1.1.21.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button14

3.1.1.21.3 Statechart information for Class: button14


Description:
Overridden: false

off

evonb14

on

evoffb14

3.1.1.21.3.1 State information


3.1.1.21.3.1.1 State: ROOT
3.1.1.21.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.21.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:

82

Target
Density_controller

3.1.1.21.3.1.1.3 Outgoing Transition information for State ROOT


Description:
Overridden: true
Label:
3.1.1.21.3.1.1.4 State information
3.1.1.21.3.1.1.4.1 State: off
3.1.1.21.3.1.1.4.2 State: on
3.1.1.22 Class name: button16
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.22.1 EventReception information for Class: button16
3.1.1.22.1.1 Event Reception name: evonb16
Signature: evonb16()
Description:
3.1.1.22.1.2 Event Reception name: evoffb16
Signature: evoffb16()
Description:
3.1.1.22.2 Relation information for Class: button16
3.1.1.22.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button16

3.1.1.22.3 Statechart information for Class: button16


Description:
Overridden: false

83

Target
Density_controller

evonb16
on

off

evoffb16

3.1.1.22.3.1 State information


3.1.1.22.3.1.1 State: ROOT
3.1.1.22.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.22.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.22.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.22.3.1.1.4 State information
3.1.1.22.3.1.1.4.1 State: off
3.1.1.22.3.1.1.4.2 State: on
3.1.1.23 Class name: button17
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.23.1 EventReception information for Class: button17
3.1.1.23.1.1 Event Reception name: evonb17
Signature: evonb17()
Description:
3.1.1.23.1.2 Event Reception name: evoffb17
Signature: evoffb17()
Description:

84

3.1.1.23.2 Relation information for Class: button17


3.1.1.23.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button17

3.1.1.23.3 Statechart information for Class: button17


Description:
Overridden: false

off

evonb17

on

evoffb17

3.1.1.23.3.1 State information


3.1.1.23.3.1.1 State: ROOT
3.1.1.23.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.23.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.23.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.23.3.1.1.4 State information
3.1.1.23.3.1.1.4.1 State: off
3.1.1.23.3.1.1.4.2 State: on

85

Target
Density_controller

3.1.1.24 Class name: button15


Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.24.1 EventReception information for Class: button15
3.1.1.24.1.1 Event Reception name: evonb15
Signature: evonb15()
Description:
3.1.1.24.1.2 Event Reception name: evoffb15
Signature: evoffb15()
Description:
3.1.1.24.2 Relation information for Class: button15
3.1.1.24.2.1 Relation name: itsDensity_controller
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsDensity_controller
LinkName:
RoleName: itsDensity_controller
Type: Association
Description:
Name
Inverse
itsDensity_controller

Source
button15

3.1.1.24.3 Statechart information for Class: button15


Description:
Overridden: false

evonb15
off

on

evoffb15

3.1.1.24.3.1 State information


3.1.1.24.3.1.1 State: ROOT
3.1.1.24.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true

86

Target
Density_controller

Label:
3.1.1.24.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.24.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.24.3.1.1.4 State information
3.1.1.24.3.1.1.4.1 State: off
3.1.1.24.3.1.1.4.2 State: on
3.1.1.25 Class name: TimeController
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.25.1 Attribute Information for Class: TimeController
3.1.1.25.1.1 Attribute Name: t
Default Value: 0
Static: false
Visibility: public
Type: int
Stereotype:
Description:
3.1.1.25.2 Operation information for Class: TimeController
3.1.1.25.2.1 Operation name: TimeController
Initializer:
Const: false
Trigger: false
Body: std::cout<<"enter time gap t= \n";
std::cin>>t;
Abstract: false
Static: false
Virtual: false
Visibility: public
Signature: TimeController()
Return Type:
Description:

87

3.1.1.25.3 EventReception information for Class: TimeController


3.1.1.25.3.1 Event Reception name: evStarttime
Signature: evStarttime()
Description:
3.1.1.25.3.2 Event Reception name: evStoptime
Signature: evStoptime()
Description:
3.1.1.25.4 Statechart information for Class: TimeController
Description:
Overridden: false
Running time

evStarttime
Idletime

tm(t)
red1

yellow1

tm(t)
g reen1

evStoptime
yellowblink1

tm(t)

tm(t)
red2

tm(t)
yellow2

tm(t)

yellowblink2

tm(t)
red3

tm(t)

red4

tm(t)

yellow3

yellowblink3

tm(t)

tm(t)

g reen2

tm(t)

tm(t) g reen3

tm(t)

yellow4
tm(t)g reen4

yellowblink4

tm(t)

88

3.1.1.25.4.1 State information


3.1.1.25.4.1.1 State: ROOT
3.1.1.25.4.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.25.4.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.25.4.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.25.4.1.1.4 State information
3.1.1.25.4.1.1.4.1 State: Idletime
3.1.1.25.4.1.1.4.2 State: Runningtime
3.1.1.25.4.1.1.4.3 State information
3.1.1.25.4.1.1.4.4 State: state_6
3.1.1.25.4.1.1.4.5 State information
3.1.1.25.4.1.1.4.6 State: red1
3.1.1.25.4.1.1.4.7 State: yellow1
3.1.1.25.4.1.1.4.8 State: green1
3.1.1.25.4.1.1.4.9 State: yellowblink1
3.1.1.25.4.1.1.4.10 State: state_7
3.1.1.25.4.1.1.4.11 State information
3.1.1.25.4.1.1.4.12 State: red2
3.1.1.25.4.1.1.4.13 State: yellow2
3.1.1.25.4.1.1.4.14 State: green2
3.1.1.25.4.1.1.4.15 State: yellowblink2

89

3.1.1.25.4.1.1.4.16 State: state_12


3.1.1.25.4.1.1.4.17 State information
3.1.1.25.4.1.1.4.18 State: red3
3.1.1.25.4.1.1.4.19 State: yellow3
3.1.1.25.4.1.1.4.20 State: green3
3.1.1.25.4.1.1.4.21 State: yellowblink3
3.1.1.25.4.1.1.4.22 State: state_17
3.1.1.25.4.1.1.4.23 State information
3.1.1.25.4.1.1.4.24 State: red4
3.1.1.25.4.1.1.4.25 State: yellow4
3.1.1.25.4.1.1.4.26 State: green4
3.1.1.25.4.1.1.4.27 State: yellowblink4
3.1.1.26 Class name: Powertime
Description:
Active: false
Behavior Overridden: false
Composite: false
Reactive: true
3.1.1.26.1 EventReception information for Class: Powertime
3.1.1.26.1.1 Event Reception name: evtimeoff
Signature: evtimeoff()
Description:
3.1.1.26.1.2 Event Reception name: evtimeon
Signature: evtimeon()
Description:
3.1.1.26.2 Relation information for Class: Powertime
3.1.1.26.2.1 Relation name: itsTimeController
Symmetric: false
Multiplicity: 1
Qualifier:
Visibility: public
Label: itsTimeController
LinkName:
RoleName: itsTimeController

90

Type: Association
Description:
Name
itsTimeController

Inverse

Source
Powertime

3.1.1.26.3 Statechart information for Class: Powertime


Description:
Overridden: false
evtimeon/itsTimeController->GEN(evStarttime);
TimeOn

Timeoff

evtimeof f/itsTimeController->GEN(evStoptime);

3.1.1.26.3.1 State information


3.1.1.26.3.1.1 State: ROOT
3.1.1.26.3.1.1.1 Default Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.26.3.1.1.2 Incoming Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.26.3.1.1.3 Outgoing Transition information for State ROOT
Description:
Overridden: true
Label:
3.1.1.26.3.1.1.4 State information
3.1.1.26.3.1.1.4.1 State: Timeoff
3.1.1.26.3.1.1.4.2 State: TimeOn
3.1.1.27 Class name: Timebasedtracompdiagram
Description:
Active: false
Behavior Overridden: false
Composite: true
Reactive: true

91

Target
TimeController

3.1.2 Event information for Package Default


3.1.2.1 Event name: evStartdbs
Signature: evStartdbs()
Description:
3.1.2.2 Event name: evStopdbs
Signature: evStopdbs()
Description:
3.1.2.3 Event name: evdbsOn
Signature: evdbsOn()
Description:
3.1.2.4 Event name: evdbsOff
Signature: evdbsOff()
Description:
3.1.2.5 Event name: evdensityOn
Signature: evdensityOn()
Description:
3.1.2.6 Event name: evdensityOff
Signature: evdensityOff()
Description:
3.1.2.7 Event name: evStartdensity
Signature: evStartdensity()
Description:
3.1.2.8 Event name: evStopdensity
Signature: evStopdensity()
Description:
3.1.2.9 Event name: evdenOp1
Signature: evdenOp1()
Description:
3.1.2.10 Event name: evdenOp2
Signature: evdenOp2()
Description:
3.1.2.11 Event name: evdenOp3
Signature: evdenOp3()
Description:
3.1.2.12 Event name: evdenOp4
Signature: evdenOp4()
Description:
3.1.2.13 Event name: evdenybr1
Signature: evdenybr1()

92

Description:
3.1.2.14 Event name: evdenybr2
Signature: evdenybr2()
Description:
3.1.2.15 Event name: evdenybr3
Signature: evdenybr3()
Description:
3.1.2.16 Event name: evdenybr4
Signature: evdenybr4()
Description:
3.1.2.17 Event name: evdenybg1
Signature: evdenybg1()
Description:
3.1.2.18 Event name: evdenybg2
Signature: evdenybg2()
Description:
3.1.2.19 Event name: evdenybg3
Signature: evdenybg3()
Description:
3.1.2.20 Event name: evdenybg4
Signature: evdenybg4()
Description:
3.1.2.21 Event name: evdenred1
Signature: evdenred1()
Description:
3.1.2.22 Event name: evdenred2
Signature: evdenred2()
Description:
3.1.2.23 Event name: evdenred3
Signature: evdenred3()
Description:
3.1.2.24 Event name: evdenred4
Signature: evdenred4()
Description:
3.1.2.25 Event name: evdenyellow1
Signature: evdenyellow1()
Description:
3.1.2.26 Event name: evdenyellow2
Signature: evdenyellow2()
Description:

93

3.1.2.27 Event name: evdenyellow3


Signature: evdenyellow3()
Description:
3.1.2.28 Event name: evdenyellow4
Signature: evdenyellow4()
Description:
3.1.2.29 Event name: evdengreen1
Signature: evdengreen1()
Description:
3.1.2.30 Event name: evdengreen2
Signature: evdengreen2()
Description:
3.1.2.31 Event name: evdengreen3
Signature: evdengreen3()
Description:
3.1.2.32 Event name: evdengreen4
Signature: evdengreen4()
Description:
3.1.2.33 Event name: evdenyb1
Signature: evdenyb1()
Description:
3.1.2.34 Event name: evdenyb2
Signature: evdenyb2()
Description:
3.1.2.35 Event name: evdenyb3
Signature: evdenyb3()
Description:
3.1.2.36 Event name: evdenyb4
Signature: evdenyb4()
Description:
3.1.2.37 Event name: evrs1
Signature: evrs1()
Description:
3.1.2.38 Event name: evrs2
Signature: evrs2()
Description:
3.1.2.39 Event name: evrs3
Signature: evrs3()
Description:

94

3.1.2.40 Event name: evrs4


Signature: evrs4()
Description:
3.1.2.41 Event name: evres1
Signature: evres1()
Description:
3.1.2.42 Event name: evres2
Signature: evres2()
Description:
3.1.2.43 Event name: evres3
Signature: evres3()
Description:
3.1.2.44 Event name: evres4
Signature: evres4()
Description:
3.1.2.45 Event name: evresetdbs2
Signature: evresetdbs2()
Description:
3.1.2.46 Event name: evresetdbs3
Signature: evresetdbs3()
Description:
3.1.2.47 Event name: evonb1
Signature: evonb1()
Description:
3.1.2.48 Event name: evoffb1
Signature: evoffb1()
Description:
3.1.2.49 Event name: evonb2
Signature: evonb2()
Description:
3.1.2.50 Event name: evoffb2
Signature: evoffb2()
Description:
3.1.2.51 Event name: evonb3
Signature: evonb3()
Description:
3.1.2.52 Event name: evonb0
Signature: evonb0()
Description:

95

3.1.2.53 Event name: evoffb0


Signature: evoffb0()
Description:
3.1.2.54 Event name: evoffb3
Signature: evoffb3()
Description:
3.1.2.55 Event name: evonb4
Signature: evonb4()
Description:
3.1.2.56 Event name: evoffb4
Signature: evoffb4()
Description:
3.1.2.57 Event name: evonb5
Signature: evonb5()
Description:
3.1.2.58 Event name: evoffb5
Signature: evoffb5()
Description:
3.1.2.59 Event name: evonb6
Signature: evonb6()
Description:
3.1.2.60 Event name: evoffb6
Signature: evoffb6()
Description:
3.1.2.61 Event name: evonb7
Signature: evonb7()
Description:
3.1.2.62 Event name: evoffb7
Signature: evoffb7()
Description:
3.1.2.63 Event name: evonb8
Signature: evonb8()
Description:
3.1.2.64 Event name: evoffb8
Signature: evoffb8()
Description:
3.1.2.65 Event name: evonb9
Signature: evonb9()
Description:

96

3.1.2.66 Event name: evoffb9


Signature: evoffb9()
Description:
3.1.2.67 Event name: evonb10
Signature: evonb10()
Description:
3.1.2.68 Event name: evoffb10
Signature: evoffb10()
Description:
3.1.2.69 Event name: evonb11
Signature: evonb11()
Description:
3.1.2.70 Event name: evoffb11
Signature: evoffb11()
Description:
3.1.2.71 Event name: evonb12
Signature: evonb12()
Description:
3.1.2.72 Event name: evoffb12
Signature: evoffb12()
Description:
3.1.2.73 Event name: evonb13
Signature: evonb13()
Description:
3.1.2.74 Event name: evoffb13
Signature: evoffb13()
Description:
3.1.2.75 Event name: evonb14
Signature: evonb14()
Description:
3.1.2.76 Event name: evoffb14
Signature: evoffb14()
Description:
3.1.2.77 Event name: evonb16
Signature: evonb16()
Description:
3.1.2.78 Event name: evoffb16
Signature: evoffb16()
Description:

97

3.1.2.79 Event name: evonb17


Signature: evonb17()
Description:
3.1.2.80 Event name: evoffb17
Signature: evoffb17()
Description:
3.1.2.81 Event name: evonb15
Signature: evonb15()
Description:
3.1.2.82 Event name: evoffb15
Signature: evoffb15()
Description:
3.1.2.83 Event name: evtimeoff
Signature: evtimeoff()
Description:
3.1.2.84 Event name: evtimeon
Signature: evtimeon()
Description:
3.1.2.85 Event name: evred1
Signature: evred1()
Description:
3.1.2.86 Event name: evred2
Signature: evred2()
Description:
3.1.2.87 Event name: evred3
Signature: evred3()
Description:
3.1.2.88 Event name: evred4
Signature: evred4()
Description:
3.1.2.89 Event name: evyellow1
Signature: evyellow1()
Description:
3.1.2.90 Event name: evyellow2
Signature: evyellow2()
Description:
3.1.2.91 Event name: evyellow3
Signature: evyellow3()
Description:

98

3.1.2.92 Event name: evyellow4


Signature: evyellow4()
Description:
3.1.2.93 Event name: evgreen1
Signature: evgreen1()
Description:
3.1.2.94 Event name: evgreen2
Signature: evgreen2()
Description:
3.1.2.95 Event name: evgreen3
Signature: evgreen3()
Description:
3.1.2.96 Event name: evgreen4
Signature: evgreen4()
Description:
3.1.2.97 Event name: evyellowblink1
Signature: evyellowblink1()
Description:
3.1.2.98 Event name: evyellowblink2
Signature: evyellowblink2()
Description:
3.1.2.99 Event name: evyellowblink3
Signature: evyellowblink3()
Description:
3.1.2.100 Event name: evyellowblink4
Signature: evyellowblink4()
Description:
3.1.2.101 Event name: evStarttime
Signature: evStarttime()
Description:
3.1.2.102 Event name: evStoptime
Signature: evStoptime()
Description:

3.2 Package: PredefinedTypes


Description:

3.2.1 Type information for Package PredefinedTypes

99

3.2.1.1 Type name: RhpInteger


Description: Predefined RhpInteger
Kind: Language
3.2.1.2 Type name: RhpCharacter
Description: Predefined RhpCharacter
Kind: Language
3.2.1.3 Type name: RhpString
Description: Predefined RhpString
Kind: Language
3.2.1.4 Type name: RhpReal
Description: Predefined RhpReal
Kind: Language
3.2.1.5 Type name: RhpVoid
Description: Predefined RhpVoid
Kind: Language
3.2.1.6 Type name: RhpPositive
Description: Predefined RhpPositive
Kind: Language
3.2.1.7 Type name: RhpAddress
Description: Predefined RhpAddress
Kind: Language
3.2.1.8 Type name: RhpBoolean
Description: Predefined RhpBoolean
Kind: Language
3.2.1.9 Type name: RhpUnlimitedNatural
Description: Predefined RhpUnlimitedNatural
Kind: Language

3.2.2 Stereotype information for Package: PredefinedTypes

3.2.2.1 Stereotype name: AppliedProfile


Description:
OfMetaClass: Dependency
3.2.2.2 Stereotype name: ImportedProfile
Description:
OfMetaClass: Dependency
3.2.2.3 Stereotype name: Settings
Description:
OfMetaClass: Profile

100

3.2.2.4 Stereotype name: Merge


Description:
OfMetaClass: Dependency
3.2.2.5 Stereotype name: Redefines
Description:
OfMetaClass: Dependency
3.2.2.6 Stereotype name: EclipseConfiguration
Description:
OfMetaClass: Configuration
3.2.2.7 Stereotype name: Interface
Description:
OfMetaClass: Class
3.2.2.8 Stereotype name: Usage
Description:
OfMetaClass: Dependency
3.2.2.9 Stereotype name: Framework
Description:
OfMetaClass: Package
3.2.2.10 Stereotype name: Metaclass
Description:
OfMetaClass: Class
3.2.2.11 Stereotype name: Specification
Description:
OfMetaClass: Actor,Class,AssociationClass,Statechart,FlowItem,Event,Node,Type,UseCase
3.2.2.12 Stereotype name: Realization
Description:
OfMetaClass: Actor,Class,AssociationClass,Statechart,FlowItem,Event,Node,Type,UseCase
3.2.2.13 Stereotype name: Send
Description:
OfMetaClass: Dependency
3.2.2.14 Stereotype name: Resource
Description:
OfMetaClass: Class
3.2.2.15 Stereotype name: Singleton
Description:
OfMetaClass: Object_type
3.2.2.16 Stereotype name: MessageQueue
Description:
OfMetaClass: Object_type

101

3.2.2.17 Stereotype name: Timer


Description:
OfMetaClass: Object_type
3.2.2.18 Stereotype name: Semaphore
Description:
OfMetaClass: Object_type
3.2.2.19 Stereotype name: Mutex
Description:
OfMetaClass: Object_type
3.2.2.20 Stereotype name: EventFlag
Description:
OfMetaClass: Object_type
3.2.2.21 Stereotype name: Task
Description:
OfMetaClass: Object_type
3.2.2.22 Stereotype name: Executable
Description:
OfMetaClass: Component
3.2.2.23 Stereotype name: Library
Description:
OfMetaClass: Component
3.2.2.24 Stereotype name: Table
Description:
OfMetaClass: Component
3.2.2.25 Stereotype name: Document
Description:
OfMetaClass: Component
3.2.2.26 Stereotype name: Realization
Description:
OfMetaClass: Generalization
3.2.2.27 Stereotype name: A2D
Description:
OfMetaClass: Node
3.2.2.28 Stereotype name: Board
Description:
OfMetaClass: Node
3.2.2.29 Stereotype name: Bus
Description:
OfMetaClass: Node

102

3.2.2.30 Stereotype name: Button


Description:
OfMetaClass: Node
3.2.2.31 Stereotype name: D2A
Description:
OfMetaClass: Node
3.2.2.32 Stereotype name: DigitalIO
Description:
OfMetaClass: Node
3.2.2.33 Stereotype name: Disk
Description:
OfMetaClass: Node
3.2.2.34 Stereotype name: Display
Description:
OfMetaClass: Node
3.2.2.35 Stereotype name: Keyboard
Description:
OfMetaClass: Node
3.2.2.36 Stereotype name: Motor
Description:
OfMetaClass: Node
3.2.2.37 Stereotype name: Mouse
Description:
OfMetaClass: Node
3.2.2.38 Stereotype name: Panel
Description:
OfMetaClass: Node
3.2.2.39 Stereotype name: Printer
Description:
OfMetaClass: Node
3.2.2.40 Stereotype name: Processor
Description:
OfMetaClass: Node
3.2.2.41 Stereotype name: Sensor
Description:
OfMetaClass: Node
3.2.2.42 Stereotype name: include
Description:
OfMetaClass: Dependency

103

3.2.2.43 Stereotype name: extend


Description:
OfMetaClass: Dependency
3.2.2.44 Stereotype name: trace
Description: Specifies a trace relationship between model elements or sets
of model elements that represent the same concept in
different models. Traces are mainly used for tracking
requirements and changes across models. Since model
changes can occur in both directions, the directionality of the
dependency can often be ignored. The mapping specifies the
relationship between the two, but it is rarely computable and
is usually informal.
OfMetaClass: Dependency
3.2.2.45 Stereotype name: refine
Description: Specifies a refinement relationship between model elements
at different semantic levels, such as analysis and design. The
mapping specifies the relationship between the two elements
or sets of elements. The mapping may or may not be
computable, and it may be unidirectional or bidirectional.
Refinement can be used to model transformations from
analysis to design and other such changes.
OfMetaClass: Dependency
3.2.2.46 Stereotype name: derive
Description: Specifies a derivation relationship among model elements
that are usually, but not necessarily, of the same type. A
derived dependency specifies that the client may be
computed from the supplier. The mapping specifies the
computation. The client may be implemented for design
reasons, such as efficiency, even though it is logically
redundant.
OfMetaClass: Dependency
3.2.2.47 Stereotype name: flowPort
Description:
OfMetaClass: SysMLPort
3.2.2.48 Stereotype name: FlowChart
Description:
OfMetaClass: ActivityDiagram
3.2.2.49 Stereotype name: CallBehavior
Description:
OfMetaClass: ReferenceActivity
3.2.2.50 Stereotype name: ModelLibrary
Description:
OfMetaClass: Package

104

3.2.2.51 Stereotype name: VariationPoint


Description:
OfMetaClass: Class
3.2.2.52 Stereotype name: Varies
Description:
OfMetaClass: Dependency
3.2.2.53 Stereotype name: Variant
Description:
OfMetaClass: Class
3.2.2.54 Stereotype name: Static
Description:
OfMetaClass: Generalization
3.2.2.55 Stereotype name: VisualStudioConfiguration
Description:
OfMetaClass: Configuration
3.2.2.56 Stereotype name: ActivityFinal
Description:
OfMetaClass: State
3.2.2.57 Stereotype name: DecisionNode
Description:
OfMetaClass: Connector
3.2.2.58 Stereotype name: MergeNode
Description:
OfMetaClass: Connector
3.2.2.59 Stereotype name: ControlFlow
Description: Control Flow edges model the movement of control from one node to another.
OfMetaClass: Transition
3.2.2.60 Stereotype name: ObjectFlow
Description: Object flow edges model the flow of objects or data from one node to another.
OfMetaClass: Transition
3.2.2.61 Stereotype name: interruptibleRegion
Description:
OfMetaClass: State
3.2.2.62 Stereotype name: Class Diagram
Description:
OfMetaClass: ObjectModelDiagram

3.3 Package: PredefinedTypesCpp


Description:

105

3.3.1 Type information for Package PredefinedTypesCpp

3.3.1.1 Type name: int


Description: Predefined int
Kind: Language
3.3.1.2 Type name: char
Description: Predefined char
Kind: Language
3.3.1.3 Type name: char*
Description: Predefined char*
Kind: Language
3.3.1.4 Type name: double
Description: Predefined double
Kind: Language
3.3.1.5 Type name: void
Description: Predefined void
Kind: Language
3.3.1.6 Type name: long
Description: Predefined long
Kind: Language
3.3.1.7 Type name: void *
Description: Predefined void *
Kind: Language
3.3.1.8 Type name: OMBoolean
Description: Predefined boolean
Kind: Language
3.3.1.9 Type name: OMString
Description: Predefined String
Kind: Language
3.3.1.10 Type name: short
Description: Predefined short
Kind: Language
3.3.1.11 Type name: unsigned int
Description: Predefined unsigned int
Kind: Language
3.3.1.12 Type name: unsigned short
Description: Predefined unsigned short
Kind: Language

106

3.3.1.13 Type name: unsigned char


Description: Predefined unsigned char
Kind: Language
3.3.1.14 Type name: unsigned long
Description: Predefined unsigned long
Kind: Language
3.3.1.15 Type name: long double
Description: Predefined long double
Kind: Language
3.3.1.16 Type name: bool
Description:
Kind: Language
3.3.1.17 Type name: float
Description: Predefined float
Kind: Language

3.3.2 Stereotype information for Package: PredefinedTypesCpp

3.3.2.1 Stereotype name: Friend


Description:
OfMetaClass: Dependency
3.3.2.2 Stereotype name: CORBAInterface
Description:
OfMetaClass: Class
3.3.2.3 Stereotype name: CORBAException
Description:
OfMetaClass: Class
3.3.2.4 Stereotype name: CORBAModule
Description:
OfMetaClass: Package
3.3.2.5 Stereotype name: Subsystem
Description:
OfMetaClass: Class
3.3.2.6 Stereotype name: ConnectionPoint
Description:
OfMetaClass: Dependency
3.3.2.7 Stereotype name: Web Managed
Description:
OfMetaClass: Class,Attribute,PrimitiveOperation,TriggeredOperation,Event

107

3.3.2.8 Stereotype name: Reactive Interface


Description:
OfMetaClass: Class

108