A method of representing processes in a constraint solver

Constraints solving theory is a practical approach to the knowledge based CAD/CAM systems. Previously we presented a computation model, the Method of Constraint Reduction based on the logic programming notion. As an application of the model to the design problem in time domain such as timing design or verification of a sequence controller, a method of representing a system of cooperating processes is introduced. This method is characterized as follows. The idea of process reduction is borrowed from Concurrent Prolog but the process reduction is performed nondeterministically. The method treats a system of processes with state variables and constraints between them.