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.
KeywordsTiming Design Reduction Procedure Technical Information Processing Reduction Rule Constraint Solver
Unable to display preview. Download preview PDF.
- Cook, P.W. (1984) Constraint Solver for Generalized IC Layout, IBM J.Res.Develop. vol 28/5: 581–589Google Scholar
- Nagasawa, I., Furukawa, Y., Aramaki, S. (1984) ADL — A Designer's Language Based on Logic Programming (in Japanese), trans. IPS Japan, vol. 25/2: 606–613Google Scholar
- Nagasawa, I., Furukawa, Y. (1986) A machine design calculation support system, using the Method of Constraints Reduction (in Japanese), trans. IPS Japan, vol. 27/1: 112–120.Google Scholar
- Nagasawa, I. (1986) A Machine Design System with Logic Programming, In: Kitakawa, T. (ed) JARECT Computer Science & Technologies, vol.18 OHMSHA and North-Holland, to appear.Google Scholar
- Okino, N., Kakazu, Y., Kubo, H. (1983) TIPS — Technical Information Processing System for CAD/CAM, In: Kitakawa, T. (ed) JARECT Computer Science & Technologies, vol. 7: 204–224, OHMSHA and North-HollandGoogle Scholar
- Shapiro,E.Y. (1983) A Subset of Concurrent Prolog and Its Interpreter, Technical Report TR-003, ICOTGoogle Scholar