Quality Marks, Metrics, and Measurement Procedures for Business Process Models · Study