Models and Frameworks: A Synergistic Association for Developing Component-Based Applications

Algorithm 7

Skeleton of the FraCC implementation of the example shown in Figure 5 (excerpt of the JSON file describing the application architecture and its deployment).

(1) {“regions”: [

(2) {“name”: “Reg_2”,

(3)   “states”: [

(4)  {“id”: “Moving_Auto”

(5)    “transitions”: [⋯ ]

(6)  },

(7)  ⋯

(8)   ],

(9)   “activities”: [

(10)   {“id”: “Control_Vehicle_Activity”,

(11)   “outPins”: [⋯],

(12)   “inPins”: [⋯]

(13)   },

(14)   ⋯

(15)  ]

(16)   },

(17)   {“name”: “Reg_3”

(18)     ⋯

(19)   },

(20)   ⋯

(21) ],

(22) “regions2Threads”: [

(23)   {“regionName”: “Reg_1”,

(24)     “threadId”: 0

(25)     },

(26)     ⋯

(27) ]

(28) }