The Internet of Things (iot) is a rapidly growing technology trend that seeks to bridge the gap between the physical and digital worlds. Given the complexity of iot systems, designpatterns are essential to overcome r...
详细信息
The Internet of Things (iot) is a rapidly growing technology trend that seeks to bridge the gap between the physical and digital worlds. Given the complexity of iot systems, designpatterns are essential to overcome recurring problems. However, iot design patterns must be modeled as valid mathematical entities to avoid implementation errors and ambiguities. This study proposes a refinement-based approach for modeling iot design patterns using formal method techniques, which enable the creation of correct-by-construction patterns. Our approach uses the Event-B method to specify the models and validate the design. The ultimate goal is to designiotpatterns in a way that ensures their correctness and encourages their reuse. The results of this approach show that it can ensure quality attribute properties while saving time and costs related to software development. We test our approach with examples of patterns and provide a proposed solution in the healthcare sector. This study demonstrates the benefits of using formal methods to model and validate iot design patterns.& COPY;2023 Elsevier B.V. All rights reserved.
暂无评论