Stav dette: State-Oriented Business Process Modeling: Principles, Theory and Practice