Towards a Formal Framework for Reuse in Business Process Modeling · Study