Generating A Non-Deterministic Model of a Process for a Goal

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.