A Formal Model for Business Process Modeling and Design · Study