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.
翻译:由于这些适应系统的内在复杂性,IoT(物联网)系统的工程带来了各种挑战。处理IoT系统在发展生命周期早期阶段的适应性质对于制定完整和精确的系统规格至关重要。在本文件中,我们提议使用基于案例的建模语言UCM4IoT,以支持对IoT系统的要求的征求和规格。UCM4IoT考虑到IoT系统的异质性,并提供特定域语言结构,以模拟IoT系统的不同方面。该语言还包含特殊情况和适应系统行为的概念。我们的语言得到一个文本建模环境的支持,以协助模型使用书写案例。环境支持以语法为主的编辑、使用案例模型的验证和需求分析。拟议的语言和工具通过两个案例研究得到演示和评价:智能存储系统和智能火灾警报系统。