Requirements development for IoT systems with UCM4IoT

IF 1.7 3区计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Journal of Computer Languages Pub Date : 2023-11-23 DOI:10.1016/j.cola.2023.101251

Paul Boutot, Mirza Rehenuma Tabassum, Abdul Abedin, Sadaf Mustafiz

{"title":"Requirements development for IoT systems with UCM4IoT","authors":"Paul Boutot, Mirza Rehenuma Tabassum, Abdul Abedin, Sadaf Mustafiz","doi":"10.1016/j.cola.2023.101251","DOIUrl":null,"url":null,"abstract":"<div><p><span>The engineering of IoT (Internet of Things) systems brings about various challenges due to the inherent complexities associated with such adaptive systems. Addressing the adaptive nature of IoT systems in the early stages of the development life cycle<span> is essential for developing a complete and precise system specification. In this paper, we propose a use case-based modelling language<span>, UCM4IoT, to support requirements elicitation and specification of IoT systems. UCM4IoT takes into account the heterogeneity of IoT systems and provides domain-specific language constructs to model the different facets of IoT systems. The language also incorporates the notion of exceptional situations and adaptive system behaviour. Our language is supported with a textual modelling environment to assist modellers in writing use cases. The environment supports syntax-directed editing, validation of use case models, and requirements analysis. The proposed language and tool is demonstrated and evaluated with two case studies: smart store system and smart </span></span></span>fire alarm system.</p></div>","PeriodicalId":48552,"journal":{"name":"Journal of Computer Languages","volume":"78 ","pages":"Article 101251"},"PeriodicalIF":1.7000,"publicationDate":"2023-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computer Languages","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S2590118423000618","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}

引用次数: 0

Abstract

The engineering of IoT (Internet of Things) systems brings about various challenges due to the inherent complexities associated with such adaptive systems. Addressing the adaptive nature of IoT systems in the early stages of the development life cycle is essential for developing a complete and precise system specification. In this paper, we propose a use case-based modelling language, UCM4IoT, to support requirements elicitation and specification of IoT systems. UCM4IoT takes into account the heterogeneity of IoT systems and provides domain-specific language constructs to model the different facets of IoT systems. The language also incorporates the notion of exceptional situations and adaptive system behaviour. Our language is supported with a textual modelling environment to assist modellers in writing use cases. The environment supports syntax-directed editing, validation of use case models, and requirements analysis. The proposed language and tool is demonstrated and evaluated with two case studies: smart store system and smart fire alarm system.

查看原文本刊更多论文

利用 UCM4IoT 开发物联网系统需求

由于自适应系统固有的复杂性，物联网(IoT)系统的工程带来了各种挑战。在开发生命周期的早期阶段解决物联网系统的自适应特性对于开发完整而精确的系统规范至关重要。在本文中，我们提出了一种基于用例的建模语言UCM4IoT，以支持物联网系统的需求激发和规范。UCM4IoT考虑到物联网系统的异质性，并提供特定于领域的语言结构来对物联网系统的不同方面进行建模。该语言还包含了异常情况和适应性系统行为的概念。我们的语言由文本建模环境支持，以帮助建模者编写用例。该环境支持语法导向的编辑、用例模型的验证和需求分析。通过智能存储系统和智能火灾报警系统两个案例，对所提出的语言和工具进行了演示和评估。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Journal of Computer Languages Computer Science-Computer Networks and Communications

CiteScore

5.00

自引率

13.60%

发文量