Modelling consistency rules within production system engeering

The engineering of control systems is an essential part within the engineering of production systems cumulating various predecessor engineering activities. Therefore a high data quality of the predecessor activities has to be ensured especially avoiding inconsistencies between provided sets of engineering data. Within this paper, a methodology is sketched applicable to model engineering discipline crossing consistency rules to enable an automatic evaluation for consistency management. It is based on the use of AutomationML as production system modelling language but can be generalized to further modelling means.