Modeling Business Processes and Contractual Agreements with Extended Finite State MachinessBusiness Process and Contractual Agreements Modeling • August 3rd, 2020
Abstract. The present work introduces a method to model business processes and agreements based on finite state machines (with additional memory). The paper includes a trace semantics that captures a notion of all possible interactions under the rules of a given process. Besides the general model, the present paper also introduces a derived model (the TC-model). The TC-model is less expressive than the general model but offers a concise and intuitive way to describe processes. Based on the TC- model, the paper provides a notation to represent processes graphically as well as an implementation of a simple process simulator.
