Author:
Tounsi Imen,Khalfi Najeh,Saidi Abdessamad,Hadj Kacem Mohamed
Abstract
AbstractFormal method techniques are used to model complex systems as mathematical entities. By building mathematical rigorous models of IoT design patterns, it is possible to verify their properties in a thorough fashion. In this paper, we propose a refinement-based approach for modeling IoT design patterns. It allows the modeling of correct by construction IoT design patterns. It takes advantage of formal methods by the specification of design pattern models with the Event-B method and checking the design correctness. Our goal is to design IoT patterns proven correct by construction to successfully apply them and promote their reuse. Our approach is experimented through pattern examples and we illustrate it with a case study in the health care domain.
Publisher
Springer International Publishing
Reference16 articles.
1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)
2. Borelli, F., Biondi, G., Kamienski, C.: Biota: a buildout IoT application language. IEEE Access 8, 126443–126459 (2020). https://doi.org/10.1109/ACCESS.2020.3003694
3. Chandra, G.S.: Pattern language for IoT applications. In: PLoP Conference, USA (2016)
4. Dong, J., Alencar, P., Cowan, D.D., Sheng, Y.: Composing pattern-based components and verifying correctness. J. Syst. Softw. 80, 1755–1769 (2007)
5. Erl, T.: SOA Design Patterns (The Prentice Hall Service-Oriented Computing Series from Thomas Erl), 1st edn. Prentice Hall (2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Developing IoT-based Smart Health Monitoring Systems using Design Patterns;2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA);2023-12-04