1 line
32 KiB
Clojure
1 line
32 KiB
Clojure
{:highlights [{:id #uuid "63bf1900-7f9a-4dfe-bdd9-2c8261e6e502", :page 1, :position {:bounding {:x1 0, :y1 -1.8257417678833008, :x2 833.9430541992188, :y2 257.49237060546875, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 -1.8257417678833008, :x2 0, :y2 17.527121543884277, :width 897.6, :height 1161.6000000000001} {:x1 234.994140625, :y1 191.38339233398438, :x2 833.6237182617188, :y2 223.881591796875, :width 897.6, :height 1161.6000000000001} {:x1 486.9196472167969, :y1 224.99415588378906, :x2 833.9430541992188, :y2 257.49237060546875, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "Requirements-Driven Modelling Framework for Adaptive IoT Systems"}, :properties {:color "green"}} {:id #uuid "63bf1940-a0ba-45f5-9612-3c5bc30b5bde", :page 1, :position {:bounding {:x1 576.4222526550293, :y1 431.9419860839844, :x2 655.1008415222168, :y2 447.2782287597656, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 576.4222526550293, :y1 431.9419860839844, :x2 655.1008415222168, :y2 447.2782287597656, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "complexities "}, :properties {:color "green"}} {:id #uuid "63bf1942-c91d-405a-a5b8-4590b0cf38e3", :page 1, :position {:bounding {:x1 784.4748039245605, :y1 431.9419860839844, :x2 835.9480094909668, :y2 447.2782287597656, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 784.4748039245605, :y1 431.9419860839844, :x2 835.9480094909668, :y2 447.2782287597656, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "adaptive"}, :properties {:color "green"}} {:id #uuid "63bf1943-c7fe-403b-9de1-4f8366c57044", :page 1, :position {:bounding {:x1 70.13701248168945, :y1 452.9836730957031, :x2 121.8629264831543, :y2 468.31988525390625, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 70.13701248168945, :y1 452.9836730957031, :x2 121.8629264831543, :y2 468.31988525390625, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "systems"}, :properties {:color "green"}} {:id #uuid "63bf194b-d9e7-4687-9c58-4a59024529f5", :page 1, :position {:bounding {:x1 0, :y1 94.16263580322266, :x2 836.1977653503418, :y2 489.361572265625, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 94.16263580322266, :x2 0, :y2 113.5155029296875, :width 897.6, :height 1161.6000000000001} {:x1 554.7548942565918, :y1 452.9836730957031, :x2 836.1977653503418, :y2 468.31988525390625, :width 897.6, :height 1161.6000000000001} {:x1 70.13701248168945, :y1 474.02532958984375, :x2 288.0984687805176, :y2 489.361572265625, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "equirements development, design and code generation of adaptive IoT systems"}, :properties {:color "yellow"}} {:id #uuid "63bf197b-25b9-44d7-ae29-9a6cbfd9cbe9", :page 1, :position {:bounding {:x1 436.4472465515137, :y1 516.1029968261719, :x2 757.6936149597168, :y2 531.439208984375, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 436.4472465515137, :y1 516.1029968261719, :x2 757.6936149597168, :y2 531.439208984375, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "exceptional situations along with handling functionality"}, :properties {:color "green"}} {:id #uuid "63bf199a-b37b-433e-9a0d-9bf8da97a7cd", :page 1, :position {:bounding {:x1 70.13701248168945, :y1 579.2279968261719, :x2 180.46830368041992, :y2 594.5642395019531, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 70.13701248168945, :y1 579.2279968261719, :x2 180.46830368041992, :y2 594.5642395019531, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "adaptive behaviou"}, :properties {:color "yellow"}} {:id #uuid "63bf19bc-f2dc-428a-b4aa-c9661b38fa12", :page 1, :position {:bounding {:x1 0, :y1 430.1219482421875, :x2 435.30085372924805, :y2 761.6880645751953, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 430.1219482421875, :x2 0, :y2 449.4748077392578, :width 897.6, :height 1161.6000000000001} {:x1 245.28615951538086, :y1 728.0887298583984, :x2 435.30085372924805, :y2 744.1552581787109, :width 897.6, :height 1161.6000000000001} {:x1 51.66278648376465, :y1 734.7298431396484, :x2 55.52537155151367, :y2 742.3979644775391, :width 897.6, :height 1161.6000000000001} {:x1 70.13701248168945, :y1 745.6215362548828, :x2 310.8194770812988, :y2 761.6880645751953, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text " bringing about a rapid evolution2 in the engineering of software systems."}, :properties {:color "red"}} {:id #uuid "63bf19f9-ec65-4a73-8b8e-5ba86e5c8473", :page 1, :position {:bounding {:x1 0, :y1 558.1064605712891, :x2 437.7775077819824, :y2 901.9621276855469, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 558.1064605712891, :x2 0, :y2 577.4593200683594, :width 897.6, :height 1161.6000000000001} {:x1 142.43178939819336, :y1 868.3627624511719, :x2 437.7775077819824, :y2 884.4292907714844, :width 897.6, :height 1161.6000000000001} {:x1 47.80590695142746, :y1 875.0038757324219, :x2 55.52388399839401, :y2 882.6720275878906, :width 897.6, :height 1161.6000000000001} {:x1 70.13701248168945, :y1 885.8955993652344, :x2 368.1028633117676, :y2 901.9621276855469, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "The things that constitute an IoT system must inter-10 act with each other to achieve some common goal"}, :properties {:color "green"}} {:id #uuid "63bf1a07-788b-48e7-9078-e21a6ee938bd", :page 1, :position {:bounding {:x1 0, :y1 622.0987243652344, :x2 436.0059013366699, :y2 989.6376647949219, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 622.0987243652344, :x2 0, :y2 641.4515686035156, :width 897.6, :height 1161.6000000000001} {:x1 0, :y1 638.0967712402344, :x2 0, :y2 657.4496459960938, :width 897.6, :height 1161.6000000000001} {:x1 284.4819145202637, :y1 938.4997863769531, :x2 436.0059013366699, :y2 954.5663146972656, :width 897.6, :height 1161.6000000000001} {:x1 47.80590695142746, :y1 945.1408996582031, :x2 55.52388399839401, :y2 952.8090515136719, :width 897.6, :height 1161.6000000000001} {:x1 70.13701248168945, :y1 956.0326232910156, :x2 435.5566291809082, :y2 972.0991516113281, :width 897.6, :height 1161.6000000000001} {:x1 47.80590695142746, :y1 962.6737365722656, :x2 55.52388399839401, :y2 970.3418273925781, :width 897.6, :height 1161.6000000000001} {:x1 70.13701248168945, :y1 973.5711364746094, :x2 330.9438056945801, :y2 989.6376647949219, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "he adaptive nature of IoT14 systems introduces complexities and challenges that need to be15 addressed at the early stages of developmen"}, :properties {:color "green"}} {:id #uuid "63bf1a45-f6c0-4fff-a52b-a364099b93c7", :page 1, :position {:bounding {:x1 0, :y1 758.7098388671875, :x2 865.451488494873, :y2 849.4263916015625, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 488.2490043640137, :y1 758.7098388671875, :x2 857.3312492370605, :y2 774.7763671875, :width 897.6, :height 1161.6000000000001} {:x1 857.7335319519043, :y1 765.3509826660156, :x2 865.451488494873, :y2 773.0191040039062, :width 897.6, :height 1161.6000000000001} {:x1 470.7161674499512, :y1 776.24267578125, :x2 857.3298454284668, :y2 792.3092041015625, :width 897.6, :height 1161.6000000000001} {:x1 857.7335319519043, :y1 782.8838195800781, :x2 865.451488494873, :y2 790.5519409179688, :width 897.6, :height 1161.6000000000001} {:x1 470.1912651062012, :y1 793.7755126953125, :x2 857.3888053894043, :y2 809.842041015625, :width 897.6, :height 1161.6000000000001} {:x1 0, :y1 798.0774230957031, :x2 0, :y2 817.4302673339844, :width 897.6, :height 1161.6000000000001} {:x1 857.7335319519043, :y1 800.4166564941406, :x2 865.451488494873, :y2 808.0847473144531, :width 897.6, :height 1161.6000000000001} {:x1 470.7161674499512, :y1 811.3083190917969, :x2 535.285717010498, :y2 827.3748474121094, :width 897.6, :height 1161.6000000000001} {:x1 0, :y1 814.0754699707031, :x2 0, :y2 833.4283447265625, :width 897.6, :height 1161.6000000000001} {:x1 0, :y1 830.0735473632812, :x2 0, :y2 849.4263916015625, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "With suitable language support, the modeller can discover 25 and specify the interactions of the many actors and entities 26 within the system in addition to any exceptional or alternative 27 behaviours"}, :properties {:color "green"}} {:id #uuid "63bf1a86-4192-4f66-8000-4fef335da1a5", :page 1, :position {:bounding {:x1 0, :y1 1026.1696166992188, :x2 865.451488494873, :y2 1059.774658203125, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 560.8476066589355, :y1 1026.1696166992188, :x2 857.888011932373, :y2 1042.2361450195312, :width 897.6, :height 1161.6000000000001} {:x1 857.7335319519043, :y1 1032.8164367675781, :x2 865.451488494873, :y2 1040.4845581054688, :width 897.6, :height 1161.6000000000001} {:x1 0, :y1 1038.04833984375, :x2 0, :y2 1057.4011840820312, :width 897.6, :height 1161.6000000000001} {:x1 470.7161674499512, :y1 1043.7081298828125, :x2 737.597728729248, :y2 1059.774658203125, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "overs model-driven requirements development, 40 design and code generation for IoT platforms"}, :properties {:color "green"}} {:id #uuid "63bf1a92-aeb8-47f2-b591-6d446b208867", :page 1, :position {:bounding {:x1 537.0153312683105, :y1 1061.240966796875, :x2 836.1330680847168, :y2 1077.3074951171875, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 537.0153312683105, :y1 1061.240966796875, :x2 836.1330680847168, :y2 1077.3074951171875, :width 897.6, :height 1161.6000000000001}), :page 1}, :content {:text "complete and reliable implementations for adaptive"}, :properties {:color "green"}} {:id #uuid "63bf1a9a-b486-4237-a505-65833b9e8aaf", :page 2, :position {:bounding {:x1 65.11936378479004, :y1 72.05975341796875, :x2 133.93071937561035, :y2 88.12628173828125, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 65.11936378479004, :y1 72.05975341796875, :x2 133.93071937561035, :y2 88.12628173828125, :width 897.6, :height 1161.6000000000001}), :page 2}, :content {:text "oT systems"}, :properties {:color "green"}} {:id #uuid "63bf1abc-3027-4478-98aa-b4bbfbe3b3f2", :page 2, :position {:bounding {:x1 100.70975112915039, :y1 177.26809692382812, :x2 382.15393447875977, :y2 193.33462524414062, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 100.70975112915039, :y1 177.26809692382812, :x2 382.15393447875977, :y2 193.33462524414062, :width 897.6, :height 1161.6000000000001}), :page 2}, :content {:text "Statecharts are used for behavioural modelling"}, :properties {:color "green"}} {:id #uuid "63bf1ad2-76be-4d02-a228-e831783892af", :page 2, :position {:bounding {:x1 0, :y1 94.16262817382812, :x2 426.78583908081055, :y2 228.40029907226562, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 94.16262817382812, :x2 0, :y2 113.5155029296875, :width 897.6, :height 1161.6000000000001} {:x1 0, :y1 110.16070556640625, :x2 0, :y2 129.5135498046875, :width 897.6, :height 1161.6000000000001} {:x1 389.71393966674805, :y1 177.26809692382812, :x2 426.78583908081055, :y2 193.33462524414062, :width 897.6, :height 1161.6000000000001} {:x1 42.89352035522461, :y1 183.90927124023438, :x2 46.75610542297363, :y2 191.57736206054688, :width 897.6, :height 1161.6000000000001} {:x1 61.3677453994751, :y1 194.80093383789062, :x2 426.7806177139282, :y2 210.86746215820312, :width 897.6, :height 1161.6000000000001} {:x1 42.89352035522461, :y1 201.44210815429688, :x2 46.75610542297363, :y2 209.11019897460938, :width 897.6, :height 1161.6000000000001} {:x1 61.3677453994751, :y1 212.33377075195312, :x2 337.10389041900635, :y2 228.40029907226562, :width 897.6, :height 1161.6000000000001}), :page 2}, :content {:text "Model7 transformations enable generation of the Statechart model and8 the code to be deployed on the microcontroller."}, :properties {:color "green"}} {:id #uuid "63bf1b18-4cb8-470b-9fe4-ab1c49ca4591", :page 2, :position {:bounding {:x1 0, :y1 286.13938903808594, :x2 426.7867212295532, :y2 459.5164031982422, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 286.13938903808594, :x2 0, :y2 305.49224853515625, :width 897.6, :height 1161.6000000000001} {:x1 61.3677453994751, :y1 425.9113311767578, :x2 426.7867212295532, :y2 441.9778594970703, :width 897.6, :height 1161.6000000000001} {:x1 39.036641120910645, :y1 432.5581817626953, :x2 46.75461769104004, :y2 440.2262878417969, :width 897.6, :height 1161.6000000000001} {:x1 61.3677453994751, :y1 443.4498748779297, :x2 270.01119327545166, :y2 459.5164031982422, :width 897.6, :height 1161.6000000000001}), :page 2}, :content {:text "Use case modelling is an established means for elicitation and19 specification of system requirements."}, :properties {:color "green"}} {:id #uuid "63bf1b37-dd5d-4525-a3bd-24d08279e029", :page 2, :position {:bounding {:x1 0, :y1 318.13551330566406, :x2 426.77766036987305, :y2 494.58204650878906, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 318.13551330566406, :x2 0, :y2 337.4883804321289, :width 897.6, :height 1161.6000000000001} {:x1 269.709041595459, :y1 460.9826965332031, :x2 426.77766036987305, :y2 477.04920959472656, :width 897.6, :height 1161.6000000000001} {:x1 39.036641120910645, :y1 467.6238250732422, :x2 46.75461769104004, :y2 475.2919464111328, :width 897.6, :height 1161.6000000000001} {:x1 61.3677453994751, :y1 478.51551818847656, :x2 394.6084680557251, :y2 494.58204650878906, :width 897.6, :height 1161.6000000000001}), :page 2}, :content {:text "scenario or a description of21 system behaviour that is required to satisfy a user goal"}, :properties {:color "green"}} {:id #uuid "63bf1b53-098d-4702-94aa-737ad3967a84", :page 2, :position {:bounding {:x1 71.53484535217285, :y1 513.5868682861328, :x2 202.8823947906494, :y2 529.6533966064453, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 71.53484535217285, :y1 513.5868682861328, :x2 202.8823947906494, :y2 529.6533966064453, :width 897.6, :height 1161.6000000000001}), :page 2}, :content {:text "main success scenario"}, :properties {:color "green"}} {:id #uuid "63bf1b5a-cd10-4bc5-9e09-a4082bf5ab55", :page 2, :position {:bounding {:x1 0, :y1 382.1277618408203, :x2 426.8562126159668, :y2 564.7190704345703, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 382.1277618408203, :x2 0, :y2 401.4806213378906, :width 897.6, :height 1161.6000000000001} {:x1 365.0054740905762, :y1 531.1197052001953, :x2 426.8562126159668, :y2 547.1862335205078, :width 897.6, :height 1161.6000000000001} {:x1 39.036641120910645, :y1 537.7608489990234, :x2 46.75461769104004, :y2 545.4289703369141, :width 897.6, :height 1161.6000000000001} {:x1 61.3677453994751, :y1 548.6525421142578, :x2 93.34697818756104, :y2 564.7190704345703, :width 897.6, :height 1161.6000000000001}), :page 2}, :content {:text "extensions25 block"}, :properties {:color "green"}} {:id #uuid "63bf1b8d-c16e-4e5c-84a8-143bceb96e9b", :page 2, :position {:bounding {:x1 0, :y1 462.1180877685547, :x2 507.5707778930664, :y2 833.3085021972656, :width 1060.8, :height 1372.8}, :rects ({:x1 0, :y1 462.1180877685547, :x2 0, :y2 481.470947265625, :width 1060.8, :height 1372.8} {:x1 0, :y1 478.11614990234375, :x2 0, :y2 497.46900939941406, :width 1060.8, :height 1372.8} {:x1 0, :y1 494.1142120361328, :x2 0, :y2 513.4670715332031, :width 1060.8, :height 1372.8} {:x1 0, :y1 510.1122741699219, :x2 0, :y2 529.4651489257812, :width 1060.8, :height 1372.8} {:x1 300.80682373046875, :y1 731.0669860839844, :x2 504.1112976074219, :y2 750.4198303222656, :width 1060.8, :height 1372.8} {:x1 46.134212493896484, :y1 738.8491821289062, :x2 55.25749588012695, :y2 747.9779052734375, :width 1060.8, :height 1372.8} {:x1 72.52759552001953, :y1 751.7891540527344, :x2 506.86112213134766, :y2 771.1419982910156, :width 1060.8, :height 1372.8} {:x1 46.134212493896484, :y1 759.5713806152344, :x2 55.25749588012695, :y2 768.7001037597656, :width 1060.8, :height 1372.8} {:x1 72.52759552001953, :y1 772.5113220214844, :x2 507.5707778930664, :y2 791.8641662597656, :width 1060.8, :height 1372.8} {:x1 46.134212493896484, :y1 780.2935485839844, :x2 55.25749588012695, :y2 789.4222717285156, :width 1060.8, :height 1372.8} {:x1 72.52759552001953, :y1 793.2334899902344, :x2 504.68885040283203, :y2 812.5863342285156, :width 1060.8, :height 1372.8} {:x1 46.134212493896484, :y1 801.0157165527344, :x2 55.25749588012695, :y2 810.1444396972656, :width 1060.8, :height 1372.8} {:x1 72.52759552001953, :y1 813.9556579589844, :x2 129.901123046875, :y2 833.3085021972656, :width 1060.8, :height 1372.8}), :page 2}, :content {:text "ML use case diagrams give a30 summarized view of the use cases (scenarios and system goals),31 relationships among the goals, and associations with external ac-32 tors (systems, components, or human agents interacting with the33 system)."}, :properties {:color "green"}} {:id #uuid "63bf1b9a-5749-439e-afa6-8e5c4de0dbf3", :page 2, :position {:bounding {:x1 0, :y1 526.1103210449219, :x2 504.4147644042969, :y2 854.0306701660156, :width 1060.8, :height 1372.8}, :rects ({:x1 0, :y1 526.1103210449219, :x2 0, :y2 545.4631958007812, :width 1060.8, :height 1372.8} {:x1 176.04983520507812, :y1 813.9556579589844, :x2 504.4147644042969, :y2 833.3085021972656, :width 1060.8, :height 1372.8} {:x1 46.134212493896484, :y1 821.7378845214844, :x2 55.25749588012695, :y2 830.8666076660156, :width 1060.8, :height 1372.8} {:x1 72.52759552001953, :y1 834.6778259277344, :x2 503.42371368408203, :y2 854.0306701660156, :width 1060.8, :height 1372.8}), :page 2}, :content {:text " diagrams are usually complemented with textual34 use cases that contain essential information on the interactions"}, :properties {:color "green"}} {:id #uuid "63bf1bee-2e1d-4598-9bce-8de6d66be2dd", :page 2, :position {:bounding {:x1 0, :y1 606.1006469726562, :x2 507.5710144042969, :y2 958.0865783691406, :width 1060.8, :height 1372.8}, :rects ({:x1 0, :y1 606.1006469726562, :x2 0, :y2 625.4535217285156, :width 1060.8, :height 1372.8} {:x1 98.53140258789062, :y1 918.0115051269531, :x2 507.5710144042969, :y2 937.3644104003906, :width 1060.8, :height 1372.8} {:x1 46.134212493896484, :y1 925.7937316894531, :x2 55.25749588012695, :y2 934.9224548339844, :width 1060.8, :height 1372.8} {:x1 72.52759552001953, :y1 938.7336730957031, :x2 184.29452514648438, :y2 958.0865783691406, :width 1060.8, :height 1372.8}), :page 2}, :content {:text " requirements-level exceptions are not the same as design-39 level exceptions"}, :properties {:color "green"}} {:id #uuid "63bf1c81-3e20-4c58-88cb-9bf8f9d71fee", :page 2, :position {:bounding {:x1 0, :y1 814.075439453125, :x2 507.5714416503906, :y2 1252.590087890625, :width 1060.8, :height 1372.8}, :rects ({:x1 0, :y1 814.075439453125, :x2 0, :y2 833.4282989501953, :width 1060.8, :height 1372.8} {:x1 359.6055908203125, :y1 1212.5150756835938, :x2 507.5714416503906, :y2 1231.867919921875, :width 1060.8, :height 1372.8} {:x1 46.134212493896484, :y1 1220.2973022460938, :x2 55.25749588012695, :y2 1229.4259643554688, :width 1060.8, :height 1372.8} {:x1 72.52759552001953, :y1 1233.2372436523438, :x2 271.49954986572266, :y2 1252.590087890625, :width 1060.8, :height 1372.8}), :page 2}, :content {:text "modelling of the be-52 haviour of reactive systems."}, :properties {:color "green"}} {:id #uuid "63bf1d0c-21cb-4f86-9604-1c16d125d0e5", :page 2, :position {:bounding {:x1 0, :y1 294.3038787841797, :x2 1012.4483032226562, :y2 1041.4031829833984, :width 1060.8, :height 1372.8}, :rects ({:x1 913.0836791992188, :y1 294.3038787841797, :x2 1003.4171752929688, :y2 313.65675354003906, :width 1060.8, :height 1372.8} {:x1 1003.3250122070312, :y1 302.0861053466797, :x2 1012.4483032226562, :y2 311.21482849121094, :width 1060.8, :height 1372.8} {:x1 545.9367370605469, :y1 315.0260467529297, :x2 1002.8405151367188, :y2 334.37892150878906, :width 1060.8, :height 1372.8} {:x1 1003.3250122070312, :y1 322.8082733154297, :x2 1012.4483032226562, :y2 331.93699645996094, :width 1060.8, :height 1372.8} {:x1 545.9367370605469, :y1 335.7482147216797, :x2 627.8294982910156, :y2 355.10105895996094, :width 1060.8, :height 1372.8} {:x1 0, :y1 1006.0522308349609, :x2 0, :y2 1025.4051361083984, :width 1060.8, :height 1372.8} {:x1 0, :y1 1022.0502777099609, :x2 0, :y2 1041.4031829833984, :width 1060.8, :height 1372.8}), :page 2}, :content {:text "a domain 64 model is provided that encompasses the common concepts of 65 IoT systems"}, :properties {:color "green"}} {:id #uuid "63bf1d76-6610-4640-9e8d-2ebc205678db", :page 2, :position {:bounding {:x1 550.3494567871094, :y1 704.8333129882812, :x2 716.5094909667969, :y2 724.1861877441406, :width 1060.8, :height 1372.8}, :rects ({:x1 550.3494567871094, :y1 704.8333129882812, :x2 716.5094909667969, :y2 724.1861877441406, :width 1060.8, :height 1372.8}), :page 2}, :content {:text "extual use case models"}, :properties {:color "green"}} {:id #uuid "63bf1d7d-f6f9-4ceb-b32f-eb143f259827", :page 2, :position {:bounding {:x1 725.3348999023438, :y1 704.8333129882812, :x2 863.2009887695312, :y2 724.1861877441406, :width 1060.8, :height 1372.8}, :rects ({:x1 725.3348999023438, :y1 704.8333129882812, :x2 863.2009887695312, :y2 724.1861877441406, :width 1060.8, :height 1372.8}), :page 2}, :content {:text "use case diagrams,"}, :properties {:color "green"}} {:id #uuid "63bf1d81-e1e0-4171-9153-33eefa1501e8", :page 2, :position {:bounding {:x1 898.5604858398438, :y1 704.8333129882812, :x2 925.667236328125, :y2 724.1861877441406, :width 1060.8, :height 1372.8}, :rects ({:x1 898.5604858398438, :y1 704.8333129882812, :x2 925.667236328125, :y2 724.1861877441406, :width 1060.8, :height 1372.8}), :page 2}, :content {:text "IoT "}, :properties {:color "green"}} {:id #uuid "63bf1d83-8e97-4b53-8719-6b40ab8cb254", :page 2, :position {:bounding {:x1 925.6619873046875, :y1 704.8333129882812, :x2 977.8109741210938, :y2 724.1861877441406, :width 1060.8, :height 1372.8}, :rects ({:x1 925.6619873046875, :y1 704.8333129882812, :x2 977.8109741210938, :y2 724.1861877441406, :width 1060.8, :height 1372.8}), :page 2}, :content {:text "domain"}, :properties {:color "green"}} {:id #uuid "63bf1df3-be4a-448c-8e1f-0512b4838dd8", :page 3, :position {:bounding {:x1 0, :y1 14.172321319580078, :x2 515.0505447387695, :y2 554.534839630127, :width 1060.8, :height 1372.8}, :rects ({:x1 0, :y1 14.172321319580078, :x2 0, :y2 33.52518844604492, :width 1060.8, :height 1372.8} {:x1 0, :y1 30.17038345336914, :x2 0, :y2 49.523250579833984, :width 1060.8, :height 1372.8} {:x1 275.9997253417969, :y1 493.7376594543457, :x2 515.0460205078125, :y2 513.090503692627, :width 1060.8, :height 1372.8} {:x1 61.059654235839844, :y1 501.5198860168457, :x2 65.62400817871094, :y2 510.64860916137695, :width 1060.8, :height 1372.8} {:x1 82.88867950439453, :y1 514.4598274230957, :x2 515.0505447387695, :y2 533.812671661377, :width 1060.8, :height 1372.8} {:x1 61.059654235839844, :y1 522.2420539855957, :x2 65.62400817871094, :y2 531.370777130127, :width 1060.8, :height 1372.8} {:x1 82.88867950439453, :y1 535.1819953918457, :x2 212.1045913696289, :y2 554.534839630127, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "Every time a change is made in the1 interactions or a new actor is added, this needs to be reflected in2 the domain model."}, :properties {:color "green"}} {:id #uuid "63bf1dfb-618d-46d9-8b34-58e0243ec24d", :page 3, :position {:bounding {:x1 0, :y1 46.1684455871582, :x2 515.0510864257812, :y2 595.979175567627, :width 1060.8, :height 1372.8}, :rects ({:x1 0, :y1 46.1684455871582, :x2 0, :y2 65.52131271362305, :width 1060.8, :height 1372.8} {:x1 0, :y1 62.166507720947266, :x2 0, :y2 81.51937484741211, :width 1060.8, :height 1372.8} {:x1 283.6819152832031, :y1 535.1819953918457, :x2 515.0510864257812, :y2 554.534839630127, :width 1060.8, :height 1372.8} {:x1 61.059654235839844, :y1 542.9642219543457, :x2 65.62400817871094, :y2 552.092945098877, :width 1060.8, :height 1372.8} {:x1 82.88867950439453, :y1 555.9041633605957, :x2 515.0503005981445, :y2 575.257007598877, :width 1060.8, :height 1372.8} {:x1 61.059654235839844, :y1 563.6863899230957, :x2 65.62400817871094, :y2 572.815113067627, :width 1060.8, :height 1372.8} {:x1 82.88867950439453, :y1 576.6263313293457, :x2 225.80973052978516, :y2 595.979175567627, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "creating this model and enforcing3 consistency with other requirements models can be cumbersome4 and time-consuming."}, :properties {:color "green"}} {:id #uuid "63bf1e4a-0cff-45ec-944c-2aa36d0b2a22", :page 3, :position {:bounding {:x1 82.88867950439453, :y1 638.7928371429443, :x2 134.92176818847656, :y2 658.1456813812256, :width 1060.8, :height 1372.8}, :rects ({:x1 82.88867950439453, :y1 638.7928371429443, :x2 134.92176818847656, :y2 658.1456813812256, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "means "}, :properties {:color "green"}} {:id #uuid "63bf1e4d-20c3-4d48-aab9-63e4de3d8348", :page 3, :position {:bounding {:x1 157.842529296875, :y1 638.7928371429443, :x2 254.85736083984375, :y2 658.1456813812256, :width 1060.8, :height 1372.8}, :rects ({:x1 157.842529296875, :y1 638.7928371429443, :x2 254.85736083984375, :y2 658.1456813812256, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "automatically "}, :properties {:color "green"}} {:id #uuid "63bf1e4f-fae5-4f28-82a4-4a08c554a4a2", :page 3, :position {:bounding {:x1 112.99779510498047, :y1 659.5150051116943, :x2 175.87428283691406, :y2 678.8678493499756, :width 1060.8, :height 1372.8}, :rects ({:x1 112.99779510498047, :y1 659.5150051116943, :x2 175.87428283691406, :y2 678.8678493499756, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "facilitate "}, :properties {:color "green"}} {:id #uuid "63bf1e9b-16fd-485f-ae0a-5371ffe8a699", :page 3, :position {:bounding {:x1 269.1366214752197, :y1 909.9040832519531, :x2 328.1726932525635, :y2 929.2569580078125, :width 1060.8, :height 1372.8}, :rects ({:x1 269.1366214752197, :y1 909.9040832519531, :x2 328.1726932525635, :y2 929.2569580078125, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "IoFMoF "}, :properties {:color "green"}} {:id #uuid "63bf1ed4-114e-428f-9a97-df658254650b", :page 3, :position {:bounding {:x1 0, :y1 510.11227798461914, :x2 517.9244718551636, :y2 1211.1458129882812, :width 1060.8, :height 1372.8}, :rects ({:x1 0, :y1 510.11227798461914, :x2 0, :y2 529.4651432037354, :width 1060.8, :height 1372.8} {:x1 157.7543363571167, :y1 1171.0707397460938, :x2 517.9244718551636, :y2 1190.4236450195312, :width 1060.8, :height 1372.8} {:x1 56.495299339294434, :y1 1178.8529663085938, :x2 65.6185827255249, :y2 1187.981689453125, :width 1060.8, :height 1372.8} {:x1 82.88868236541748, :y1 1191.7929077148438, :x2 196.70901775360107, :y2 1211.1458129882812, :width 1060.8, :height 1372.8}), :page 3}, :content {:text " that did not appear during the requirements devel-32 opment process."}, :properties {:color "red"}} {:id #uuid "63bf1f20-3d96-4a43-8687-176fbf178153", :page 3, :position {:bounding {:x1 0, :y1 528.2099151611328, :x2 1022.8093566894531, :y2 641.4515533447266, :width 1060.8, :height 1372.8}, :rects ({:x1 909.9876403808594, :y1 528.2099151611328, :x2 993.0609436035156, :y2 547.5627899169922, :width 1060.8, :height 1372.8} {:x1 1013.6861267089844, :y1 535.9921417236328, :x2 1022.8093566894531, :y2 545.1208648681641, :width 1060.8, :height 1372.8} {:x1 556.2978210449219, :y1 548.9321136474609, :x2 1013.2135925292969, :y2 568.2849578857422, :width 1060.8, :height 1372.8} {:x1 1013.6861267089844, :y1 556.7143096923828, :x2 1022.8093566894531, :y2 565.8430328369141, :width 1060.8, :height 1372.8} {:x1 556.2978210449219, :y1 569.6542816162109, :x2 612.33447265625, :y2 589.0071258544922, :width 1060.8, :height 1372.8} {:x1 0, :y1 606.1006317138672, :x2 0, :y2 625.4535064697266, :width 1060.8, :height 1372.8} {:x1 0, :y1 622.0987091064453, :x2 0, :y2 641.4515533447266, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "Statecharts 38 language is used to model the detailed behaviour of the IoT 39 system."}, :properties {:color "green"}} {:id #uuid "63bf1f29-f3c2-4221-8d32-e0a1c5dfdbe8", :page 3, :position {:bounding {:x1 773.6664123535156, :y1 590.3764495849609, :x2 852.6264953613281, :y2 609.7292938232422, :width 1060.8, :height 1372.8}, :rects ({:x1 773.6664123535156, :y1 590.3764495849609, :x2 852.6264953613281, :y2 609.7292938232422, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "TStatechart"}, :properties {:color "green"}} {:id #uuid "63bf1f47-aa57-4a8b-a937-09139eeefed4", :page 3, :position {:bounding {:x1 672.2774963378906, :y1 631.8207855224609, :x2 790.8414611816406, :y2 651.1736297607422, :width 1060.8, :height 1372.8}, :rects ({:x1 672.2774963378906, :y1 631.8207855224609, :x2 790.8414611816406, :y2 651.1736297607422, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "upstream models"}, :properties {:color "green"}} {:id #uuid "63bf200e-749c-4776-855d-03c18c993179", :page 3, :position {:bounding {:x1 0, :y1 749.1817626953125, :x2 1022.8093719482422, :y2 809.9789428710938, :width 1060.8, :height 1372.8}, :rects ({:x1 898.8986663818359, :y1 749.1817626953125, :x2 1013.2549896240234, :y2 768.5346069335938, :width 1060.8, :height 1372.8} {:x1 1013.6860809326172, :y1 756.9639892578125, :x2 1022.8093719482422, :y2 766.0926818847656, :width 1060.8, :height 1372.8} {:x1 0, :y1 766.0812683105469, :x2 0, :y2 785.4341430664062, :width 1060.8, :height 1372.8} {:x1 556.2978363037109, :y1 769.9039306640625, :x2 1014.0613250732422, :y2 789.2567749023438, :width 1060.8, :height 1372.8} {:x1 1013.6860809326172, :y1 777.6861572265625, :x2 1022.8093719482422, :y2 786.8148498535156, :width 1060.8, :height 1372.8} {:x1 0, :y1 782.079345703125, :x2 0, :y2 801.4321899414062, :width 1060.8, :height 1372.8} {:x1 556.2978363037109, :y1 790.6260986328125, :x2 887.3163909912109, :y2 809.9789428710938, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "A Configura- 48 tion Language has been developed to support textual modelling 49 of the devices connected to the microcontroller. "}, :properties {:color "green"}} {:id #uuid "63bf2025-a785-40f0-b19c-c7a8dfb8f6ac", :page 3, :position {:bounding {:x1 0, :y1 926.0618896484375, :x2 1022.8093719482422, :y2 1016.9667358398438, :width 1060.8, :height 1372.8}, :rects ({:x1 0, :y1 926.0618896484375, :x2 0, :y2 945.414794921875, :width 1060.8, :height 1372.8} {:x1 852.2353973388672, :y1 976.8917236328125, :x2 1013.2015838623047, :y2 996.2445678710938, :width 1060.8, :height 1372.8} {:x1 1013.6860809326172, :y1 984.6739501953125, :x2 1022.8093719482422, :y2 993.8026123046875, :width 1060.8, :height 1372.8} {:x1 556.2978363037109, :y1 997.6138916015625, :x2 982.5652923583984, :y2 1016.9667358398438, :width 1060.8, :height 1372.8}), :page 3}, :content {:text "he code generated 58 from the statechart implements the microcontroller behaviou"}, :properties {:color "green"}} {:id #uuid "63bf203b-7239-475b-8403-1269a671677c", :page 4, :position {:bounding {:x1 196.2667999267578, :y1 149.57959747314453, :x2 273.11676025390625, :y2 168.20215606689453, :width 1060.8, :height 1372.8}, :rects ({:x1 196.2667999267578, :y1 149.57959747314453, :x2 273.11676025390625, :y2 168.20215606689453, :width 1060.8, :height 1372.8}), :page 4}, :content {:text "Modelling"}, :properties {:color "green"}} {:id #uuid "63bf2088-e9eb-4628-aca7-cadc8a3ce717", :page 4, :position {:bounding {:x1 0, :y1 398.12583351135254, :x2 504.68875885009766, :y2 693.5422763824463, :width 1060.8, :height 1372.8}, :rects ({:x1 0, :y1 398.12583351135254, :x2 0, :y2 417.4786777496338, :width 1060.8, :height 1372.8} {:x1 0, :y1 414.12388038635254, :x2 0, :y2 433.4767551422119, :width 1060.8, :height 1372.8} {:x1 377.9195556640625, :y1 632.7450351715088, :x2 504.40753173828125, :y2 652.0979404449463, :width 1060.8, :height 1372.8} {:x1 46.134212493896484, :y1 640.5272617340088, :x2 55.25749588012695, :y2 649.65598487854, :width 1060.8, :height 1372.8} {:x1 72.52759552001953, :y1 653.4672031402588, :x2 504.68875885009766, :y2 672.8201084136963, :width 1060.8, :height 1372.8} {:x1 46.134212493896484, :y1 661.2494297027588, :x2 55.25749588012695, :y2 670.37815284729, :width 1060.8, :height 1372.8} {:x1 72.52759552001953, :y1 674.189432144165, :x2 164.16357421875, :y2 693.5422763824463, :width 1060.8, :height 1372.8}), :page 4}, :content {:text "CM4IoT assumes26 that many instances of that particular actor can participate within27 that use case."}, :properties {:color "green"}}], :extra {:page 7}} |