Abstract
In this paper we describe the modelling of producer/consumer constraints with the CHIP system. Producer/consumer constraints arise in scheduling problems with consumable resources like raw materials or money, in particular for batch based processing. The constraint assures that at each time point enough consumable resources are available. The modelling with CHIP uses the cumulative constraint to express conditions in a very declarative way, yet obtains very good propagation due to the reasoning power build into the cumulative constraint. We show that with producer/consumer constraints many resource scheduling problems can be easily expressed and give examples of its industrial use.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Aggoun, N. Beldiceanu Extending CHIP in Order to Solve Complex Scheduling Problems Journal of Mathematical and Computer Modelling, Vol. 17, No. 7, pages 57–73 Pergamon Press, 1993
K. R. Baker Introduction to Sequencing and Scheduling. John Wiley, 1974.
G. Baues, P. Kay, P. Charlier Constraint Based Resource Allocation for Airline Crew Management ATTIS 94, Paris, April 1994
N. Beldiceanu, H. Simonis Aircraft Maintenance Scheduling COSYTEC TR, Nov 1992
N. Beldiceanu, E. Contejean Introducing Global Constraints in CHIP Journal of Mathematical and Computer Modelling, Vol 20, No 12, pp 97–123, 1994
J. Bellone, A. Chamard, C. Pradelles PLANE — An Evolutive Planning System for Aircraft Production. First International Conference on the Practical Application of Prolog. 1–3 April 1992, London.
P. Bouzimault, Y. Delon, L. Peridy Planning Exams Using Constraint Logic Programming 2nd Conf Practical Applications of Prolog, London, April 1994
J. Carlier and P. Chretienne. Problèmes d'ordonnancement. Masson, Paris, 1988
A. Chamard, F. Deces, A. Fischler A Workshop Scheduler System written in CHIP 2nd Conf Practical Applications of Prolog, London, April 1994
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'88), pages 693–702, Tokyo, 1988.
M. Dincbas, H. Simonis APACHE-A Constraint Based, Automated Stand Allocation System Proc. of Advanced Software Technology in Air Transport (ASTAIR'91) Royal Aeronautical Society, London, UK, 23–24 October 1991, pages 267–282
O. Evans Factory Scheduling Using Finite Domains In Logic Programming in Action LNCS 636, 45–53, 1992
M.S. Fox and K. Sycara. Overview of CORTES: A Constraint Based Approach to Production Planning, Scheduling and Control. In Proceedings of the Fourth International Conference on Expert Systems in Production and Operations Management, 1990.
S. French Sequencing and Scheduling: an Introduction to the Mathematics of the Job-Shop Horwood, Chichester, 1982
T. Fruewirth, A. Herold, V. Kuchenhoff, T. Le Provost, P. Lim, M. Wallace Constraint Logic Programming — An Informal Introduction In Logic Programming in Action LNCS 636, 3–35, 1992
Gotha Les Problemes d'Ordonnancement Operations Research vol27, 1, 1993, pages 77–150
J. Jaffar, M. Maher Constraint Logic Programming: A Survey Journal of Logic Programming, 19/20: 503–581, May–July 1994
P. Kay, H. Simonis Building Industrial CHIP Applications from Reusable Software Components 3rd International Conference on Practical Applications of Prolog Paris, April 1995
E. Pinson Le Probleme de Job Shop These de Doctorat de Univ Paris VI, 1988
H. Simonis, N. Beldiceanu The CHIP System COSYTEC Technical Report, April 1995
P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Boston, Ma, 1989.
P. Van Hentenryck, H. Simonis, M. Dincbas Constraint Satisfaction using Constraint Logic Programming Journal of Artificial Intelligence, Vol. 58, No. 1–3, pp. 113–161, USA, 1992
M. Wallace Applying Constraints for Scheduling In B. Mayoh, E. Tyugu, J. Penjaam (Eds) Constraint Programming, Springer Verlag, 1994
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Simonis, H., Cornelissens, T. (1995). Modelling producer/consumer constraints. In: Montanari, U., Rossi, F. (eds) Principles and Practice of Constraint Programming — CP '95. CP 1995. Lecture Notes in Computer Science, vol 976. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60299-2_27
Download citation
DOI: https://doi.org/10.1007/3-540-60299-2_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60299-6
Online ISBN: 978-3-540-44788-7
eBook Packages: Springer Book Archive