Page - 62 - in Intelligent Environments 2019 - Workshop Proceedings of the 15th International Conference on Intelligent Environments

Figure3. Worflowdiagramof the smartbuildingsystemdesignand implementation ing that takes intoaccount some important aspects suchas the requirementsengineering (e.g., explanation, analysis, specification), software design (i.e., the process of defining the architecture alongwith components) and software construction (e.g., programming, verification, unit tests, debugging). For this purpose,weneed to identify thedesireden- titiesof suchasystemalongwith theusers requirements. Inaddition,weneed toassem- ble the structural and the behavioral compositions of a smart building system (e.g., in- stancesof theprovidedappliances, users profiles, properties to check, conditionson the system).Furthermore,wehave todefine thegenerationphaseof the systemcompostion with its templates cooresponding to each included instance and its global declarations (e.g., functions,variables)basedon theactivatedmodulesand thedefinedconditions. Figure3summarizesourworkflowforsmartbuildingsystemdesignandimplemen- tation. It startwith the structural definition by selecting the desiredmodules to activate within the systemaswell asaddingusers and theneededandavailableappliances in the building. Then, in the behavioral part, we define the properties to check such as dead- lock and safety, the conditions on templates (e.g., themaximum temperature forwhich theair conditioner shouldbe triggeredautomatically) and thevariables suchas integers, clocks or boolean for systemself-management and control.Afterward,wegenerate the corresponding templates forusersandeachappliance type (e.g.,Elevatordevice,Smoke sensor).Weonlygenerateone templateper typeeven if there ismore thanoneappliance of thesametype.Forexample, ifwehavetwoairconditioner, ten lightsandoneelevator, wewill generate one template for the air conditioner, one for the light and one for the elevator.Also,wegenerate thesystemcomposition(i.e., instancesforeachdeclareduser and appliance based on their generated templates) and the declarations (e.g., functions, guardswithin the templates)whichare related to theactivatedmodulesand thedeclared conditions (e.g., temperature, luminosity). Lastly, we generate the queries (properties) for each instance (e.g., liveness of an elevator device) and for the system (e.g., dead- lock).Finally,wevalidate andverify the systemand its templates, aswell as thedesired propertiesoneach template (e.g., reachability) and thewhole system(e.g., deadlock). Todo this,wedefineour smart building systemarchitecture as ametamodel.Meta- modelscanrepresentaconcept independentof its representationornotation,which isan important aspect for the generation phase. Furthermore,metamodels provideflexibility A.LyazidiandS.Mouline /BuiS:AMethodology forSmartBuildingModeling62