Various embodiments described herein provide one or more of systems, methods, and software for formal modeling of business processes. Some embodiments provide a formal model for business processes that allows for expressive querying and reasoning over process models. Some such models provide mechanisms for rich descriptions of processes from different workflow perspectives that may allow automated process verification, simulation, execution, and querying in the process space. Some embodiments include receiving a mapping of at least a portion of a process and determining an order of tasks of the process as a function of π-calculus formulas associated with each type of the tasks of the process map. The ordered tasks may then be translated into a process modeling language representation of the at least a portion of the process.
展开▼