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

Figure4. Smartbuildingsystemarchitectureasametamodel and ability to capture complex information.Metamodels are a suitable solution for ex- pressingawiderangeofvaryinginformationofadomain.Theywillnotrestrictdesigner- s toapredefinedsetofpreoccupations, choicesand informationsof the targeteddomain. Figure4presents theproposedsmartbuildingsystemarchitectureasametamodelwhere theentitiesareaugmentedwithattributes,enumeratedclasses,cardinalitiesandrelations (reference, generalization, composition) between them.Behavior features are important for the generation phase. Properties are responsible for checking the soundness of the systemcompositionand the templates.Conditionsandvariablesprovideabetter control of the several templatesandenhance the systemautomation. The smart building systemarchitecturemetamodel (cf. Figure4) is also augmented withOCLconstraints.Wefind structural constraints, type constraints and various con- straints such as: (i) Strings for names (e.g., family, appliance, sensor type) should be composedof lettersonly, (ii)Strings for idscanbecomposedof letters andnumbersbut shouldalwaysstartwitha letter, (iii) Integers suchasdateofbirthoraccess level should bepositivewhileothers suchasconditionvaluescanbepositiveornegative.Some inte- gers, besidesbeingpositive,need to satisfy interval conditions (e.g., access level). Besides the system’s entities and features, we increase our smart building system with methods. Methods are generated automatically in the behavioral part within the systemdefinition (e.g., by codegeneration) regarding the existingmodules, things (i.e., users, appliances) and behavior features. They will allow users to easily manipulate smart building system instances, to perform actions and to manage system behavior. Someof thegeneratedmethodsareModule Activate(name),Device Delete(name),Con- ditionModify(name, value) andVariable Add(type, name, value). Some information in methods are assigned automatically and initialized by default such as ids or devices s- tate,whileother informationsuchasname, typeorvaluemustbe seizedasparameters. In the next section, wewill demonstrate our proposedmethodology. Based on an MDEapproach,wewillmodel andgenerate a smart building system instancebymodel transformation.Then,wevalidate the systemandverify itsbehavioralproperties. A.LyazidiandS.Mouline /BuiS:AMethodology forSmartBuildingModeling 63