A method and a system of generating a non-deterministic model of an artifact system for a received goal are provided. A description of artifacts and services associated with an original version of a process is received. Component automata represent the artifacts and services that are automatically generated. There is one component automaton for each attribute of an artifact. 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. A non-deterministic model of the process is generated by automatically generating a composite automaton, which includes the component automata, based on the received goal. The composite automaton provides the non-deterministic model of the process
Please help me write a proper abstract based on the patent claims. CLAIM: 1. A method of generating a non-deterministic model of an artifact system for a received goal, the method comprising: receiving a description of artifacts and services associated with an original version of a process; 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; and generating a non-deterministic model of the process by automatically generating a composite automaton, which includes the component automata, based on the received goal, wherein the composite automaton provides the non-deterministic model of the process. 2. The method as recited by claim 1, the method further comprising: selecting the component automata from a repository of available component automata based on the received goal, wherein the selected component automata include at least one of the available component automata in the repository. 3. The method as recited by claim 1, the method further comprising: automatically generating a supervisor based on the composite automaton and the received goal; and automatically controlling execution of the process by controlling execution of the composite automaton based on the supervisor. 4. The method as recited by claim 1, the method further comprising: automatically generating a supervisor based on the composite automaton and the goal, wherein the goal is a control specification and the supervisor is a supremely controllable non-blocking sublanguage that includes state transition pairs that specify whether the transitions of the pairs can be executed for respective states. 5. The method as recited by claim 4, the method further comprising: automatically executing the composite automaton by controlling execution of the composite automaton based on the supervisor. 6. A system for generating a non-deterministic model of an artifact system for a received goal, the system comprising an artifact modeling component configured for receiving a description of artifacts and services associated with an original version of a process and configured for 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; and a composition component configured for providing a non-deterministic model of the process by automatically generating a composite automaton, which includes the component automata, based on the received goal, wherein the composite automaton provides the non-deterministic model of the process. 7. The system of claim 6, wherein the composition component further comprises: a component automaton selector configured for receiving a goal and configured for selecting the component automata from a repository of available component automata based on the goal, wherein the selected component automata include at least one of the available component automata in the repository. 8. The system of claim 6, wherein the composition component includes a composition operation component that is a parallel composition operation. 9. The system of claim 6, wherein the system further comprises: a control synthesis operation component configured for automatically generating a supervisor based on the composite automaton and the goal, wherein the goal is a control specification and the supervisor is a supremely controllable non-blocking sublanguage that includes state transition pairs that specify whether the transitions of the pairs can be executed for respective states. 10. The system of claim 9, wherein the control synthesis operation component provides a product operation. 11. The system of claim 9, the system further comprising: a process execution engine configured for automatically executing the composite automaton by controlling execution of the composite automaton based on the supervisor. 12. The system of claim 6, wherein the system further comprises a control synthesis operation component that is configured to provide a report describing one or more control synthesis failures that were determined as a part of performing a control synthesis operation while it was determined that the composite automaton is not controllable with respect to the goal. 13. A non-transitory computer readable storage medium having computer-executable instructions stored thereon for causing a computer system to perform a method of generating a non-deterministic model of an artifact system for a received goal, the method comprising: receiving a description of artifacts and services associated with an original version of a process; 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; and generating a non-deterministic model of the process by automatically generating a composite automaton, which includes the component automata, based on the received goal, wherein the composite automaton provides the non-deterministic model of the process. 14. The non-transitory computer readable storage medium as recited by claim 13, the method further comprising: receiving the goal; and selecting the component automata from a repository of available component automata based on the goal, wherein the selected component automata are a subset of the available component automata in the repository. 15. The non-transitory computer readable storage medium as recited by claim 13, the method further comprising: receiving the goal; automatically generating a supervisor based on the composite automaton and the goal, wherein the goal is a control specification and the supervisor is a supremely controllable non-blocking sublanguage that includes state transition pairs that each specify whether the transitions of the respective pairs can be executed for respective states; and automatically executing the composite automaton in a controlled manner by controlling execution of the composite automaton based on the supervisor.