Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380880334> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4380880334 endingPage "407" @default.
- W4380880334 startingPage "395" @default.
- W4380880334 abstract "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, design patterns 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 design IoT patterns 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." @default.
- W4380880334 created "2023-06-17" @default.
- W4380880334 creator A5002865914 @default.
- W4380880334 creator A5063228263 @default.
- W4380880334 creator A5080965423 @default.
- W4380880334 creator A5089488026 @default.
- W4380880334 date "2023-11-01" @default.
- W4380880334 modified "2023-09-27" @default.
- W4380880334 title "Internet of Things design patterns modeling proven correct by construction: Application to aged care solution" @default.
- W4380880334 cites W2088668093 @default.
- W4380880334 cites W2159499379 @default.
- W4380880334 cites W2404525183 @default.
- W4380880334 cites W2619568410 @default.
- W4380880334 cites W2626846519 @default.
- W4380880334 cites W2794114989 @default.
- W4380880334 cites W2802932999 @default.
- W4380880334 cites W2891374184 @default.
- W4380880334 cites W2948762762 @default.
- W4380880334 cites W2985020236 @default.
- W4380880334 cites W2997089994 @default.
- W4380880334 cites W3011518082 @default.
- W4380880334 cites W3036499508 @default.
- W4380880334 cites W3037425512 @default.
- W4380880334 cites W3084683018 @default.
- W4380880334 cites W3105608450 @default.
- W4380880334 cites W3164778242 @default.
- W4380880334 cites W3168829393 @default.
- W4380880334 cites W3198415728 @default.
- W4380880334 cites W4213016839 @default.
- W4380880334 cites W4223442335 @default.
- W4380880334 cites W4285117148 @default.
- W4380880334 cites W4296993380 @default.
- W4380880334 doi "https://doi.org/10.1016/j.future.2023.05.018" @default.
- W4380880334 hasPublicationYear "2023" @default.
- W4380880334 type Work @default.
- W4380880334 citedByCount "0" @default.
- W4380880334 crossrefType "journal-article" @default.
- W4380880334 hasAuthorship W4380880334A5002865914 @default.
- W4380880334 hasAuthorship W4380880334A5063228263 @default.
- W4380880334 hasAuthorship W4380880334A5080965423 @default.
- W4380880334 hasAuthorship W4380880334A5089488026 @default.
- W4380880334 hasConcept C100776233 @default.
- W4380880334 hasConcept C11413529 @default.
- W4380880334 hasConcept C115903868 @default.
- W4380880334 hasConcept C120314980 @default.
- W4380880334 hasConcept C126322002 @default.
- W4380880334 hasConcept C146054899 @default.
- W4380880334 hasConcept C18903297 @default.
- W4380880334 hasConcept C199360897 @default.
- W4380880334 hasConcept C206588197 @default.
- W4380880334 hasConcept C2522767166 @default.
- W4380880334 hasConcept C2777904410 @default.
- W4380880334 hasConcept C38652104 @default.
- W4380880334 hasConcept C41008148 @default.
- W4380880334 hasConcept C55439883 @default.
- W4380880334 hasConcept C71924100 @default.
- W4380880334 hasConcept C75606506 @default.
- W4380880334 hasConcept C81860439 @default.
- W4380880334 hasConcept C86803240 @default.
- W4380880334 hasConceptScore W4380880334C100776233 @default.
- W4380880334 hasConceptScore W4380880334C11413529 @default.
- W4380880334 hasConceptScore W4380880334C115903868 @default.
- W4380880334 hasConceptScore W4380880334C120314980 @default.
- W4380880334 hasConceptScore W4380880334C126322002 @default.
- W4380880334 hasConceptScore W4380880334C146054899 @default.
- W4380880334 hasConceptScore W4380880334C18903297 @default.
- W4380880334 hasConceptScore W4380880334C199360897 @default.
- W4380880334 hasConceptScore W4380880334C206588197 @default.
- W4380880334 hasConceptScore W4380880334C2522767166 @default.
- W4380880334 hasConceptScore W4380880334C2777904410 @default.
- W4380880334 hasConceptScore W4380880334C38652104 @default.
- W4380880334 hasConceptScore W4380880334C41008148 @default.
- W4380880334 hasConceptScore W4380880334C55439883 @default.
- W4380880334 hasConceptScore W4380880334C71924100 @default.
- W4380880334 hasConceptScore W4380880334C75606506 @default.
- W4380880334 hasConceptScore W4380880334C81860439 @default.
- W4380880334 hasConceptScore W4380880334C86803240 @default.
- W4380880334 hasLocation W43808803341 @default.
- W4380880334 hasOpenAccess W4380880334 @default.
- W4380880334 hasPrimaryLocation W43808803341 @default.
- W4380880334 hasRelatedWork W1614816533 @default.
- W4380880334 hasRelatedWork W1980558980 @default.
- W4380880334 hasRelatedWork W2024218563 @default.
- W4380880334 hasRelatedWork W2077629733 @default.
- W4380880334 hasRelatedWork W2110588469 @default.
- W4380880334 hasRelatedWork W2787918416 @default.
- W4380880334 hasRelatedWork W3091728393 @default.
- W4380880334 hasRelatedWork W3095449116 @default.
- W4380880334 hasRelatedWork W4250105839 @default.
- W4380880334 hasRelatedWork W4311093171 @default.
- W4380880334 hasVolume "148" @default.
- W4380880334 isParatext "false" @default.
- W4380880334 isRetracted "false" @default.
- W4380880334 workType "article" @default.