Leveraging Digital Twin in Automated High-Tech Production Management

   The paper discusses industrial production management in an Industry 4.0 enterprise based on digital twins of manufacturing process and products. The principles of applying digital twins in the production cycle are defined. We present an example structure of an integrated automated production management system that includes the digital twins and a number of other systems. The functions of digital twins in such a system are indicated. The order of formation and development of digital twins in the course of the enterprise design and construction is considered. At the initial stage of collecting requirements and drawing up technical specifications for the enterprise design, we propose to create an approximate simulation model of the production cycle, which allows the feasibility assessment of key requirements. At the subsequent stages of the enterprise life cycle, the simulation model is enriched up to a full-fledged digital twin and augmented with other components of the management system. We show that the digital twin development can be performed at a high level of formal rigor and automation utilizing the mathematical device of category theory. For this purpose, the novel construction called flexible multicomma category is introduced, representing all possible enterprise architecture variants from a given viewpoint in the sense of the ISO/IEC/IEEE 42010 standard. A flexible multicomma is defined by a signature composed of functors that represent the architecture components from the selected viewpoint. We prove that a multicomma of any fixed shape derived from the signature is embedded into the flexible multicomma.