Models are used in both Software Engineering (SE) and Artificial Intelligence (AI). SE models may specify the architecture at different levels of abstraction and for addressing different concerns at various stages of the software development life-cycle, from early conceptualization and design, to verification, implementation, testing and evolution. However, AI models may provide smart capabilities, such as prediction and decision-making support. For instance, in Machine Learning (ML), which is currently the most popular sub-discipline of AI, mathematical models may learn useful patterns in the observed data and can become capable of making predictions. The goal of this work is to create synergy by bringing models in the said communities together and proposing a holistic approach to model-driven software development for intelligent systems that require ML. We illustrate how software models can become capable of creating and dealing with ML models in a seamless manner. The main focus is on the domain of the Internet of Things (IoT), where both ML and model-driven SE play a key role. In the context of the need to take a Cyber-Physical System-of-Systems perspective of the targeted architecture, an integrated design environment for both SE and ML sub-systems would best support the optimization and overall efficiency of the implementation of the resulting system. In particular, we implement the proposed approach, called ML-Quadrat, based on ThingML, and validate it using a case study from the IoT domain, as well as through an empirical user evaluation. It transpires that the proposed approach is not only feasible, but may also contribute to the performance leap of software development for smart Cyber-Physical Systems (CPS) which are connected to the IoT, as well as an enhanced user experience of the practitioners who use the proposed modeling solution.
翻译:软件工程(SE)和人造智能(AI)两个模型都使用。 SE模型可以指定不同层次的抽象结构,并用于解决软件开发生命周期各个阶段的不同关切,从早期概念化和设计到核查、实施、测试和演变,但是,AI模型可以提供智能能力,例如预测和决策支持。例如,目前最受欢迎的AI次纪律的机器学习(ML),数学模型可以在观测到的数据中学习有用的模式,并能够作出预测。 这项工作的目标是通过将模型汇集到上述社区,提出一种整体方法,为需要ML的智能系统开发模型驱动的软件周期的不同阶段,从早期概念化和设计到核查、实施、实施、测试模型和模型驱动的SE(ML)网络领域,主要关注ML和模型驱动的SE(ML)网络领域,它可能仅发挥一种关键作用。在网络-计算机操作系统系统-系统-系统-系统-系统-系统用户-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-系统-