Patent Document ID: 9996795
Application ID: 14347958
Patent Flag: 1

Claim One:
1. A method comprising: receiving a goal of a business entity; receiving a description of artifacts and services associated with an original version of a process, wherein the original version of the process is not adapted to the received goal of the business entity; automatically generating component automata that represent the artifacts and services, wherein there is one component automaton for each attribute of an artifact and wherein states of a particular component automaton represents potential values of a particular attribute and transitions between the states represent services that operate on the values; automatically generating a composite automaton using the component automata and, based on the received goal, wherein the composite automaton provides a non-deterministic model of the process that is adapted to the received goal of the business entity; automatically generating a supervisor based on the composite automaton and the received business goal, the supervisor comprising a plurality of state transition pairs, each state transition pair specifying whether a particular transition can be executed for a particular state of the composite automaton, wherein generating the supervisor is further based on a determination that the received goal is controllable according to one or more specified conditions; and executing, by an execution engine using the supervisor, the composite automaton to automatically perform the process for the business entity, the execution engine using the supervisor to control execution of the composite automaton.