Using business process models for the specification of manufacturing operations · Study