TY - GEN
T1 - Formal Foundations for Efficient Simulation of MOM Systems
T2 - 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024
AU - Chen, Sini
AU - Zhu, Huibiao
AU - Li, Ran
AU - Xiao, Lili
AU - Wang, Jiapeng
AU - Ge, Ning
AU - Cao, Xinbin
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.
PY - 2025
Y1 - 2025
N2 - The rise of Industry 4.0 has spurred a growing need for smart, interconnected production systems and supply chains in manufacturing. In this context, the seamless integration of Manufacturing Operations Management (MOM) practices is crucial for ensuring operational efficiency, product quality, and regulatory compliance across the manufacturing life-cycle. This paper presents a formal foundation for the Object-Oriented Event-Graph (OOEG) language, which aims to enable efficient simulation within the MOM architecture. At the core of this work is the proposal and formal definition of a new OOEG language, named Refinement Calculus for Object-Oriented Event-Graph (rCOE), and we explore the language’s operational semantics. This rigorous semantics specification provides a solid theoretical underpinning for the OOEG language, facilitating precise formalization and simulation of complex manufacturing processes. To demonstrate the practical applicability of the proposed approach, we present a real-world case study within the aviation manufacturing domain, focusing on the partial assembly phase.
AB - The rise of Industry 4.0 has spurred a growing need for smart, interconnected production systems and supply chains in manufacturing. In this context, the seamless integration of Manufacturing Operations Management (MOM) practices is crucial for ensuring operational efficiency, product quality, and regulatory compliance across the manufacturing life-cycle. This paper presents a formal foundation for the Object-Oriented Event-Graph (OOEG) language, which aims to enable efficient simulation within the MOM architecture. At the core of this work is the proposal and formal definition of a new OOEG language, named Refinement Calculus for Object-Oriented Event-Graph (rCOE), and we explore the language’s operational semantics. This rigorous semantics specification provides a solid theoretical underpinning for the OOEG language, facilitating precise formalization and simulation of complex manufacturing processes. To demonstrate the practical applicability of the proposed approach, we present a real-world case study within the aviation manufacturing domain, focusing on the partial assembly phase.
KW - Formalization
KW - Manufacturing Operations Management (MOM)
KW - Object-Oriented Event Graph (OOEG)
KW - Operational Semantics
KW - Simulation
UR - https://www.scopus.com/pages/publications/85210851834
U2 - 10.1007/978-3-031-77019-7_17
DO - 10.1007/978-3-031-77019-7_17
M3 - 会议稿件
AN - SCOPUS:85210851834
SN - 9783031770180
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 290
EP - 309
BT - Theoretical Aspects of Computing – ICTAC 2024 - 21st International Colloquium, Proceedings
A2 - Anutariya, Chutiporn
A2 - Bonsangue, Marcello M.
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 25 November 2024 through 29 November 2024
ER -