Towards a Formal Specification of Human Worker for Industry 4.0

Industry 4.0 aims to build open and intelligent manufacturing platforms in which humans, machines, and other resources communicate with each other. Modeling techniques and simulation of production processes can be used to facilitate flexibility and automation of a shop floor. In previous research we have proposed an approach to support production process modeling based on Model- Driven principles alongside with a Domain-Specific Modeling Language named MultiProLan which can be used to create production process models suitable for automatic generation of executable code that enables automatic execution of production processes within a simulation or a shop floor. Here we propose a research on the extension of MultiProLan language aimed at human worker modeling in the context of Industry 4.0. The language extension would enable the formal specification of human worker's roles, skills, competencies, capabilities, and limitations in order to achieve the better integration of human workers and machines in the smart factory.