使用UCM4IoT的物联网系统需求开发
软件工程
2022-12-05 v1
摘要
由于此类自适应系统固有的复杂性,物联网(IoT)系统的工程化带来了各种挑战。在开发生命周期的早期阶段处理物联网系统的自适应特性,对于开发完整且精确的系统规约至关重要。在本文中,我们提出一种基于用例的建模语言UCM4IoT,以支持物联网系统的需求获取与规约。UCM4IoT考虑了物联网系统的异构性,并提供领域特定语言构造来建模物联网系统的不同方面。该语言还融合了异常情形与自适应系统行为的概念。我们的语言配有一个文本化建模环境,以协助建模者编写用例。该环境支持语法导向编辑、用例模型验证以及需求分析。所提出的语言与工具通过两个案例研究进行了演示与评估:智能商店系统与智能火灾报警系统。
引用
@article{arxiv.2212.01377,
title = {Requirements Development for IoT Systems with UCM4IoT},
author = {Paul Boutot and Mirza Rehenuma Tabassum and Abdul Abedin and Sadaf Mustafiz},
journal= {arXiv preprint arXiv:2212.01377},
year = {2022}
}