The present invention supports the design of a process using a drawing
surface that specifies the process with underlying programmatic
constructs. In response to a user's command, a construct corresponding to
a shape is selected from a palette and inserted onto a design region that
shows the specified process. The command is verified to be consistent
with semantics of an associated process type. If so, a visual image of
the specified process is updated. If not, an indicator is generated in a
proximity of a relevant portion of the visual image in order to help the
user resolve the inconsistency. The user is able to correct errors before
generating computer-executable instructions from a high-level code
emission. Computer-executable instructions are also generated from
high-level code emission. A process engine is cognizant of the associated
high-level lines of code and an infrastructure knowledge base while
executing the computer-executable instructions.
