TY - GEN
T1 - Model driven engineering of manufacturing execution systems using a formal specification
T2 - 20th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2015
AU - Weißenberger, Benedikt
AU - Flad, Stefan
AU - Chen, Xinyu
AU - Rösch, Susanne
AU - Voigt, Tobias
AU - Vogel-Heuser, Birgit
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/10/19
Y1 - 2015/10/19
N2 - Industrial manufacturing processes are complex processes, where transparency of every process step is necessary to achieve a high level of quality and efficiency. In order to achieve this transparency, manufacturing execution systems (MES) are used. However, as these systems are very expensive, mainly due to individual programming effort, MES usage is oftentimes limited to larger companies. To ultimately reduce implementation costs for MES, the current research project AutoMES proposes a standardized, model-based approach to facilitate automatic generation of MES functions. This paper presents requirements on a suitable modeling language, as well as how these requirements are fulfilled by the modeling language used in the AutoMES project. The modeling language is an extension of the MES Modeling Language (MES-ML), a modeling language for the specification of MES. With the use of the extended MES-ML it is possible to generate a generic, machine-usable MES specification, suitable for code generation. To evaluate the proposed modeling language extensions, an industrial brewing process has been modeled and verified by MES engineers during the project AutoMES.
AB - Industrial manufacturing processes are complex processes, where transparency of every process step is necessary to achieve a high level of quality and efficiency. In order to achieve this transparency, manufacturing execution systems (MES) are used. However, as these systems are very expensive, mainly due to individual programming effort, MES usage is oftentimes limited to larger companies. To ultimately reduce implementation costs for MES, the current research project AutoMES proposes a standardized, model-based approach to facilitate automatic generation of MES functions. This paper presents requirements on a suitable modeling language, as well as how these requirements are fulfilled by the modeling language used in the AutoMES project. The modeling language is an extension of the MES Modeling Language (MES-ML), a modeling language for the specification of MES. With the use of the extended MES-ML it is possible to generate a generic, machine-usable MES specification, suitable for code generation. To evaluate the proposed modeling language extensions, an industrial brewing process has been modeled and verified by MES engineers during the project AutoMES.
KW - Manufacturing Execution Systems
KW - Model-based software development
KW - code generation
KW - formal specifications
KW - standards
UR - http://www.scopus.com/inward/record.url?scp=84952903428&partnerID=8YFLogxK
U2 - 10.1109/ETFA.2015.7301430
DO - 10.1109/ETFA.2015.7301430
M3 - Conference contribution
AN - SCOPUS:84952903428
T3 - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
BT - Proceedings of 2015 IEEE 20th Conference on Emerging Technologies and Factory Automation, ETFA 2015
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 8 September 2015 through 11 September 2015
ER -