ddiruscio/logseq
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
master
logseq/assets/Boutot e Mustafiz - IoTMoF A Requirements-Driven Modelling Framework.edn
T
ddiruscio 97fba407ce Major2
2025-06-05 22:07:12 +02:00

3294 lines
186 KiB
Clojure
Raw Permalink Blame History

{:highlights [{:id #uuid "63c133de-c9b2-4b09-996b-a4003c5fd7f5",
:page 1,
:position {:bounding {:x1 0,
:y1 94.16263580322266,
:x2 647.8029071241617,
:y2 378.91558837890625,
:width 695,
:height 899.4117647058823},
:rects ({:x1 0,
:y1 94.16263580322266,
:x2 0,
:y2 113.51549530029297,
:width 695,
:height 899.4117647058823}
{:x1 233.01732362806797,
:y1 350.5709533691406,
:x2 647.8029071241617,
:y2 362.620849609375,
:width 695,
:height 899.4117647058823}
{:x1 54.30441011488438,
:y1 366.8656921386719,
:x2 223.17525972425938,
:y2 378.91558837890625,
:width 695,
:height 899.4117647058823}),
:page 1},
:content {:text "IoTMoF, a model-driven framework for requirements development, design and code generation of adaptive IoT systems"},
:properties {:color "green"}}
{:id #uuid "63c13469-d794-40ef-8f06-4d2b68f75cd9",
:page 1,
:position {:bounding {:x1 143.21853637695312,
:y1 449.99400329589844,
:x2 635.6032104492188,
:y2 463.86964416503906,
:width 816,
:height 1056},
:rects ({:x1 143.21853637695312,
:y1 449.99400329589844,
:x2 635.6032104492188,
:y2 463.86964416503906,
:width 816,
:height 1056}),
:page 1},
:content {:text "a domain modelling language conforming to the IoT Architectural Reference Model (ARM"},
:properties {:color "green"}}
{:id #uuid "63c25cae-0d8b-4a22-83cf-ccdb47651f8d",
:page 1,
:position {:bounding {:x1 289.67843919992447,
:y1 604.9652404785156,
:x2 725.3459807038307,
:y2 621.0317687988281,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 289.67843919992447,
:y1 604.9652404785156,
:x2 725.3459807038307,
:y2 621.0317687988281,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 1},
:content {:text "Code for the IoT platform is then generated from the Statechart mode"},
:properties {:color "green"}}
{:id #uuid "63c25ed9-3424-429c-b809-687fd501c288",
:page 1,
:position {:bounding {:x1 452.29757982492447,
:y1 538.9989166259766,
:x2 795.9194059967995,
:y2 555.0654449462891,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 452.29757982492447,
:y1 538.9989166259766,
:x2 795.9194059967995,
:y2 555.0654449462891,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 1},
:content {:text " exceptional situations along with handling functionality."},
:properties {:color "green"}}
{:id #uuid "63c25f12-591d-4598-9027-e8f5c22f82fd",
:page 1,
:position {:bounding {:x1 0,
:y1 510.1122741699219,
:x2 455.9623518586159,
:y2 924.2760925292969,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 510.1122741699219,
:x2 0,
:y2 529.4651412963867,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 526.1103363037109,
:x2 0,
:y2 545.4632034301758,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 542.1083984375,
:x2 0,
:y2 561.4612655639648,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 368.24850755929947,
:y1 852.1478881835938,
:x2 455.8149748444557,
:y2 869.3098754882812,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 53.99060732126236,
:y1 859.068603515625,
:x2 58.024355947971344,
:y2 867.1018676757812,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 870.4680786132812,
:x2 455.69962602853775,
:y2 887.6300354003906,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 53.99060732126236,
:y1 877.3944702148438,
:x2 58.024355947971344,
:y2 885.427734375,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 888.7939453125,
:x2 455.9623518586159,
:y2 905.9559326171875,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 53.99060732126236,
:y1 895.7146606445312,
:x2 58.024355947971344,
:y2 903.7479248046875,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 907.1141357421875,
:x2 145.35251146554947,
:y2 924.2760925292969,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 1},
:content {:text "Existing work7 on model-driven engineering (MDE) of IoT systems typically8 cover design, implementation, or management activities (Wolny9 et al. 2018)."},
:properties {:color "purple"}}
{:id #uuid "63c25f45-034e-4e93-9bc9-5dc3a1469207",
:page 1,
:position {:bounding {:x1 0,
:y1 622.0986938476562,
:x2 455.9064970612526,
:y2 1034.2199401855469,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 622.0986938476562,
:x2 0,
:y2 641.4515533447266,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 638.0967559814453,
:x2 0,
:y2 657.4496154785156,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 289.52765184640884,
:y1 980.4119262695312,
:x2 455.9064970612526,
:y2 997.5739135742188,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 987.3326416015625,
:x2 58.025427877902985,
:y2 995.3659057617188,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 998.7321166992188,
:x2 455.438700735569,
:y2 1015.8940734863281,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 1005.6585388183594,
:x2 58.025427877902985,
:y2 1013.6918029785156,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 1017.0580139160156,
:x2 346.0366926789284,
:y2 1034.2199401855469,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 1},
:content {:text " the 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 "63c25f6e-fa95-4914-b3f4-10111a692af5",
:page 1,
:position {:bounding {:x1 0,
:y1 702.0890045166016,
:x2 455.6960783600807,
:y2 1125.8379821777344,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 702.0890045166016,
:x2 0,
:y2 721.4418640136719,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 718.0870666503906,
:x2 0,
:y2 737.4399261474609,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 216.1194639801979,
:y1 1072.0242614746094,
:x2 455.6960783600807,
:y2 1089.1861877441406,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 1078.9506530761719,
:x2 58.025427877902985,
:y2 1086.9839172363281,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 1090.3501281738281,
:x2 455.4356794953346,
:y2 1107.5121154785156,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 1097.2765197753906,
:x2 58.025427877902985,
:y2 1105.3097839355469,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 1108.6759948730469,
:x2 453.2226668000221,
:y2 1125.8379821777344,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 1},
:content {:text "Deviations from the expected behaviour19 that are not identified during requirements development might20 eventually lead to an incomplete or ambiguous system speci"},
:properties {:color "green"}}
{:id #uuid "63c25fa6-a543-4fe0-9d00-0c7b98f42db8",
:page 1,
:position {:bounding {:x1 0,
:y1 926.0618896484375,
:x2 904.405123770237,
:y2 979.2480163574219,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 926.0618896484375,
:x2 0,
:y2 945.4147338867188,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 807.5769377350807,
:y1 943.765869140625,
:x2 895.9230070710182,
:y2 960.9278564453125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 896.336520254612,
:y1 950.6865844726562,
:x2 904.405123770237,
:y2 958.7198486328125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 491.90048509836197,
:y1 962.0860595703125,
:x2 872.116305410862,
:y2 979.2480163574219,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 1},
:content {:text "Use Case 33 Modelling for Internet of Things) language (Boutot et al. 2021)"},
:properties {:color "purple"}}
{:id #uuid "63c268eb-34fb-4254-bf4a-325f2b28b957",
:page 2,
:position {:bounding {:x1 0,
:y1 -1.825714111328125,
:x2 448.7986174225807,
:y2 147.10348510742188,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 -1.825714111328125,
:x2 0,
:y2 17.527130126953125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 14.172332763671875,
:x2 0,
:y2 33.52520751953125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 30.17041015625,
:x2 0,
:y2 49.52325439453125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 143.9289579987526,
:y1 74.96954345703125,
:x2 448.29892259836197,
:y2 92.13150024414062,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 44.82766634225845,
:y1 81.89596557617188,
:x2 48.86141496896744,
:y2 89.92922973632812,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 63.74692064523697,
:y1 93.29544067382812,
:x2 446.2710295319557,
:y2 110.45736694335938,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 44.82766634225845,
:y1 100.21609497070312,
:x2 48.86141496896744,
:y2 108.24935913085938,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 111.62130737304688,
:x2 448.7986174225807,
:y2 128.78329467773438,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 44.82766634225845,
:y1 118.54202270507812,
:x2 48.86141496896744,
:y2 126.57528686523438,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 129.94149780273438,
:x2 110.83246141672134,
:y2 147.10348510742188,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text " IoTMoF extends the UCM4IoT requirements de-1 velopment approach with support for domain modelling and2 also provides support for design-level modelling and code gen-3 eration."},
:properties {:color "yellow"}}
{:id #uuid "63c26988-9e3d-49c3-80db-ea7b7f71b7e5",
:page 2,
:position {:bounding {:x1 0,
:y1 94.16264343261719,
:x2 446.2711516022682,
:y2 238.72145080566406,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 94.16264343261719,
:x2 0,
:y2 113.51548767089844,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 110.16069030761719,
:x2 0,
:y2 129.51356506347656,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 403.54794603586197,
:y1 184.9134063720703,
:x2 446.2711516022682,
:y2 202.0753936767578,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 44.82766634225845,
:y1 191.83412170410156,
:x2 48.86141496896744,
:y2 199.8673858642578,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 203.2393035888672,
:x2 446.26974779367447,
:y2 220.40126037597656,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 44.82766634225845,
:y1 210.16001892089844,
:x2 48.86141496896744,
:y2 218.1932830810547,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 221.5594940185547,
:x2 352.4884367585182,
:y2 238.72145080566406,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text " Model7 transformations enable generation of the Statechart model and8 the code to be deployed on the microcontroller."},
:properties {:color "yellow"}}
{:id #uuid "63c26a04-097a-49f4-b1e3-3093680bc537",
:page 2,
:position {:bounding {:x1 74.75271898508072,
:y1 536.3687133789062,
:x2 216.29335314035416,
:y2 553.5307006835938,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 74.75271898508072,
:y1 536.3687133789062,
:x2 216.29335314035416,
:y2 553.5307006835938,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "main success scenario "},
:properties {:color "green"}}
{:id #uuid "63c26a4a-155c-452f-8c60-d554c84f1f7a",
:page 2,
:position {:bounding {:x1 0,
:y1 558.1064453125,
:x2 446.2755461335182,
:y2 810.4525146484375,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 558.1064453125,
:x2 0,
:y2 577.4593200683594,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 574.1045227050781,
:x2 0,
:y2 593.4573974609375,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 82.45506578683853,
:y1 756.6444702148438,
:x2 446.2654295563698,
:y2 773.8064575195312,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 40.79391771554947,
:y1 763.5708618164062,
:x2 48.86248689889908,
:y2 771.6041259765625,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 774.9703369140625,
:x2 446.2755461335182,
:y2 792.13232421875,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 40.79391771554947,
:y1 781.8910522460938,
:x2 48.86248689889908,
:y2 789.92431640625,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 793.29052734375,
:x2 219.90359789133072,
:y2 810.4525146484375,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "Exceptions in use cases refer to exceptional situations that36 interrupt the normal flow of interaction and may require special37 handling to be carried out"},
:properties {:color "green"}}
{:id #uuid "63c26a7a-9cd8-4eaa-81c0-80dd30dd19d1",
:page 2,
:position {:bounding {:x1 0,
:y1 654.0948333740234,
:x2 446.2713957428932,
:y2 902.0705261230469,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 654.0948333740234,
:x2 0,
:y2 673.4477081298828,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 866.58837890625,
:x2 446.2713957428932,
:y2 883.7503356933594,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 40.79391771554947,
:y1 873.5090637207031,
:x2 48.86248689889908,
:y2 881.5423278808594,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 884.9085388183594,
:x2 222.82091051340103,
:y2 902.0705261230469,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "Exceptions may also occur in the environment and change the42 context of the interaction."},
:properties {:color "green"}}
{:id #uuid "63c26a86-0bff-4e8f-bea0-a17f3815f5b6",
:page 2,
:position {:bounding {:x1 0,
:y1 670.0928955078125,
:x2 446.25998216867447,
:y2 920.3963928222656,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 670.0928955078125,
:x2 0,
:y2 689.4457702636719,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 323.0760527253151,
:y1 884.9085388183594,
:x2 446.25998216867447,
:y2 902.0705261230469,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 40.79391771554947,
:y1 891.8349609375,
:x2 48.86248689889908,
:y2 899.8682250976562,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 903.2344360351562,
:x2 445.19259935617447,
:y2 920.3963928222656,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "he exceptions need43 to be detected and addressed by defining handling mechanisms"},
:properties {:color "green"}}
{:id #uuid "63c26abb-6e2a-4d24-8a96-d73f35a51f39",
:page 2,
:position {:bounding {:x1 0,
:y1 702.0890197753906,
:x2 446.2709990143776,
:y2 975.3626403808594,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 702.0890197753906,
:x2 0,
:y2 721.44189453125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 718.0870971679688,
:x2 0,
:y2 737.43994140625,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 324.50570970773697,
:y1 921.5545959472656,
:x2 445.52289110422134,
:y2 938.7165832519531,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 40.79391771554947,
:y1 928.4810180664062,
:x2 48.86248689889908,
:y2 936.5142822265625,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 939.8804931640625,
:x2 446.2709990143776,
:y2 957.0424499511719,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 40.79391771554947,
:y1 946.8011779785156,
:x2 48.86248689889908,
:y2 954.8344421386719,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 958.2006530761719,
:x2 145.35428148508072,
:y2 975.3626403808594,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "handler use case, is45 used to specify the exceptional interactions required to handle46 an exception."},
:properties {:color "blue"}}
{:id #uuid "63c26d50-8ce7-4e48-9d7e-fd7436d79ac7",
:page 2,
:position {:bounding {:x1 0,
:y1 814.075439453125,
:x2 448.8094511628151,
:y2 1107.5120849609375,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 814.075439453125,
:x2 0,
:y2 833.4282836914062,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 202.91775804758072,
:y1 1072.0242309570312,
:x2 448.8094511628151,
:y2 1089.1862182617188,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 40.79391771554947,
:y1 1078.9506225585938,
:x2 48.86248689889908,
:y2 1086.98388671875,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 64.12918382883072,
:y1 1090.35009765625,
:x2 236.1232481598854,
:y2 1107.5120849609375,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "formalism for the modelling of the be-52 haviour of reactive systems"},
:properties {:color "green"}}
{:id #uuid "63c26d84-eed5-43d5-a040-d4bf1a0e9a40",
:page 2,
:position {:bounding {:x1 0,
:y1 205.13348388671875,
:x2 895.247897207737,
:y2 993.4089965820312,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 482.26971727609634,
:y1 205.13348388671875,
:x2 886.8105192780495,
:y2 222.29547119140625,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 212.0599365234375,
:x2 895.247897207737,
:y2 220.09320068359375,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 223.45941162109375,
:x2 886.806490957737,
:y2 240.621337890625,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 230.38580322265625,
:x2 895.247897207737,
:y2 238.4190673828125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 241.779541015625,
:x2 699.7633391022682,
:y2 258.9415283203125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 958.0580444335938,
:x2 0,
:y2 977.4108276367188,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 974.0560913085938,
:x2 0,
:y2 993.4089965820312,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "The IoT Architectural Reference Model (ARM) (Bassi et al. 612016) was established as a step towards standardizing a ref- 62 erence model for the IoT domain."},
:properties {:color "purple"}}
{:id #uuid "63c26dbd-1eec-4eb3-8261-ccf117befe01",
:page 2,
:position {:bounding {:x1 0,
:y1 388.3695068359375,
:x2 895.247897207737,
:y2 1153.3895263671875,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 845.1994352936745,
:y1 388.3695068359375,
:x2 887.359469473362,
:y2 405.531494140625,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 395.2959289550781,
:x2 895.247897207737,
:y2 403.3291931152344,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 406.6954040527344,
:x2 886.7821379303932,
:y2 423.85736083984375,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 413.6160888671875,
:x2 895.247897207737,
:y2 421.64935302734375,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.35528856515884,
:y1 425.01556396484375,
:x2 852.4743986725807,
:y2 442.17755126953125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1118.0386962890625,
:x2 0,
:y2 1137.3914794921875,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1134.0367431640625,
:x2 0,
:y2 1153.3895263671875,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "No- 71 tions of virtual entity and augmented entity (composition of a 72 virtual and physical entity) are also part of the domain mode"},
:properties {:color "green"}}
{:id #uuid "63c26de6-00f7-4971-b470-68248ebb2336",
:page 2,
:position {:bounding {:x1 0,
:y1 623.1142883300781,
:x2 895.247897207737,
:y2 1297.3721618652344,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 486.64117723703384,
:y1 623.1142883300781,
:x2 886.765231192112,
:y2 640.2762451171875,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 630.0406799316406,
:x2 895.247897207737,
:y2 638.0739440917969,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 641.4401550292969,
:x2 527.603610098362,
:y2 658.6021423339844,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1278.0193176269531,
:x2 0,
:y2 1297.3721618652344,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "extual use case models, use case diagrams, and IoT domain 81 models"},
:properties {:color "green"}}
{:id #uuid "63c26e05-fdce-4b31-802b-c4f8f9ebb382",
:page 2,
:position {:bounding {:x1 0,
:y1 746.7911682128906,
:x2 895.247897207737,
:y2 1425.3565979003906,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 663.8529997467995,
:y1 746.7911682128906,
:x2 886.765231192112,
:y2 763.953125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 753.7175598144531,
:x2 895.247897207737,
:y2 761.7508239746094,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 765.1170349121094,
:x2 887.0219450592995,
:y2 782.2790222167969,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 772.0377502441406,
:x2 895.247897207737,
:y2 780.0710144042969,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.35528856515884,
:y1 783.4372253417969,
:x2 887.621920645237,
:y2 800.5991821289062,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 790.3636169433594,
:x2 895.247897207737,
:y2 798.3968811035156,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 801.7630920410156,
:x2 625.802096426487,
:y2 818.9250793457031,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1374.0076599121094,
:x2 0,
:y2 1393.3605041503906,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1390.0057067871094,
:x2 0,
:y2 1409.3585510253906,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1406.0037536621094,
:x2 0,
:y2 1425.3565979003906,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text " IoT-specific constructs found in 87 a UCM4IoT model include typed actors (human, software, de- 88 vice, physical entity), and typed exceptions (hardware, software, 89 network, environment)."},
:properties {:color "green"}}
{:id #uuid "63c26e58-c9e1-4f3f-abbf-3c9645c8f124",
:page 2,
:position {:bounding {:x1 0,
:y1 820.0889892578125,
:x2 895.247897207737,
:y2 1489.348876953125,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 501.06341844797134,
:y1 820.0889892578125,
:x2 887.6176481842995,
:y2 837.2509765625,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 827.0097045898438,
:x2 895.247897207737,
:y2 835.04296875,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 838.4091796875,
:x2 886.765231192112,
:y2 855.5711364746094,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 845.3355712890625,
:x2 895.247897207737,
:y2 853.3688354492188,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 856.7350463867188,
:x2 887.618990957737,
:y2 873.8970336914062,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 887.179293692112,
:y1 863.65576171875,
:x2 895.247897207737,
:y2 871.6890258789062,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 875.0552368164062,
:x2 852.065035879612,
:y2 892.2171936035156,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1437.9998779296875,
:x2 0,
:y2 1457.352783203125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1453.9979858398438,
:x2 0,
:y2 1473.350830078125,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1469.9960327148438,
:x2 0,
:y2 1489.348876953125,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "We have extended UML use case diagrams with IoT-specific 91 elements, in particular, typed actors, typed exceptions, and 92 handler use cases. The diagram provides a summary view of all 93 IoT actors and IoT-related exceptions and associated handler"},
:properties {:color "green"}}
{:id #uuid "63c26e70-42e4-41a1-9c7f-6ab3cf7325ff",
:page 2,
:position {:bounding {:x1 0,
:y1 1035.3782196044922,
:x2 895.248385488987,
:y2 1633.3314819335938,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 605.4024992585182,
:y1 1035.3782196044922,
:x2 882.8379240632057,
:y2 1052.5401916503906,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 883.1455412507057,
:y1 1042.3046264648438,
:x2 895.248385488987,
:y2 1050.337890625,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 482.7375517487526,
:y1 1053.7041015625,
:x2 710.719332754612,
:y2 1070.8660736083984,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 1613.9786376953125,
:x2 0,
:y2 1633.3314819335938,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 2},
:content {:text "ervices, resources, types of devices (tag, 102 actuator, reader) and physical entities"},
:properties {:color "green"}}
{:id #uuid "63c26ec8-849a-4687-b14e-e3bae27253e0",
:page 3,
:position {:bounding {:x1 0,
:y1 78.1645736694336,
:x2 455.4267683625221,
:y2 563.5551605224609,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 78.1645736694336,
:x2 0,
:y2 97.51743698120117,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 94.16263580322266,
:x2 0,
:y2 113.51549530029297,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 312.4079924225807,
:y1 509.7471160888672,
:x2 454.6859465241432,
:y2 526.9091033935547,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 53.99060732126236,
:y1 516.6735382080078,
:x2 58.024355947971344,
:y2 524.7068023681641,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 528.0673065185547,
:x2 455.4267683625221,
:y2 545.2292633056641,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 53.99060732126236,
:y1 534.9936981201172,
:x2 58.024355947971344,
:y2 543.0269622802734,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 546.3931732177734,
:x2 386.9825239777565,
:y2 563.5551605224609,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 3},
:content {:text "many designers are not5 familiar with the correct syntax and semantics of the domain6 modelling language (class diagrams in our approach"},
:properties {:color "green"}}
{:id #uuid "63c26eef-1356-43d8-b4fa-8c139ccd0dab",
:page 3,
:position {:bounding {:x1 0,
:y1 174.1529541015625,
:x2 455.96190172433853,
:y2 728.4652557373047,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 174.1529541015625,
:x2 0,
:y2 193.5058135986328,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 190.15101623535156,
:x2 0,
:y2 209.50387573242188,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 206.14907836914062,
:x2 0,
:y2 225.50193786621094,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 222.1471405029297,
:x2 0,
:y2 241.5,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 238.14520263671875,
:x2 0,
:y2 257.49806213378906,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 137.06447130441666,
:y1 619.6852874755859,
:x2 454.90565782785416,
:y2 636.8472747802734,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 626.6117401123047,
:x2 58.02756029367447,
:y2 634.6450042724609,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 638.0112152099609,
:x2 455.9080305695534,
:y2 655.1731414794922,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 644.9318695068359,
:x2 58.025427877902985,
:y2 652.9651336669922,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 72.73869615793228,
:y1 656.3370819091797,
:x2 455.96190172433853,
:y2 673.4990692138672,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 663.2577972412109,
:x2 58.025427877902985,
:y2 671.2910614013672,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 674.6572723388672,
:x2 454.1021223664284,
:y2 691.8191986083984,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 681.5836639404297,
:x2 58.025427877902985,
:y2 689.6169281005859,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 692.9831390380859,
:x2 454.3366194367409,
:y2 710.1451263427734,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 699.9038543701172,
:x2 58.025427877902985,
:y2 707.9371185302734,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 711.3033294677734,
:x2 122.92599016427994,
:y2 728.4652557373047,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 3},
:content {:text "g to existing standards, i.e, the IoT ARM, is highly11 desirable. In our approach, we have created a bridge to IoT12 ARM by allowing our use case models to be automatically13 mapped to IoT ARM domain models. Thus, this enables the14 domain models to be used as input to the IoT ARM design15 process."},
:properties {:color "purple"}}
{:id #uuid "63c26f0c-f30c-409a-b09b-7f85a172d41d",
:page 3,
:position {:bounding {:x1 0,
:y1 334.1335754394531,
:x2 455.4244719147682,
:y2 839.9325561523438,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 334.1335754394531,
:x2 0,
:y2 353.48644256591797,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 234.0750303864479,
:y1 804.4447021484375,
:x2 455.4244719147682,
:y2 821.6066284179688,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 811.37109375,
:x2 58.025427877902985,
:y2 819.4043579101562,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 822.7705688476562,
:x2 223.09598833322525,
:y2 839.9325561523438,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 3},
:content {:text " IoFMoF only allows attributes to be21 added to domain models"},
:properties {:color "green"}}
{:id #uuid "63c26f26-368c-44d1-b3fb-4bdc6d6346b0",
:page 3,
:position {:bounding {:x1 0,
:y1 382.12774658203125,
:x2 455.3231535553932,
:y2 922.7527160644531,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 382.12774658203125,
:x2 0,
:y2 401.48060607910156,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 338.7993193268776,
:y1 887.2705688476562,
:x2 455.3231535553932,
:y2 904.4325256347656,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 894.1912536621094,
:x2 58.025427877902985,
:y2 902.2245178222656,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 905.5907592773438,
:x2 435.47196489572525,
:y2 922.7527160644531,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 3},
:content {:text " information model24 is built on top of this domain model. The information mo"},
:properties {:color "green"}}
{:id #uuid "63c26f38-3d03-43b0-89e9-4113874ebd96",
:page 3,
:position {:bounding {:x1 0,
:y1 446.1199951171875,
:x2 455.18165880441666,
:y2 996.050537109375,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 0,
:y1 446.1199951171875,
:x2 0,
:y2 465.4728546142578,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 154.9242735505104,
:y1 960.5626831054688,
:x2 455.18165880441666,
:y2 977.7246704101562,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 49.95686250925064,
:y1 967.4833984375,
:x2 58.025427877902985,
:y2 975.5166625976562,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 73.29212480783463,
:y1 978.8885803222656,
:x2 348.02299028635025,
:y2 996.050537109375,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 3},
:content {:text "s. The model identifies the resources in the system28 as well the devices on which they are hosted."},
:properties {:color "green"}}
{:id #uuid "63c26fc1-3285-4b5a-b0b3-5d24b0721c7d",
:page 3,
:position {:bounding {:x1 0,
:y1 558.5514831542969,
:x2 904.405123770237,
:y2 721.4418640136719,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 706.1244230866432,
:y1 558.5514831542969,
:x2 896.7088957428932,
:y2 575.7134704589844,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 896.336520254612,
:y1 565.4779052734375,
:x2 904.405123770237,
:y2 573.5111694335938,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 491.90048509836197,
:y1 576.8773803710938,
:x2 895.922457754612,
:y2 594.0393371582031,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 896.336520254612,
:y1 583.7980651855469,
:x2 904.405123770237,
:y2 591.8313293457031,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 491.90048509836197,
:y1 595.1975402832031,
:x2 555.9051848053932,
:y2 612.3595275878906,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 686.0909729003906,
:x2 0,
:y2 705.4438171386719,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 702.0890197753906,
:x2 0,
:y2 721.4418640136719,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 3},
:content {:text "All exceptions and handlers 43 identified during requirements development are integrated in 44 this model"},
:properties {:color "green"}}
{:id #uuid "63c26fe4-cece-4fe8-bc10-a7521dd51438",
:page 3,
:position {:bounding {:x1 0,
:y1 735.6199340820312,
:x2 904.405123770237,
:y2 849.4263916015625,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 719.153658926487,
:y1 735.6199340820312,
:x2 895.922457754612,
:y2 752.7818908691406,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 896.336520254612,
:y1 742.5406188964844,
:x2 904.405123770237,
:y2 750.5738830566406,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 491.90048509836197,
:y1 753.9400939941406,
:x2 800.4099455475807,
:y2 771.1020812988281,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 830.0735168457031,
:x2 0,
:y2 849.4263916015625,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 3},
:content {:text "The configuration model 52 describes what pins are connected to which device"},
:properties {:color "yellow"}}
{:id #uuid "63c270f8-1ed1-4156-af18-2f3c90798188",
:page 3,
:position {:bounding {:x1 0,
:y1 863.6786041259766,
:x2 904.405123770237,
:y2 945.4147796630859,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 744.7767668366432,
:y1 863.6786041259766,
:x2 895.922457754612,
:y2 880.840576171875,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 896.336520254612,
:y1 870.6050109863281,
:x2 904.405123770237,
:y2 878.6382751464844,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 491.90048509836197,
:y1 882.0044860839844,
:x2 872.7633391022682,
:y2 899.1664581298828,
:width 937.9999999999999,
:height 1213.8823529411764}
{:x1 0,
:y1 926.0619201660156,
:x2 0,
:y2 945.4147796630859,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 3},
:content {:text "The code generated 58 from the statechart implements the microcontroller behaviour"},
:properties {:color "yellow"}}
{:id #uuid "63c2715b-19d1-435d-b928-e72edec013d6",
:page 5,
:position {:bounding {:x1 278.0411711335182,
:y1 457.3141174316406,
:x2 331.29342943429947,
:y2 474.4760437011719,
:width 937.9999999999999,
:height 1213.8823529411764},
:rects ({:x1 278.0411711335182,
:y1 457.3141174316406,
:x2 331.29342943429947,
:y2 474.4760437011719,
:width 937.9999999999999,
:height 1213.8823529411764}),
:page 5},
:content {:text "Adapted"},
:properties {:color "yellow"}}
{:id #uuid "63c27812-2498-4c89-9f6b-3d7de537b883",
:page 4,
:position {:bounding {:x1 82.31784057617188,
:y1 307.83721923828125,
:x2 421.9118347167969,
:y2 325.91204833984375,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 82.31784057617188,
:y1 307.83721923828125,
:x2 421.9118347167969,
:y2 325.91204833984375,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "UCM4IoT model consists of two types of elements:"},
:properties {:color "green"}}
{:id #uuid "63c2782a-9760-415b-875f-7bcfbf6aff21",
:page 4,
:position {:bounding {:x1 0,
:y1 286.42466735839844,
:x2 487.2092742919922,
:y2 506.06141662597656,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 0,
:y1 286.42466735839844,
:x2 0,
:y2 305.59495544433594,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 295.29701232910156,
:y1 468.0631866455078,
:x2 487.2092742919922,
:y2 486.1380157470703,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 44.356964111328125,
:y1 475.7398223876953,
:x2 53.13447570800781,
:y2 484.50343322753906,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 69.73191833496094,
:y1 487.98658752441406,
:x2 186.43922424316406,
:y2 506.06141662597656,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text " hardware, software, network,19 and environment"},
:properties {:color "green"}}
{:id #uuid "63c27869-ed67-4a9c-ab82-8b6cde5821ab",
:page 4,
:position {:bounding {:x1 0,
:y1 542.4849853515625,
:x2 485.12034606933594,
:y2 846.4453125,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 0,
:y1 542.4849853515625,
:x2 0,
:y2 561.6552734375,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 558.48876953125,
:x2 0,
:y2 577.6590576171875,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 220.8994903564453,
:y1 788.523681640625,
:x2 484.84959411621094,
:y2 806.5985107421875,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 44.356964111328125,
:y1 796.2003784179688,
:x2 53.13447570800781,
:y2 804.9639282226562,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 69.73191833496094,
:y1 808.4470825195312,
:x2 485.12034606933594,
:y2 826.5219116210938,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 44.356964111328125,
:y1 816.123779296875,
:x2 53.13447570800781,
:y2 824.8873291015625,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 69.73191833496094,
:y1 828.3704833984375,
:x2 417.02842712402344,
:y2 846.4453125,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "he main difference is that an alternative35 block represents an alternative behaviour, and an exceptional36 block defines behaviour for an exceptional situation"},
:properties {:color "green"}}
{:id #uuid "63c2787a-cd9e-484f-870c-95c4fd1b39d3",
:page 4,
:position {:bounding {:x1 0,
:y1 622.5038452148438,
:x2 485.71824645996094,
:y2 946.0709228515625,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 0,
:y1 622.5038452148438,
:x2 0,
:y2 641.6741333007812,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 638.5075988769531,
:x2 0,
:y2 657.6778869628906,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 243.7760467529297,
:y1 888.1492919921875,
:x2 485.71824645996094,
:y2 906.22412109375,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 44.356964111328125,
:y1 895.825927734375,
:x2 53.13447570800781,
:y2 904.5895385742188,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 69.73191833496094,
:y1 908.0726928710938,
:x2 485.11851501464844,
:y2 926.1475219726562,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 44.356964111328125,
:y1 915.7493896484375,
:x2 53.13447570800781,
:y2 924.512939453125,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 69.73191833496094,
:y1 927.99609375,
:x2 377.10240173339844,
:y2 946.0709228515625,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text " Interaction steps found in summary40 and user-goal level use cases must include the system and an41 actor from the list of actors from the use case. "},
:properties {:color "green"}}
{:id #uuid "63c27881-b9e7-41e6-8c12-eee4ec82d052",
:page 4,
:position {:bounding {:x1 132.52198791503906,
:y1 967.8428955078125,
:x2 140.9027862548828,
:y2 985.9177856445312,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 132.52198791503906,
:y1 967.8428955078125,
:x2 140.9027862548828,
:y2 985.9177856445312,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text ". "},
:properties {:color "green"}}
{:id #uuid "63c27882-c42d-42da-97cb-44b00820c7ef",
:page 4,
:position {:bounding {:x1 69.73191833496094,
:y1 967.8428955078125,
:x2 132.5297393798828,
:y2 985.9177856445312,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 69.73191833496094,
:y1 967.8428955078125,
:x2 132.5297393798828,
:y2 985.9177856445312,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "UCM4IoT"},
:properties {:color "green"}}
{:id #uuid "63c27898-277b-43fe-9590-2b80a3db9709",
:page 4,
:position {:bounding {:x1 0,
:y1 782.5415344238281,
:x2 487.7617645263672,
:y2 1166.0757141113281,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 0,
:y1 782.5415344238281,
:x2 0,
:y2 801.7118225097656,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 798.5452880859375,
:x2 0,
:y2 817.7156066894531,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 814.5490417480469,
:x2 0,
:y2 833.7193908691406,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 451.58128356933594,
:y1 1088.2220764160156,
:x2 485.11814880371094,
:y2 1106.2969055175781,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 44.356964111328125,
:y1 1095.9073181152344,
:x2 53.13447570800781,
:y2 1104.6708679199219,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 69.73191833496094,
:y1 1108.1540222167969,
:x2 485.1250457763672,
:y2 1126.2289123535156,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 44.356964111328125,
:y1 1115.8307189941406,
:x2 53.13447570800781,
:y2 1124.5942687988281,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 69.73191833496094,
:y1 1128.0774841308594,
:x2 487.7617645263672,
:y2 1146.1523132324219,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 44.356964111328125,
:y1 1135.7541198730469,
:x2 53.13447570800781,
:y2 1144.5176696777344,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 69.73191833496094,
:y1 1148.0008850097656,
:x2 112.63008117675781,
:y2 1166.0757141113281,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "Main50 success scenarios cannot continue to another step. For more51 details on the UCM4IoT language, please refer to (Boutot et al.522021)."},
:properties {:color "yellow"}}
{:id #uuid "63c2c008-c2d6-4d6e-8891-0cb5abd5b26c",
:page 4,
:position {:bounding {:x1 0,
:y1 261.63167572021484,
:x2 973.5137634277344,
:y2 1058.8675155639648,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 636.9011535644531,
:y1 261.63167572021484,
:x2 964.2546081542969,
:y2 279.70650482177734,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 964.7362976074219,
:y1 269.3169174194336,
:x2 973.5137634277344,
:y2 278.0804672241211,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 524.9407043457031,
:y1 281.5636520385742,
:x2 964.5262145996094,
:y2 299.6384811401367,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 964.7362976074219,
:y1 289.24031829833984,
:x2 973.5137634277344,
:y2 298.00386810302734,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 524.9407043457031,
:y1 301.48705291748047,
:x2 852.9871520996094,
:y2 319.56188201904297,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 1021.5026473999023,
:x2 0,
:y2 1042.8637313842773,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 1037.5064315795898,
:x2 0,
:y2 1058.8675155639648,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "we go beyond the textual use case language 65 support for requirements modelling (proposed in (Boutot et al. 662021)) and create bridges to UML and IoT ARM."},
:properties {:color "yellow"}}
{:id #uuid "63c2c0c0-cc01-41bc-ac3f-5edbd21a94e5",
:page 4,
:position {:bounding {:x1 0,
:y1 366.7687301635742,
:x2 973.5137634277344,
:y2 1106.8788681030273,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 524.9407043457031,
:y1 366.7687301635742,
:x2 964.2553405761719,
:y2 384.84358978271484,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 964.7362976074219,
:y1 374.44539642333984,
:x2 973.5137634277344,
:y2 383.20897674560547,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 524.9407043457031,
:y1 386.69213104248047,
:x2 894.8302917480469,
:y2 404.7669906616211,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 1085.5176620483398,
:x2 0,
:y2 1106.8788681030273,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "UML use case diagrams are popularly used for modelling a 69 high-level behavioural view of the systems requirements"},
:properties {:color "green"}}
{:id #uuid "63c2c111-0b70-4158-a022-809e22b2f089",
:page 4,
:position {:bounding {:x1 0,
:y1 506.24117279052734,
:x2 973.5137634277344,
:y2 1234.9090194702148,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 603.4749450683594,
:y1 506.24117279052734,
:x2 964.2553405761719,
:y2 524.3160018920898,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 964.7362976074219,
:y1 513.9264144897461,
:x2 973.5137634277344,
:y2 522.6899642944336,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 524.9407043457031,
:y1 526.1731185913086,
:x2 964.2553405761719,
:y2 544.2479476928711,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 964.7362976074219,
:y1 533.8498153686523,
:x2 973.5137634277344,
:y2 542.6133651733398,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 524.9407043457031,
:y1 546.0965194702148,
:x2 907.0810241699219,
:y2 564.1713485717773,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 1197.5440292358398,
:x2 0,
:y2 1218.9052352905273,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 1213.5478134155273,
:x2 0,
:y2 1234.9090194702148,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "IoTMoF addresses these limitations in traditional 76 software development and supports automatic transformation 77 of textual use cases to a domain-specific use case diagram"},
:properties {:color "purple"}}
{:id #uuid "63c2c153-a60f-4018-8e8e-dfda6580cc00",
:page 4,
:position {:bounding {:x1 0,
:y1 706.185546875,
:x2 973.5137634277344,
:y2 1394.9466857910156,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 568.0078430175781,
:y1 706.185546875,
:x2 964.7102966308594,
:y2 724.2604064941406,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 964.7362976074219,
:y1 713.8622436523438,
:x2 973.5137634277344,
:y2 722.6257934570312,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 524.9407043457031,
:y1 726.1089782714844,
:x2 964.3172302246094,
:y2 744.1838073730469,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 964.7362976074219,
:y1 733.794189453125,
:x2 973.5137634277344,
:y2 742.5577697753906,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 524.4272155761719,
:y1 746.0323791503906,
:x2 754.6517028808594,
:y2 764.1072082519531,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 1357.5817565917969,
:x2 0,
:y2 1378.9429016113281,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 1373.5854797363281,
:x2 0,
:y2 1394.9466857910156,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text " This is an extension of the UML use case diagram with 86 IoT-specific constructs aligned with the UCM4IoT language. 87 The metamodel is shown in Fig. 3."},
:properties {:color "yellow"}}
{:id #uuid "63c2c1b6-9aa3-4c68-82d0-4d20808e5bf9",
:page 4,
:position {:bounding {:x1 0,
:y1 786.5723876953125,
:x2 973.5137634277344,
:y2 1458.9618225097656,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 716.4483337402344,
:y1 786.5723876953125,
:x2 964.3127136230469,
:y2 804.6472473144531,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 964.7362976074219,
:y1 794.2490844726562,
:x2 973.5137634277344,
:y2 803.0126342773438,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 524.9407043457031,
:y1 806.4958190917969,
:x2 964.2553405761719,
:y2 824.5706481933594,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 964.7362976074219,
:y1 814.1724853515625,
:x2 973.5137634277344,
:y2 822.93603515625,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 524.9407043457031,
:y1 826.4192199707031,
:x2 638.7703552246094,
:y2 844.4940490722656,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 1421.5968322753906,
:x2 0,
:y2 1442.9580383300781,
:width 1019.9999999999999,
:height 1319.9999999999998}
{:x1 0,
:y1 1437.6006164550781,
:x2 0,
:y2 1458.9618225097656,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "any use case found within the ex- 90 tended use case diagram can be either a handler use case or a 91 standard use cas"},
:properties {:color "green"}}
{:id #uuid "63c2c225-9e97-402f-b60d-1b9d08c2a856",
:page 4,
:position {:bounding {:x1 585.4837341308594,
:y1 846.3426208496094,
:x2 786.4516296386719,
:y2 864.4174499511719,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 585.4837341308594,
:y1 846.3426208496094,
:x2 786.4516296386719,
:y2 864.4174499511719,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "s they handle exceptions from"},
:properties {:color "red"}}
{:id #uuid "63c2c267-bab0-4f6f-9bd6-9d631e48f572",
:page 4,
:position {:bounding {:x1 602.2148132324219,
:y1 926.0448303222656,
:x2 938.6968688964844,
:y2 944.1196594238281,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 602.2148132324219,
:y1 926.0448303222656,
:x2 938.6968688964844,
:y2 944.1196594238281,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "hardware, software, network, and environment"},
:properties {:color "green"}}
{:id #uuid "63c2c2b8-402b-487c-8d1c-f84acf216dc3",
:page 4,
:position {:bounding {:x1 656.8512268066406,
:y1 1185.7594604492188,
:x2 712.0987243652344,
:y2 1203.8342895507812,
:width 1019.9999999999999,
:height 1319.9999999999998},
:rects ({:x1 656.8512268066406,
:y1 1185.7594604492188,
:x2 712.0987243652344,
:y2 1203.8342895507812,
:width 1019.9999999999999,
:height 1319.9999999999998}),
:page 4},
:content {:text "invoked "},
:properties {:color "red"}}
{:id #uuid "63c2c306-30fc-4c6a-83c9-b68072ee0158",
:page 5,
:position {:bounding {:x1 291.1846923828125,
:y1 1279.1290435791016,
:x2 583.4106750488281,
:y2 1301.5856628417969,
:width 1224,
:height 1584},
:rects ({:x1 291.1846923828125,
:y1 1279.1290435791016,
:x2 583.4106750488281,
:y2 1301.5856628417969,
:width 1224,
:height 1584}),
:page 5},
:content {:text "excluding the area outlined in red i"},
:properties {:color "yellow"}}
{:id #uuid "63c2c33d-7c01-434d-8a04-cbe613a0aeb4",
:page 5,
:position {:bounding {:x1 0,
:y1 221.31414794921875,
:x2 594.0743713378906,
:y2 1445.0462036132812,
:width 1224,
:height 1584},
:rects ({:x1 0,
:y1 221.31414794921875,
:x2 0,
:y2 242.67529296875,
:width 1224,
:height 1584}
{:x1 247.90301513671875,
:y1 1398.6780395507812,
:x2 594.0743713378906,
:y2 1421.1346740722656,
:width 1224,
:height 1584}
{:x1 65.18754577636719,
:y1 1407.783935546875,
:x2 75.71609497070312,
:y2 1418.7384033203125,
:width 1224,
:height 1584}
{:x1 95.63751220703125,
:y1 1422.5895690917969,
:x2 283.291748046875,
:y2 1445.0462036132812,
:width 1224,
:height 1584}),
:page 5},
:content {:text "sers can interact with physical entities, and13 they can invoke service"},
:properties {:color "green"}}
{:id #uuid "63c2c344-b1c2-4783-8cfa-655436ecf2a9",
:page 5,
:position {:bounding {:x1 319.0569763183594,
:y1 1448.1528015136719,
:x2 392.2718200683594,
:y2 1470.6094360351562,
:width 1224,
:height 1584},
:rects ({:x1 319.0569763183594,
:y1 1448.1528015136719,
:x2 392.2718200683594,
:y2 1470.6094360351562,
:width 1224,
:height 1584}),
:page 5},
:content {:text "invokes"},
:properties {:color "green"}}
{:id #uuid "63c2c34e-a2ae-43bd-a6da-365853001f50",
:page 5,
:position {:bounding {:x1 657.9602966308594,
:y1 1098.1410064697266,
:x2 741.6354675292969,
:y2 1120.5976257324219,
:width 1224,
:height 1584},
:rects ({:x1 657.9602966308594,
:y1 1098.1410064697266,
:x2 741.6354675292969,
:y2 1120.5976257324219,
:width 1224,
:height 1584}),
:page 5},
:content {:text "monitors"},
:properties {:color "green"}}
{:id #uuid "63c2c353-4da5-47b1-8c59-9cbb1028f601",
:page 5,
:position {:bounding {:x1 840.0523986816406,
:y1 1122.0525207519531,
:x2 892.3554992675781,
:y2 1144.5091400146484,
:width 1224,
:height 1584},
:rects ({:x1 840.0523986816406,
:y1 1122.0525207519531,
:x2 892.3554992675781,
:y2 1144.5091400146484,
:width 1224,
:height 1584}),
:page 5},
:content {:text "acts "},
:properties {:color "green"}}
{:id #uuid "63c2c36b-a005-4794-8a2a-9871d557f619",
:page 5,
:position {:bounding {:x1 0,
:y1 381.351806640625,
:x2 1180.1644592285156,
:y2 1301.5856323242188,
:width 1224,
:height 1584},
:rects ({:x1 0,
:y1 381.351806640625,
:x2 0,
:y2 402.71295166015625,
:width 1224,
:height 1584}
{:x1 665.7910461425781,
:y1 1255.2174835205078,
:x2 1170.0061340332031,
:y2 1277.6741180419922,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1264.3233795166016,
:x2 1180.1644592285156,
:y2 1275.27783203125,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1279.1289978027344,
:x2 831.2234802246094,
:y2 1301.5856323242188,
:width 1224,
:height 1584}),
:page 5},
:content {:text "IoTMoF maps an UCM4IoT model to an IoT domain model 23 using Xtend and Sirius"},
:properties {:color "purple"}}
{:id #uuid "63c2c384-cae6-4652-a59f-0ccc040c0094",
:page 5,
:position {:bounding {:x1 0,
:y1 493.37823486328125,
:x2 1180.1644592285156,
:y2 1468.9577026367188,
:width 1224,
:height 1584},
:rects ({:x1 0,
:y1 493.37823486328125,
:x2 0,
:y2 514.7393798828125,
:width 1224,
:height 1584}
{:x1 992.6938781738281,
:y1 1422.5895690917969,
:x2 1169.1006164550781,
:y2 1445.0462036132812,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1431.6954650878906,
:x2 1180.1644592285156,
:y2 1442.64990234375,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1446.5010681152344,
:x2 1123.1388244628906,
:y2 1468.9577026367188,
:width 1224,
:height 1584}),
:page 5},
:content {:text "evolve the domain 30 model to a design class diagram, namely, information model"},
:properties {:color "yellow"}}
{:id #uuid "63c2c577-cae5-40f3-8ffb-50f1b4d1dbfe",
:page 6,
:position {:bounding {:x1 0,
:y1 205.31039142608643,
:x2 582.1355895996094,
:y2 955.4678344726562,
:width 1224,
:height 1584},
:rects ({:x1 0,
:y1 205.31039142608643,
:x2 0,
:y2 226.67157077789307,
:width 1224,
:height 1584}
{:x1 0,
:y1 221.31416130065918,
:x2 0,
:y2 242.67534255981445,
:width 1224,
:height 1584}
{:x1 288.5159912109375,
:y1 885.1881713867188,
:x2 580.8497619628906,
:y2 907.644775390625,
:width 1224,
:height 1584}
{:x1 53.23179626464844,
:y1 894.2940673828125,
:x2 63.760345458984375,
:y2 905.2484741210938,
:width 1224,
:height 1584}
{:x1 82.96286010742188,
:y1 909.0996704101562,
:x2 582.1355895996094,
:y2 931.5562744140625,
:width 1224,
:height 1584}
{:x1 53.23179626464844,
:y1 918.20556640625,
:x2 63.760345458984375,
:y2 929.1600341796875,
:width 1224,
:height 1584}
{:x1 83.68174743652344,
:y1 933.0111694335938,
:x2 238.00164794921875,
:y2 955.4678344726562,
:width 1224,
:height 1584}),
:page 6},
:content {:text "A user interacts with a physical entity12 when there exists a step in the use case model that describes13 such an interaction"},
:properties {:color "green"}}
{:id #uuid "63c2c5ae-3e82-4c40-9b83-a20ae6b7e25a",
:page 6,
:position {:bounding {:x1 0,
:y1 413.35937786102295,
:x2 585.6182098388672,
:y2 1277.6741638183594,
:width 1224,
:height 1584},
:rects ({:x1 0,
:y1 413.35937786102295,
:x2 0,
:y2 434.7205572128296,
:width 1224,
:height 1584}
{:x1 155.52310180664062,
:y1 1231.3059997558594,
:x2 582.1169128417969,
:y2 1253.7626647949219,
:width 1224,
:height 1584}
{:x1 53.23179626464844,
:y1 1240.4118957519531,
:x2 63.760345458984375,
:y2 1251.3663635253906,
:width 1224,
:height 1584}
{:x1 83.68174743652344,
:y1 1255.2175598144531,
:x2 585.6182098388672,
:y2 1277.6741638183594,
:width 1224,
:height 1584}),
:page 6},
:content {:text "oTMoF provides a modelling editor to extend and25 evolve the domain model into a design-level information model."},
:properties {:color "green"}}
{:id #uuid "63c2c5e9-1f18-455a-9a5c-d731de867cd1",
:page 6,
:position {:bounding {:x1 0,
:y1 217.17199516296387,
:x2 1168.2086486816406,
:y2 690.7808971405029,
:width 1224,
:height 1584},
:rects ({:x1 993.7933654785156,
:y1 217.17199516296387,
:x2 1157.5787658691406,
:y2 239.62861442565918,
:width 1224,
:height 1584}
{:x1 1157.6800842285156,
:y1 226.27789115905762,
:x2 1168.2086486816406,
:y2 237.23234367370605,
:width 1224,
:height 1584}
{:x1 629.9237365722656,
:y1 241.07496452331543,
:x2 1157.3204650878906,
:y2 263.5315990447998,
:width 1224,
:height 1584}
{:x1 1157.6800842285156,
:y1 250.18086051940918,
:x2 1168.2086486816406,
:y2 261.13529777526855,
:width 1224,
:height 1584}
{:x1 629.4273986816406,
:y1 264.98646354675293,
:x2 989.9928283691406,
:y2 287.4430980682373,
:width 1224,
:height 1584}
{:x1 0,
:y1 653.4159069061279,
:x2 0,
:y2 674.7771129608154,
:width 1224,
:height 1584}
{:x1 0,
:y1 669.4196910858154,
:x2 0,
:y2 690.7808971405029,
:width 1224,
:height 1584}),
:page 6},
:content {:text "For example, the 40 modeller may say that a particular actor invokes a service or a 41 virtual entity represents some physical entity."},
:properties {:color "yellow"}}
{:id #uuid "63c2c686-990b-4bf6-a1ff-cdbb0d2509ad",
:page 11,
:position {:bounding {:x1 95.63751220703125,
:y1 1139.8363952636719,
:x2 565.6382751464844,
:y2 1160.6498107910156,
:width 1224,
:height 1584},
:rects ({:x1 95.63751220703125,
:y1 1139.8363952636719,
:x2 565.6382751464844,
:y2 1160.6498107910156,
:width 1224,
:height 1584}),
:page 11},
:content {:text "Figure 18 Smart Lights System: Statechart Model (Part 1)"},
:properties {:color "yellow"}}
{:id #uuid "63c2fb03-2cfb-412f-979a-f0db28e21517",
:page 6,
:position {:bounding {:x1 0,
:y1 681.3668823242188,
:x2 1168.2086486816406,
:y2 786.8034973144531,
:width 1224,
:height 1584},
:rects ({:x1 1074.0873107910156,
:y1 681.3668823242188,
:x2 1158.2451477050781,
:y2 703.8235168457031,
:width 1224,
:height 1584}
{:x1 1157.6800842285156,
:y1 690.4727783203125,
:x2 1168.2086486816406,
:y2 701.4272155761719,
:width 1224,
:height 1584}
{:x1 629.9237365722656,
:y1 705.2784118652344,
:x2 1157.1272277832031,
:y2 727.7350158691406,
:width 1224,
:height 1584}
{:x1 1157.6800842285156,
:y1 714.38427734375,
:x2 1168.2086486816406,
:y2 725.3387451171875,
:width 1224,
:height 1584}
{:x1 629.9237365722656,
:y1 729.1899108886719,
:x2 897.8183898925781,
:y2 751.6465454101562,
:width 1224,
:height 1584}
{:x1 0,
:y1 749.4385375976562,
:x2 0,
:y2 770.7997131347656,
:width 1224,
:height 1584}
{:x1 0,
:y1 765.4422912597656,
:x2 0,
:y2 786.8034973144531,
:width 1224,
:height 1584}),
:page 6},
:content {:text "Hence, 45 it was more feasible to use a textual modelling language for 46 facilitating the generation process"},
:properties {:color "yellow"}}
{:id #uuid "63c2fd77-f120-4a98-88c0-bf73f28a9d4f",
:page 6,
:position {:bounding {:x1 876.4523010253906,
:y1 848.7389221191406,
:x2 1043.3540344238281,
:y2 871.195556640625,
:width 1224,
:height 1584},
:rects ({:x1 876.4523010253906,
:y1 848.7389221191406,
:x2 1043.3540344238281,
:y2 871.195556640625,
:width 1224,
:height 1584}),
:page 6},
:content {:text " M2M transformation"},
:properties {:color "yellow"}}
{:id #uuid "63c2fd84-003f-44b8-9c23-6016f0106998",
:page 6,
:position {:bounding {:x1 0,
:y1 848.7389221191406,
:x2 1168.2086486816406,
:y2 942.9301147460938,
:width 1224,
:height 1584},
:rects ({:x1 1053.1285705566406,
:y1 848.7389221191406,
:x2 1157.9303283691406,
:y2 871.195556640625,
:width 1224,
:height 1584}
{:x1 1157.6800842285156,
:y1 857.8448181152344,
:x2 1168.2086486816406,
:y2 868.7992553710938,
:width 1224,
:height 1584}
{:x1 0,
:y1 861.4649353027344,
:x2 0,
:y2 882.8261108398438,
:width 1224,
:height 1584}
{:x1 629.9237365722656,
:y1 872.6504516601562,
:x2 1157.4089660644531,
:y2 895.1070556640625,
:width 1224,
:height 1584}
{:x1 0,
:y1 877.4686889648438,
:x2 0,
:y2 898.8298950195312,
:width 1224,
:height 1584}
{:x1 1157.6800842285156,
:y1 881.7563171386719,
:x2 1168.2086486816406,
:y2 892.7107849121094,
:width 1224,
:height 1584}
{:x1 0,
:y1 893.4724731445312,
:x2 0,
:y2 914.8336181640625,
:width 1224,
:height 1584}
{:x1 629.9237365722656,
:y1 896.5619506835938,
:x2 1157.4653625488281,
:y2 919.0185546875,
:width 1224,
:height 1584}
{:x1 1157.6800842285156,
:y1 905.6678466796875,
:x2 1168.2086486816406,
:y2 916.622314453125,
:width 1224,
:height 1584}
{:x1 629.9237365722656,
:y1 920.4734497070312,
:x2 764.3431701660156,
:y2 942.9301147460938,
:width 1224,
:height 1584}),
:page 6},
:content {:text "The map- 52 ping is exception-aware and the adaptive behaviour of the sys- 53 tem is realized in this model with dedicated handler states and 54 exception events"},
:properties {:color "yellow"}}
{:id #uuid "63c2fe33-00aa-49de-8d1e-91a934a1497f",
:page 7,
:position {:bounding {:x1 0,
:y1 655.8036499023438,
:x2 1180.1644592285156,
:y2 866.8223266601562,
:width 1224,
:height 1584},
:rects ({:x1 732.3758239746094,
:y1 655.8036499023438,
:x2 1169.4211730957031,
:y2 678.26025390625,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 664.9095458984375,
:x2 1180.1644592285156,
:y2 675.864013671875,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 679.7066040039062,
:x2 1170.2450256347656,
:y2 702.1632080078125,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 688.8125,
:x2 1180.1644592285156,
:y2 699.7669677734375,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 703.6181030273438,
:x2 892.1410217285156,
:y2 726.0747680664062,
:width 1224,
:height 1584}
{:x1 0,
:y1 829.4573974609375,
:x2 0,
:y2 850.8185424804688,
:width 1224,
:height 1584}
{:x1 0,
:y1 845.4611206054688,
:x2 0,
:y2 866.8223266601562,
:width 1224,
:height 1584}),
:page 7},
:content {:text "The wrapper code will initialize the statechart with 51 the setup function that is automatically called after it configures 52 the pins on the microcontroller"},
:properties {:color "yellow"}}
{:id #uuid "63c2fe38-2411-4b1e-911b-7e99317e7e27",
:page 7,
:position {:bounding {:x1 0,
:y1 703.6181030273438,
:x2 1180.1644592285156,
:y2 882.8261108398438,
:width 1224,
:height 1584},
:rects ({:x1 897.3391418457031,
:y1 703.6181030273438,
:x2 1169.2761535644531,
:y2 726.0747680664062,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 712.7239990234375,
:x2 1180.1644592285156,
:y2 723.678466796875,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 727.5296020507812,
:x2 851.4252624511719,
:y2 749.9862670898438,
:width 1224,
:height 1584}
{:x1 0,
:y1 861.4649047851562,
:x2 0,
:y2 882.8261108398438,
:width 1224,
:height 1584}),
:page 7},
:content {:text " The loop function will update 53 the statechart periodically."},
:properties {:color "yellow"}}
{:id #uuid "63c2fe62-d8d1-477e-b53d-44fe1092967b",
:page 7,
:position {:bounding {:x1 0,
:y1 1062.0169372558594,
:x2 1180.1644592285156,
:y2 1180.1110534667969,
:width 1224,
:height 1584},
:rects ({:x1 834.4441833496094,
:y1 1062.0169372558594,
:x2 1169.8581848144531,
:y2 1084.4736022949219,
:width 1224,
:height 1584}
{:x1 0,
:y1 1069.5138854980469,
:x2 0,
:y2 1090.8750915527344,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1071.1228332519531,
:x2 1180.1644592285156,
:y2 1082.0773010253906,
:width 1224,
:height 1584}
{:x1 0,
:y1 1085.5176696777344,
:x2 0,
:y2 1106.8788757324219,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1085.9284973144531,
:x2 1169.0709533691406,
:y2 1108.3851013183594,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1095.0343322753906,
:x2 1180.1644592285156,
:y2 1105.9888000488281,
:width 1224,
:height 1584}
{:x1 0,
:y1 1101.5214538574219,
:x2 0,
:y2 1122.8825988769531,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1109.8399963378906,
:x2 1169.0709533691406,
:y2 1132.2966003417969,
:width 1224,
:height 1584}
{:x1 0,
:y1 1117.5252380371094,
:x2 0,
:y2 1138.8863830566406,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1118.9458923339844,
:x2 1180.1644592285156,
:y2 1129.9002990722656,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1133.7429504394531,
:x2 1169.7716369628906,
:y2 1156.1995544433594,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1142.8488464355469,
:x2 1180.1644592285156,
:y2 1153.8032531738281,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1157.6544494628906,
:x2 750.5711364746094,
:y2 1180.1110534667969,
:width 1224,
:height 1584}),
:page 7},
:content {:text "A smart lights system is an automated 66 system consisting of smart lights, devices that contain both a 67 sensor that detects the surrounding light intensity, and a light 68 that turns on or off depending on the brightness of the physical 69 surroundings"},
:properties {:color "green"}}
{:id #uuid "63c2fe67-fb75-48ea-915e-491695f7e889",
:page 7,
:position {:bounding {:x1 0,
:y1 1133.5289611816406,
:x2 1180.1644592285156,
:y2 1204.0226135253906,
:width 1224,
:height 1584},
:rects ({:x1 0,
:y1 1133.5289611816406,
:x2 0,
:y2 1154.8901672363281,
:width 1224,
:height 1584}
{:x1 761.0146789550781,
:y1 1157.6544494628906,
:x2 1169.0709533691406,
:y2 1180.1110534667969,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1166.7603454589844,
:x2 1180.1644592285156,
:y2 1177.7148132324219,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1181.5659484863281,
:x2 952.5517883300781,
:y2 1204.0226135253906,
:width 1224,
:height 1584}),
:page 7},
:content {:text "Each smart light communicates their status to 70 some server, called a hub, in the system"},
:properties {:color "green"}}
{:id #uuid "63c2fe6d-d021-4fa5-8bc8-b34ce85e56a4",
:page 7,
:position {:bounding {:x1 0,
:y1 1149.5327453613281,
:x2 1180.1644592285156,
:y2 1251.8456115722656,
:width 1224,
:height 1584},
:rects ({:x1 0,
:y1 1149.5327453613281,
:x2 0,
:y2 1170.8939514160156,
:width 1224,
:height 1584}
{:x1 0,
:y1 1165.5365295410156,
:x2 0,
:y2 1186.8976745605469,
:width 1224,
:height 1584}
{:x1 957.3843078613281,
:y1 1181.5659484863281,
:x2 1170.2450256347656,
:y2 1204.0226135253906,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1190.6718444824219,
:x2 1180.1644592285156,
:y2 1201.6263122558594,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1205.4775085449219,
:x2 1169.7716369628906,
:y2 1227.9341125488281,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1214.5833435058594,
:x2 1180.1644592285156,
:y2 1225.5378112792969,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1229.3890075683594,
:x2 787.9767150878906,
:y2 1251.8456115722656,
:width 1224,
:height 1584}),
:page 7},
:content {:text " This hub is responsible 71 for receiving data logs from each smart light, and storing those 72 logs in a database."},
:properties {:color "yellow"}}
{:id #uuid "63c2ff84-33fa-4d0f-857d-984cde02ab39",
:page 7,
:position {:bounding {:x1 0,
:y1 1293.5666809082031,
:x2 1180.1644592285156,
:y2 1445.0462036132812,
:width 1224,
:height 1584},
:rects ({:x1 0,
:y1 1293.5666809082031,
:x2 0,
:y2 1314.9278564453125,
:width 1224,
:height 1584}
{:x1 665.7910461425781,
:y1 1398.6780700683594,
:x2 1169.5206604003906,
:y2 1421.1347045898438,
:width 1224,
:height 1584}
{:x1 1169.6358947753906,
:y1 1407.7839660644531,
:x2 1180.1644592285156,
:y2 1418.7384033203125,
:width 1224,
:height 1584}
{:x1 641.8795471191406,
:y1 1422.5895690917969,
:x2 804.7043762207031,
:y2 1445.0462036132812,
:width 1224,
:height 1584}),
:page 7},
:content {:text "The device continuously sends the light intensity of the sur- 80 roundings to the hub."},
:properties {:color "yellow"}}
{:id #uuid "63c2ff9c-ba07-4fdd-b493-9cbafe5877f3",
:page 8,
:position {:bounding {:x1 95.9388427734375,
:y1 514.9276962280273,
:x2 480.9593200683594,
:y2 535.7411727905273,
:width 1224,
:height 1584},
:rects ({:x1 95.9388427734375,
:y1 514.9276962280273,
:x2 480.9593200683594,
:y2 535.7411727905273,
:width 1224,
:height 1584}),
:page 8},
:content {:text "igure 8 Smart Lights System: Use Smart Lights"},
:properties {:color "yellow"}}
{:id #uuid "63c3ade8-e50b-4c9d-bc0e-759cfebc4c06",
:page 8,
:position {:bounding {:x1 0,
:y1 13.076873779296875,
:x2 461.7564905285835,
:y2 170.09066772460938,
:width 965,
:height 1248.8235294117646},
:rects ({:x1 0,
:y1 13.076873779296875,
:x2 0,
:y2 34.255462646484375,
:width 965,
:height 1248.8235294117646}
{:x1 0,
:y1 29.074920654296875,
:x2 0,
:y2 50.2535400390625,
:width 965,
:height 1248.8235294117646}
{:x1 0,
:y1 45.072998046875,
:x2 0,
:y2 66.25161743164062,
:width 965,
:height 1248.8235294117646}
{:x1 207.61630803346634,
:y1 96.01119995117188,
:x2 458.8921259045601,
:y2 113.538330078125,
:width 965,
:height 1248.8235294117646}
{:x1 46.11709767580032,
:y1 103.49102783203125,
:x2 50.27065831422806,
:y2 111.5242919921875,
:width 965,
:height 1248.8235294117646}
{:x1 65.97774296998978,
:y1 114.86196899414062,
:x2 461.7564905285835,
:y2 132.38909912109375,
:width 965,
:height 1248.8235294117646}
{:x1 46.11709767580032,
:y1 122.34182739257812,
:x2 50.27065831422806,
:y2 130.37509155273438,
:width 965,
:height 1248.8235294117646}
{:x1 65.97774296998978,
:y1 133.7127685546875,
:x2 459.1503503918648,
:y2 151.23989868164062,
:width 965,
:height 1248.8235294117646}
{:x1 46.11709767580032,
:y1 141.19259643554688,
:x2 50.27065831422806,
:y2 149.22586059570312,
:width 965,
:height 1248.8235294117646}
{:x1 65.97774296998978,
:y1 152.56353759765625,
:x2 117.7520654797554,
:y2 170.09066772460938,
:width 965,
:height 1248.8235294117646}),
:page 8},
:content {:text "The WiFi LED displays when the device2 connects and sends data to the hub, and the Error Display indi-3 cates any exceptional situations such as being unable to connect4 to WiFi."},
:properties {:color "green"}}
{:id #uuid "63c3b07c-6416-404f-a1c6-a0bda6e07d31",
:page 8,
:position {:bounding {:x1 0,
:y1 397.0303783416748,
:x2 1090.3341979980469,
:y2 734.3247680664062,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 0,
:y1 397.0303783416748,
:x2 0,
:y2 418.20898246765137,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 696.0739440917969,
:y1 691.1916198730469,
:x2 1080.2534484863281,
:y2 712.0050659179688,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1080.5025329589844,
:y1 699.9095458984375,
:x2 1090.3341979980469,
:y2 709.7685546875,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 587.9345397949219,
:y1 713.5113220214844,
:x2 746.6150817871094,
:y2 734.3247680664062,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 8},
:content {:text "The handler that handles these three exceptions 20 are shown in Fig. 10"},
:properties {:color "yellow"}}
{:id #uuid "63c3b124-63ea-4971-a6fe-b5bd23c74bb6",
:page 8,
:position {:bounding {:x1 0,
:y1 652.9993591308594,
:x2 1090.3341979980469,
:y2 1125.4728240966797,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 0,
:y1 652.9993591308594,
:x2 0,
:y2 674.177978515625,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 746.6125793457031,
:y1 1082.3453674316406,
:x2 1079.9853210449219,
:y2 1103.1588287353516,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1080.5025329589844,
:y1 1091.0632934570312,
:x2 1090.3341979980469,
:y2 1100.9223022460938,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 587.9345092773438,
:y1 1104.6593627929688,
:x2 774.4913635253906,
:y2 1125.4728240966797,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 8},
:content {:text " information model that was built on top 36 of the IoT domain model"},
:properties {:color "green"}}
{:id #uuid "63c3b143-e450-43f1-9826-e796f0c84544",
:page 8,
:position {:bounding {:x1 859.2725524902344,
:y1 1104.659408569336,
:x2 1006.6558532714844,
:y2 1125.4728698730469,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 859.2725524902344,
:y1 1104.659408569336,
:x2 1006.6558532714844,
:y2 1125.4728698730469,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 8},
:content {:text "design-level details"},
:properties {:color "yellow"}}
{:id #uuid "63c3b1be-7300-470c-b8d1-befb93de80c8",
:page 9,
:position {:bounding {:x1 0,
:y1 301.04199981689453,
:x2 1101.4940185546875,
:y2 691.8991088867188,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 0,
:y1 301.04199981689453,
:x2 0,
:y2 322.2206039428711,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 626.3494873046875,
:y1 648.7659454345703,
:x2 1092.2371215820312,
:y2 669.5794067382812,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1091.6624145507812,
:y1 657.4838562011719,
:x2 1101.4940185546875,
:y2 667.3428649902344,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 599.0943603515625,
:y1 671.0856323242188,
:x2 1058.5274658203125,
:y2 691.8991088867188,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 9},
:content {:text "The types of functions the devices can perform are listed for 17 each relationship between a device and a physical entity or use"},
:properties {:color "green"}}
{:id #uuid "63c3b1e6-9176-4504-91c4-987ca229fe59",
:page 9,
:position {:bounding {:x1 0,
:y1 445.0245590209961,
:x2 1101.4940032958984,
:y2 942.1569519042969,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 0,
:y1 445.0245590209961,
:x2 0,
:y2 466.20316314697266,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 0,
:y1 461.02262115478516,
:x2 0,
:y2 482.20122718811035,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 0,
:y1 477.02068519592285,
:x2 0,
:y2 498.1992893218994,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 621.4083404541016,
:y1 854.3958129882812,
:x2 1091.1479949951172,
:y2 875.2092590332031,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1091.6623992919922,
:y1 863.1137390136719,
:x2 1101.4940032958984,
:y2 872.9727478027344,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 599.0943450927734,
:y1 876.7155151367188,
:x2 1092.241195678711,
:y2 897.5289611816406,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1091.6623992919922,
:y1 885.4334411621094,
:x2 1101.4940032958984,
:y2 895.2924194335938,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 599.0943450927734,
:y1 899.0295104980469,
:x2 1091.1451263427734,
:y2 919.8429565429688,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1091.6623992919922,
:y1 907.7474060058594,
:x2 1101.4940032958984,
:y2 917.6064147949219,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 599.0943450927734,
:y1 921.3434753417969,
:x2 652.0986480712891,
:y2 942.1569519042969,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 9},
:content {:text "The configuration model, shown in Fig. 16, takes as input 26 the attributes and functions from the IoT information model and 27 maps them to components and functions in the configuration 28 model."},
:properties {:color "yellow"}}
{:id #uuid "63c3b271-63d3-4fcf-af98-598268e7ef5e",
:page 10,
:position {:bounding {:x1 0,
:y1 237.04974365234375,
:x2 546.5856323242188,
:y2 872.333740234375,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 0,
:y1 237.04974365234375,
:x2 0,
:y2 258.2283630371094,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 100.4215087890625,
:y1 829.206298828125,
:x2 543.3959350585938,
:y2 850.0197448730469,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 49.68299865722656,
:y1 837.9241943359375,
:x2 59.5146369934082,
:y2 847.783203125,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 396.0148010253906,
:y1 848.787353515625,
:x2 408.6712341308594,
:y2 864.4887390136719,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 78.10181427001953,
:y1 851.520263671875,
:x2 395.7721939086914,
:y2 872.333740234375,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 408.6580810546875,
:y1 851.520263671875,
:x2 546.5856323242188,
:y2 872.333740234375,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 10},
:content {:text "For visualization purpose, we present a graphical version of14 the generated statechart model in Yakindu6 in Fig. 18 and 19."},
:properties {:color "yellow"}}
{:id #uuid "63c3b2f5-3c6a-4841-8050-ff4c9ef229a3",
:page 10,
:position {:bounding {:x1 607.420166015625,
:y1 1216.24072265625,
:x2 791.1863708496094,
:y2 1237.0541687011719,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 607.420166015625,
:y1 1216.24072265625,
:x2 791.1863708496094,
:y2 1237.0541687011719,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 10},
:content {:text "non-critical IoT systems"},
:properties {:color "green"}}
{:id #uuid "63c3b40a-a875-4084-bb51-9fa9344c9fcb",
:page 13,
:position {:bounding {:x1 0,
:y1 109.06524658203125,
:x2 557.6321411132812,
:y2 314.2729187011719,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 0,
:y1 109.06524658203125,
:x2 0,
:y2 130.2438507080078,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 0,
:y1 125.06330871582031,
:x2 0,
:y2 146.24191284179688,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 280.7236633300781,
:y1 248.83148193359375,
:x2 557.6321411132812,
:y2 269.64495849609375,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 65.75523376464844,
:y1 257.5494079589844,
:x2 70.67332458496094,
:y2 267.4084167480469,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 89.26165771484375,
:y1 271.1454772949219,
:x2 554.5406494140625,
:y2 291.9589538574219,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 65.75523376464844,
:y1 279.8634033203125,
:x2 70.67332458496094,
:y2 289.722412109375,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 89.26165771484375,
:y1 293.45947265625,
:x2 280.69610595703125,
:y2 314.2729187011719,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 13},
:content {:text "it does not incorporate adaptive be-8 haviour (exceptions and handlers in our work) defined in the9 requirements at this level."},
:properties {:color "green"}}
{:id #uuid "63c3b45d-6a4b-4e03-8986-9736558378fa",
:page 13,
:position {:bounding {:x1 322.3678283691406,
:y1 1080.262939453125,
:x2 463.62939453125,
:y2 1101.0763549804688,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 322.3678283691406,
:y1 1080.262939453125,
:x2 463.62939453125,
:y2 1101.0763549804688,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 13},
:content {:text "adaptive behaviou"},
:properties {:color "green"}}
{:id #uuid "63c3b470-67f0-4319-a1ef-14c531085d4b",
:page 13,
:position {:bounding {:x1 0,
:y1 780.9838714599609,
:x2 554.5718994140625,
:y2 1257.2913818359375,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 0,
:y1 780.9838714599609,
:x2 0,
:y2 802.1624755859375,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 0,
:y1 796.98193359375,
:x2 0,
:y2 818.1605377197266,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 466.1985778808594,
:y1 1191.84423828125,
:x2 554.5718994140625,
:y2 1212.65771484375,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 60.84284591674805,
:y1 1200.5621948242188,
:x2 70.67448425292969,
:y2 1210.421142578125,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 89.26165771484375,
:y1 1214.1582641601562,
:x2 554.2220458984375,
:y2 1234.9716796875,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 60.84284591674805,
:y1 1222.8761596679688,
:x2 70.67448425292969,
:y2 1232.7351684570312,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 89.26165771484375,
:y1 1236.4779052734375,
:x2 264.1084899902344,
:y2 1257.2913818359375,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 13},
:content {:text " Papyrus for50 IoT is not compatible with recent Eclipse versions and is not51 available for download."},
:properties {:color "green"}}
{:id #uuid "63c3b48f-ccf4-4199-a493-7047dc55871d",
:page 13,
:position {:bounding {:x1 0,
:y1 158.1320686340332,
:x2 1101.4940490722656,
:y2 962.1431312561035,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 694.1028137207031,
:y1 158.1320686340332,
:x2 1091.2037048339844,
:y2 178.94551467895508,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1091.6623840332031,
:y1 166.84997940063477,
:x2 1101.4940490722656,
:y2 176.70898818969727,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 599.0943603515625,
:y1 180.44604873657227,
:x2 1091.2539367675781,
:y2 201.25952529907227,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1091.6623840332031,
:y1 189.16968154907227,
:x2 1101.4940490722656,
:y2 199.02869033813477,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 599.0943603515625,
:y1 202.76575088500977,
:x2 688.8086242675781,
:y2 223.57919692993164,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 0,
:y1 924.9664344787598,
:x2 0,
:y2 946.1450843811035,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 0,
:y1 940.964542388916,
:x2 0,
:y2 962.1431312561035,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 13},
:content {:text " IoT concepts and also supports the adaptive na- 59 ture of such a domain with the use of exceptions and handlers 60 in use case"},
:properties {:color "green"}}
{:id #uuid "63c3b49e-7b15-4396-b542-6c9cbe99ee4e",
:page 13,
:position {:bounding {:x1 0,
:y1 247.39944076538086,
:x2 1101.4940490722656,
:y2 1042.1334190368652,
:width 1142.3999999999999,
:height 1478.3999999999999},
:rects ({:x1 688.6351928710938,
:y1 247.39944076538086,
:x2 1091.2062072753906,
:y2 268.21288681030273,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1091.6623840332031,
:y1 256.11733627319336,
:x2 1101.4940490722656,
:y2 265.97634506225586,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 599.0943603515625,
:y1 269.71340560913086,
:x2 1091.8504943847656,
:y2 290.52688217163086,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1091.6623840332031,
:y1 278.4313316345215,
:x2 1101.4940490722656,
:y2 288.290340423584,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 599.0943603515625,
:y1 292.03310775756836,
:x2 1091.1893615722656,
:y2 312.84655380249023,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 1091.6623840332031,
:y1 300.751033782959,
:x2 1101.4940490722656,
:y2 310.6100425720215,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 599.0943603515625,
:y1 314.3471031188965,
:x2 893.9775085449219,
:y2 335.16054916381836,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 0,
:y1 988.9586753845215,
:x2 0,
:y2 1010.1373252868652,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 0,
:y1 1004.9567832946777,
:x2 0,
:y2 1026.1353721618652,
:width 1142.3999999999999,
:height 1478.3999999999999}
{:x1 0,
:y1 1020.9548301696777,
:x2 0,
:y2 1042.1334190368652,
:width 1142.3999999999999,
:height 1478.3999999999999}),
:page 13},
:content {:text "UCM4IoT Language, IoT Use Case Diagram, IoT 63 Domain Modelling Language, IoT Information Modelling Lan- 64 guage, TStatechart Language (a textual statechart language), 65 and Configuration Modelling Language"},
:properties {:color "yellow"}}],
:extra {:page 2}}
Reference in New Issue View Git Blame Copy Permalink