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.