Internet of things (IoT) systems are composed of variety of units from different domains. While developing a complete IoT system, different professionals from different domains may have to work in collaboration. In this paper we provide a framework which allows using discrete and continuous time modeling and simulation approaches in combination for IoT systems. The proposed framework demonstrates on how to model Ad-hoc and general IoT systems for software engineering purpose. We demonstrate that model-based software engineering on one hand can provide a common platform to overcome communication gaps among collaborating stakeholders whereas, on the other hand can model and integrate heterogeneous components of IoT systems. While modeling heterogeneous IoT systems, one of the major challenges is to apply continuous and discrete time modeling on intrinsically varying components of the system. Another difficulty may be how to compose these heterogeneous components into one whole system. The proposed framework provides a road-map to model discrete, continuous, Ad-hoc, general systems along with composition mechanism of heterogeneous subsystems. The framework uses a combination of Agent-based modeling, Aspect-oriented modeling, contract-based modeling and services-oriented modeling concepts. We used this framework to model a scenario example of a service-oriented IoT system as proof of concept. We analyzed our framework with existing systems and discussed it in details. Our framework provides a mechanism to model different viewpoints. The framework also enhances the completeness and consistency of the IoT software models.
Citation: Khurrum Mustafa Abbasi, Tamim Ahmed Khan, Irfan ul Haq. Modeling-framework for model-based software engineering of complex Internet of things systems[J]. Mathematical Biosciences and Engineering, 2021, 18(6): 9312-9335. doi: 10.3934/mbe.2021458
Internet of things (IoT) systems are composed of variety of units from different domains. While developing a complete IoT system, different professionals from different domains may have to work in collaboration. In this paper we provide a framework which allows using discrete and continuous time modeling and simulation approaches in combination for IoT systems. The proposed framework demonstrates on how to model Ad-hoc and general IoT systems for software engineering purpose. We demonstrate that model-based software engineering on one hand can provide a common platform to overcome communication gaps among collaborating stakeholders whereas, on the other hand can model and integrate heterogeneous components of IoT systems. While modeling heterogeneous IoT systems, one of the major challenges is to apply continuous and discrete time modeling on intrinsically varying components of the system. Another difficulty may be how to compose these heterogeneous components into one whole system. The proposed framework provides a road-map to model discrete, continuous, Ad-hoc, general systems along with composition mechanism of heterogeneous subsystems. The framework uses a combination of Agent-based modeling, Aspect-oriented modeling, contract-based modeling and services-oriented modeling concepts. We used this framework to model a scenario example of a service-oriented IoT system as proof of concept. We analyzed our framework with existing systems and discussed it in details. Our framework provides a mechanism to model different viewpoints. The framework also enhances the completeness and consistency of the IoT software models.
| [1] |
Q. Jing, A. V. Vasilakos, J. Wan, Security of the internet of things perspectives and challenges, Wirel. Netw., 20 (2014), 2481–2501. doi: 10.1007/s11276-014-0761-7
|
| [2] | Z. Sheng, S. Yangy, Y. Yuz, A. V. Vasilakos, J. A. McCanny, K. K. Leungy, A survey on the ietf protocol suite for the internet of things standards challenges and opportunities, IEEE Wirel. Commun., 20 (2013), 91–98. |
| [3] |
Y. A. Qadri, A. Nauman, Y. B. Zikria, A. V. Vasilakos, S. W. Kim, The future of healthcare internet of things a survey of emerging technologies, IEEE Commun. Surv. Tutor., 22 (2020), 1121–1167. doi: 10.1109/COMST.2020.2973314
|
| [4] |
Z. Yan, P. Zhang, A. V. Vasilakos, A survey on trust management for internet of things, J. Netw. Comput., 42 (2014), 120–134. doi: 10.1016/j.jnca.2014.01.014
|
| [5] |
B. Bera, S. Saha, A. K. Das, A. V. Vasilakos, Designing blockchain based access control protocol in iot enabled smart grid system, IEEE Int. Things J., 8 (2021), 5744–5761. doi: 10.1109/JIOT.2020.3030308
|
| [6] | S. Papert, Mindstorms Children, Computers, and Powerful Ideas, in: Basic Books Inc, (1980). |
| [7] | A. Nettstrater, Internet of things architecture IoT-A deliverable D1.3 updated reference model for IoT v1 5, Tech. Rep., FHGIML, 7 (2012). URL: https://cocoa.ethz.ch/downloads/2014/01 |
| [8] | S.-W. Lin, M. Crawford, S. Mellor, The industrial internet of things volume G1: Reference architecture, Tech. Rep., Industrial Internet Consortium (2017). URL: https://www.iiconsortium.org |
| [9] | J. Gayko, Alignment report for reference architectural model for industrie 4.0/intelligent manufacturing system architecture, Tech. Rep., Sino-German Industrie 4.0/Intelligent Manufacturing Standardisation SubWorking Group (2018). URL: www.plattform-i40.de/PI40/Redaktion/EN/Downloads |
| [10] | M. P. Alves, F. C. Delicato, P. F. Pires, IoTa-md: A model-driven approach for applying QoS attributes in the development of the IoT systems, in: Proc. ACM Symp. Appl. Comput., (2017), 1773–1780. |
| [11] |
K. M. Abbasi, T. A. Khan, I. U. Haq, Hierarchical modeling of complex internet of things systems using conceptual modeling approaches, IEEE Access, 7 (2019), 102772–102791. doi: 10.1109/ACCESS.2019.2930933
|
| [12] |
R. Dijkman, B. Sprenkels, T. Peetersa, A. Janssen, Business models for the internet of things, Int. J. Inf. Manage, 35 (2015), 672–678. doi: 10.1016/j.ijinfomgt.2015.07.008
|
| [13] |
D. Miorandi, S. Sicari, F. D. Pellegrini, I. Chlamtac, Internet of things vision applications and research challenges, Ad. Hoc. Netw., 10 (2012), 1497–1516. doi: 10.1016/j.adhoc.2012.02.016
|
| [14] | X. Jia, J. Wang, Q. He, IoT business model and extended technical requirements, in: In Proc. ICCTA2011, 2011. |
| [15] |
S. A. Alvi, B. Afzal, G. A. Shah, L. Atzori, W. Mahmood, Internet of multimedia things vision and challenges, Ad Hoc Netw., 33 (2015), 87–111. doi: 10.1016/j.adhoc.2015.04.006
|
| [16] |
J. Kiljander, A. D'elia, F. Morandi, P. Hyttinen, J. T. Mattila, A. Y. Oja, et al., Semantic interoperability architecture for pervasive computing and internet of things, IEEE Access, 2 (2014), 856–873. doi: 10.1109/ACCESS.2014.2347992
|
| [17] |
L. Guijarro, V. Pla, J. R. Vidal, M. Naldi, Maximum profit two sided pricing in service platforms based on wireless sensor networks, IEEE Wireless Commun. Lett., 5 (2016), 8–11. doi: 10.1109/LWC.2015.2487259
|
| [18] | A. Ghanbari, A. Laya, J. Alonso-Zarate, J. Markendahl, Business development in the internet of things a matter of vertical cooperation, IEEE Commun. Mag., 55 (2017), 135–141. |
| [19] |
K. Kang, Z. Pang, L. D. Xu, L. Ma, C. Wang, An interactive trust model for application market of the internet of things, IEEE Trans. Industr. Inform., 10 (2014), 1516–1526. doi: 10.1109/TII.2014.2306799
|
| [20] |
R. Roman, J. Zhou, J. Lopez, On the features and challenges of security and privacy in distributed internet of things, Comput. Netw., 57 (2013), 2266–2279. doi: 10.1016/j.comnet.2012.12.018
|
| [21] | H. Van Dyke Parunak, R. Savit, R. L. Riolo, Agent based modeling VS equation based modeling: A case study and users guide, in: International workshop on multi-agent systems and agent-based simulation Springer Berlin Heidelberg, (1998). |
| [22] | C. M. Macal, M. J. North, Tutorial on agent based modeling and simulation, in: 37th WSC 2005: Orlando, FL, USA., (2005). |
| [23] | G. I. Hawe, G. Coates, D. T. Wilson, R. S. Crouch, Agent based simulation for large-scale emergency response a survey of usage and implementation, ACM Comput. Surv., 45 (2012), 1–51. |
| [24] | S. Vasanthapriyan, S. Thuseethan, Prediction of human flow in disaster situations a multi agent-based modelling and simulation, in: 2nd International Symposium on DCIT Wuhan, (2015). |
| [25] | W. N. Robinson, Y. Ding, A survey of customization support in agent-based business process simulation tools, ACM Trans. Model. Comput. Simul., 20 (2010), 1–29. |
| [26] | J. A. Paravantis, From game theory to complexity science and agent-based modeling in world politics, 6th Int. Conf. Inf. Intell. Syst. Appl. IISA, (2015). |
| [27] |
M. Richiardi, The future of agent based modelling, Eastern Econ. J., 43 (2017), 271-287. doi: 10.1057/s41302-016-0075-9
|
| [28] | G. Bruno, A. Genovese, A. Sgalambro, An agent-based framework for modeling and solving location problems, 18 (2010), 81–96. |
| [29] | T. D. Cao, T. V. Pham, Q. H. Vu, H. L. Truong, D. H. Le, S. Dustdar, Marsa a marketplace for realtime human sensing data, ACM Trans. Internet Technol., 16 (2016), 1–21. |
| [30] | B. Chen, J. Wang, I. J. Cox, M. S. Kankanhalli, Multi keyword multi click advertisement option contracts for sponsored search, ACM Trans. Intell. Syst. Technol., 7 (2015), 1–29. |
| [31] | A. Y. Du, S. Das, R. D. Gopal, R. Ramesh, Risk hedging in storage grid markets do options add value to forwards, ACM Trans. Manag. Inf. Syst., 2 (2011), 1–23. |
| [32] | X. Zhang, T. Ward, S. Mcloone, Comparison of predictive contract mechanisms from an information theory perspective, ACM Trans. Mult. Comput. Commun., 8 (2012), 1–18. |
| [33] | T. S. Strickland, C. Dimoulas, A. Takikawa, M. Felleisen, Contracts for first class classes, ACM Trans. Program. Lang., 35 (2013), 1–58. |
| [34] | C. Dimoulas, M. Felleisen, On contract satisfaction in a higher order world, ACM Trans. Program. Lang., 33 (2011), 1–29. |
| [35] | J. Yi, D. Qi, S. H. Tan, A. Roychoudhury, Software change contracts, ACM Trans. Softw. Eng. Methodol., 24 (2015), 1–43. |
| [36] | G. Castagna, N. Gesbert, L. Padovani, A theory of contracts for web services, ACM Trans. Program. Lang., 31 (2009), 1–61. |
| [37] | T. T. H. Le, R. Passerone, U. Fahrenberg, A. Legay, Contract based requirement modularization via synthesis of correct decompositions, ACM Trans. Embed. Comput. Syst., 15 (2016), 1–26. |
| [38] |
R. Barga, D. Lomet, G. Shegalov, G. Weikum, Recovery guarantees for internet applications, ACM Trans. Internet Technol., 4 (2004), 289–328. doi: 10.1145/1013202.1013205
|
| [39] |
V. Ungureanu, Using certified policies to regulate e commerce transactions, ACM Trans. Internet Technol., 5 (2005), 129–153. doi: 10.1145/1052934.1052939
|
| [40] | I. Dragomir, I. Ober, C. Percebois, Contract based modeling and verification of timed safety requirements within sysml, Softw. Syst. Model, 16 (2015), 687–624. |
| [41] |
K. Christidis, M. Devetsikiotis, Blockchains and smart contracts for the internet of things, IEEE Access, 4 (2016), 2292–2303. doi: 10.1109/ACCESS.2016.2566339
|
| [42] | C. K. Frantz, M. Nowostawski, From institutions to code towards automated generation of smart contracts, in: IEEE 1st International Workshops on FAS*W, (2016). |
| [43] | W. Retschitzegger, W. Schwinger, E. Kapsammer, A survey on UML based aspect-oriented design modeling, ACM Comput. Surv., 43 (2011), 1–59. |
| [44] |
C. Chavez, A. Garcia, U. Kulesza, C. SantAnna, C. Lucena, Crosscutting interfaces for aspect-oriented modeling, J. Brazilian Comput. Soc., 12 (2006), 43–58. doi: 10.1007/BF03192387
|
| [45] | J. Fox, A formal foundation for aspect-oriented software development, in: Research on Computing Science CIC, (2005), 1665–9899. |
| [46] | J. Zhang, Y. Chen, Y. Zhang, H. Li, Aspect oriented modeling and mapping driven by model driven architecture, in: 2nd IEEE ICCSIT, (2009), 180–184. |
| [47] | J. Liu, L. Zhang, QOS modeling for cyber-physical systems using aspect-oriented approach, in: Second International Conference on Networking and Distributed Computing (ICNDC), (2011), 154–158. |
| [48] | A. Wasicek, P. Derler, E. A. Lee, Aspect oriented modeling of attacks in automotive cyber physical systems, in: ACM DAC 14 San Francisco CA (USA, 2014), 1–6. |
| [49] |
T. Cerny, Aspect oriented challenges in system integration with microservices SOA and IoT, Enterp. Inf. Syst., 13 (2019), 467–489. doi: 10.1080/17517575.2018.1462406
|
| [50] |
P. Vrba, V. Marik, P. Siano, P. Leitao, G. Zhabelova, V. Vyatkin, et al., A review of agent and service-oriented concepts applied to intelligent energy systems, IEEE Trans. Industr. Inform., 10 (2014), 1890–1903. doi: 10.1109/TII.2014.2326411
|
| [51] | R. K. Behera, K. H. K. Reddy, D. S. Royb, Modeling and assessing reliability of service-oriented internet of things, Int. J. Comput. Appl., 41 (2019), 195–206. |
| [52] |
B. B. Traore, B. K. Foguem, F. Tangara, X. Desforges, Service-oriented computing for intelligent train maintenance, Enterp. Inf. Syst., 13 (2019), 63–86. doi: 10.1080/17517575.2018.1501818
|
| [53] | I. L. Yen, F. Bastani, S. Y. Hwang, W. Zhu, G. Zhou, From software services to IoT services the modeling perspective, in: International Conference on Serviceology, (2017), 215–223. |
| [54] | F. Rademacher, S. Sachweh, A. Zundorf, Analysis of service-oriented modeling approaches for viewpoint specific model driven development of microservice architecture, CoRRRademacher2018 abs/1804.09946 (2018). |
| [55] | T. A. Khan, R. Heckel, On model based regression testing of web-services using dependency analysis of visual contracts, in: D. Giannakopoulou, F. Orejas (Eds.), Fundamental Approaches to Software Engineering, Springer Berlin Heidelberg, Berlin, Heidelberg, (2011), 341–355. |
| [56] | B. Costa, P. F. Pires, F. C. Delicato, Modeling SOA based IoT applications with soaml4iot, in: IEEE 5th World Forum on Internet of Things WF-IoT, (2019), 496–501. |
| [57] | B. Costa, P. F. Pires, F. C. Delicato, Modeling IoT applications with sysml4iot, in: IEEE 42th EUROMICRO Conference on Software Engineering and Advanced Applications, (2016), 157–164. |
Figures(10)
Khurrum Mustafa Abbasi, Tamim Ahmed Khan, Irfan ul Haq. Modeling-framework for model-based software engineering of complex Internet of things systems[J]. Mathematical Biosciences and Engineering, 2021, 18(6): 9312-9335. doi: 10.3934/mbe.2021458
DownLoad: