A Formal Model for Organisational Structures behind Process-Aware Information Systems · Study