A method of representing processes in a constraint solver

  • I. Nagasawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)


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.


Timing Design Reduction Procedure Technical Information Processing Reduction Rule Constraint Solver 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Cook, P.W. (1984) Constraint Solver for Generalized IC Layout, IBM J.Res.Develop. vol 28/5: 581–589Google Scholar
  2. 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
  3. 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
  4. 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
  5. 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
  6. Shapiro,E.Y. (1983) A Subset of Concurrent Prolog and Its Interpreter, Technical Report TR-003, ICOTGoogle Scholar
  7. Sussman, G.J., Steele Jr, G.L. (1980) CONSTRAINTS — A Language for Expressing Almost-Hierarchical Descriptions, Artif. Intell. vol. 14: 1–39, North-HollandCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • I. Nagasawa
    • 1
  1. 1.Computation CenterKyushu UniversityFukuokaJapan

Personalised recommendations