Goal Models to Define Digital Twins in Industry Automation
摘要
Goal modeling is commonly proposed and used for early requirements engineering. Goal models allow for easy documentation of high-level requirements and their interrelations. Reasoning approaches allow for goal fulfillment analysis and can be used to detect potential conflicts and weighing different solution alternatives right from the beginning of development. In recent years, goal models have often been suggested to support the definition and analysis of cyber-physical systems, also from the industry automation domain. For the future of manufacturing, digital twins play a vital role. The digital twin allows for in-depth real time analysis of the current state of the factory and supports action planning for new tasks or evaluating error handling strategies for defects occurring at runtime. In this paper, we investigate the use of the goal-oriented requirement language (GRL) to define goal models that support the digital twin in industry automation. Using an industrial manufacturing case example, we show (a) the use of the goal model to develop the digital twin and (b) the use of the goal model for runtime analysis of goal fulfillment supporting defect detection and adaptation planning.