TY - JOUR
T1 - A dynamic evolution modeling method for system-level digital twin models based on X Language
AU - Xie, Kunyu
AU - Zhang, Lin
AU - Zeigler, Bernard P.
AU - Wang, Kunyu
AU - Gu, Pengfei
N1 - Publisher Copyright:
© 2026 Published by Elsevier Ltd.
PY - 2027/2
Y1 - 2027/2
N2 - With the advancement of industrial equipment towards high precision and high integration, traditional static maintenance modes are no longer sufficient to meet the demands of complex dynamic environments, making dynamic operation and maintenance (O&M) based on Digital Twins (DT) an inevitable trend. However, the construction of a DT system is a complex engineering endeavor involving multiple domains and tools. Breaking the barriers between requirement analysis and system modeling to achieve an integrated implementation—from requirement collection to consistency and evolutionary modeling—remains a critical challenge.To address this issue, this paper proposes an evolutionary modeling method for Digital Twins based on the X Language. First, an evolutionary modeling framework named DT-DEVS is constructed based on the Discrete Event System Specification (DEVS), providing formal definitions for three core evolutionary behaviors: parameter drift, mechanism alteration, and structural mutation. Second, leveraging the X Language, which supports Model-Based Systems Engineering (MBSE), the DT-DEVS framework is syntactically formalized to establish an integrated development environment for requirement analysis, architectural design, and simulation verification. Finally, the proposed method is validated through a case study of a robotic arm end-effector system involving structural evolution. The results demonstrate that the proposed method effectively shortens the DT development cycle and significantly enhances the model's capability to track the dynamic evolutionary processes of physical entities.
AB - With the advancement of industrial equipment towards high precision and high integration, traditional static maintenance modes are no longer sufficient to meet the demands of complex dynamic environments, making dynamic operation and maintenance (O&M) based on Digital Twins (DT) an inevitable trend. However, the construction of a DT system is a complex engineering endeavor involving multiple domains and tools. Breaking the barriers between requirement analysis and system modeling to achieve an integrated implementation—from requirement collection to consistency and evolutionary modeling—remains a critical challenge.To address this issue, this paper proposes an evolutionary modeling method for Digital Twins based on the X Language. First, an evolutionary modeling framework named DT-DEVS is constructed based on the Discrete Event System Specification (DEVS), providing formal definitions for three core evolutionary behaviors: parameter drift, mechanism alteration, and structural mutation. Second, leveraging the X Language, which supports Model-Based Systems Engineering (MBSE), the DT-DEVS framework is syntactically formalized to establish an integrated development environment for requirement analysis, architectural design, and simulation verification. Finally, the proposed method is validated through a case study of a robotic arm end-effector system involving structural evolution. The results demonstrate that the proposed method effectively shortens the DT development cycle and significantly enhances the model's capability to track the dynamic evolutionary processes of physical entities.
KW - DEVS
KW - Digital twin
KW - Evolutionary modeling
KW - MBSE
KW - X language
UR - https://www.scopus.com/pages/publications/105040999575
U2 - 10.1016/j.rcim.2026.103346
DO - 10.1016/j.rcim.2026.103346
M3 - 文章
AN - SCOPUS:105040999575
SN - 0736-5845
VL - 103
JO - Robotics and Computer-Integrated Manufacturing
JF - Robotics and Computer-Integrated Manufacturing
M1 - 103346
ER -