The Digital Twin (DT) is one of the most promising technologies in the digital transformation market. A digital twin is a virtual copy of a physical system that emulates its behaviour to predict failures and opportuni...
详细信息
The Digital Twin (DT) is one of the most promising technologies in the digital transformation market. A digital twin is a virtual copy of a physical system that emulates its behaviour to predict failures and opportunities for change, prescribe actions in real-time, and optimise and/or mitigate unexpected events. modelling the virtual copy of a physical system is a rather complex task and requires the availability of a large amount of information and a set of accurate models that adequately represent the reality to model. At present, the modelling depends on the specific use case. Hence, the need to design a modelling solution suitable for virtual reality modelling in the context of a digital twin. The paper proposes a new approach to design a DT by endeavouring the concept of "modelling patterns" and their invariance property. modelling patterns are here thought of as data-driven, as they can be derived autonomously from data using a specific approach devised to reach an invariance feature, to allow these to be used (and re-used) in modelling situations and/or problems with any given degree of similarity. The potentialities of invariance modelling patterns are proved here by the grace of a real industrial application, where a dedicated DT has been built using the approach proposed here.
Analysis patterns are the groups of elements that represent a common construction in business modelling. patterns are established with the aim to define and visualize the fundamental requirements that arise during bus...
详细信息
ISBN:
(纸本)9783030302757;9783030302740
Analysis patterns are the groups of elements that represent a common construction in business modelling. patterns are established with the aim to define and visualize the fundamental requirements that arise during business process modelling. There are a lot of patterns that describe the behaviour of business processes. patterns enable stakeholders to communicate more effectively, with greater conciseness and less ambiguity. The problem with the existing business process patterns is that these patterns leave aside the static aspects of business processes. It is not enough to provide patterns just for processes or actions, it is necessary to show how data is integrated into business processes. This integration is important for flexible business processes, where stakeholders have more freedom to handle the sequence of actions in order to accomplish a given goal. The lack of an integrated modelling approach creates problems in rethinking and changing business processes. It is necessary to have a modelling approach which enables to manage necessary changes in business processes and data. The patterns for business processes should support the integration of static (data) and dynamic aspects (interaction and state changes of data) of the system as well to provide possibilities to model alternative actions in business processes. The paper presents Semantically Integrated Conceptual modelling method (SICM) and how the method is applied for two modelling patterns that enables integration of both static and dynamic aspects of the system.
The digital twin has received strong interests from researchers and industries since it allows predictive manufacturing by integrating the cyber and the physical space. An important prerequisite for the cyber physical...
详细信息
The digital twin has received strong interests from researchers and industries since it allows predictive manufacturing by integrating the cyber and the physical space. An important prerequisite for the cyber physical integration is a proper and highly -accurate digital model. Considering the complexity of digital modelling, the paper aims at developing and using predefined modelling patterns to enable building digital models independently of the specific application domain The idea is explored and validated on a real case study by designing a set of patterns to create a digital twin model prototype adopted to control and optimize the manufacturing system taken into account. Copyright (C) 2021 The Authors.
This article deals with the validation of critical industrial process architectures from the point of view of safety and operation. During the engineering phases, the objective is to complement conventional safety stu...
详细信息
This article deals with the validation of critical industrial process architectures from the point of view of safety and operation. During the engineering phases, the objective is to complement conventional safety studies with an approach that focuses on plant operation. In this context, one of the major challenges is to provide a guarantee that the designed architecture will be able to react safely to critical situations and events. To face the complexity resulting from the large number of functionalities and devices of the installations under consideration, the proposed approach is based on dynamic models of architectures, using the formalism of timed automata and reachability analysis to verify that, given a particular configuration of an architecture, the process can be safely operated to achieve a given objective. The result is a formal tool that allows engineers and plant operators to evaluate architecture safety with different types of dysfunctional scenarios based on their operational safety expertise. The article presents the formal modelling framework, which emphasizes structured modelling using patterns to promote reuse and instantiation over several candidate architectures. The contribution is illustrated and discussed using an experimental laboratory platform.
The digital twin has received strong interests from researchers and industries since it allows predictive manufacturing by integrating the cyber and the physical space. An important prerequisite for the cyber–physica...
详细信息
The digital twin has received strong interests from researchers and industries since it allows predictive manufacturing by integrating the cyber and the physical space. An important prerequisite for the cyber–physical integration is a proper and highly-accurate digital model. Considering the complexity of digital modelling, the paper aims at developing and using predefined modelling patterns to enable building digital models independently of the specific application domain. The idea is explored and validated on a real case study by designing a set of patterns to create a digital twin model prototype adopted to control and optimize the manufacturing system taken into account.
Model-based development relies on models in different phases for different purposes, with modelling patterns being used to document and gather knowledge about good practices in specific domains, to analyse the quality...
详细信息
Model-based development relies on models in different phases for different purposes, with modelling patterns being used to document and gather knowledge about good practices in specific domains, to analyse the quality of existing designs, and to guide the construction and refactoring of models. Providing a formal basis for the use of patterns would also support their integration with existing approaches to model transformation. To this end, we turn to the commonly used, in this context, machinery of graph transformations and provide an algebraic-categorical formalization of modelling patterns, which can express variability and required/forbidden application contexts. This allows the definition of transformation rules having patterns in left and right-hand sides, which can be used to express refactorings towards patterns, change the use of one pattern by a different one, or switch between pattern variants. A key element in our proposal is the use of operations to abstract models into patterns, so that they can be manipulated by pattern rules, thus leading to a rewriting mechanism for classes of graphs described by patterns and not just individual graphs. The proposal is illustrated with examples in object-oriented software design patterns and enterprise architecture patterns, but can be applied to any other domain where patterns are used for modelling.
The Resources-Events-Agents (REA) model is a semantic data model for the development of enterprise information systems. Although this model has been proposed as a benchmark for enterprise information modelling, only f...
详细信息
The Resources-Events-Agents (REA) model is a semantic data model for the development of enterprise information systems. Although this model has been proposed as a benchmark for enterprise information modelling, only few studies have attempted to empirically validate the claimed benefits of REA modelling. Moreover, these studies focused on the evaluation of REA-based system implementations rather than directly assessing the REA-modelled conceptual schemas that these systems are based on. This paper presents a laboratory experiment that measured the user understanding of diagrammatic conceptual schemas developed using the REA model. The theoretical foundation for the hypotheses are cognitive theories that explain pattern recognition phenomena and the resulting reduction in cognitive effort for understanding conceptual schemas. The results of the experiment indicate a more accurate understanding of the business processes and policies modelled when users recognize the REA model's core pattern of enterprise information in the diagram. The implication for modelling practice is that the use of the REA model improves the requirements engineering process by facilitating the user validation of conceptual schemas produced by analysts, and thus helps ensuring the quality of the enterprise information system that is developed or implemented.
暂无评论