Abstract
Writing software for simulating, controlling or diagnosing real-world physical devices is non-trivial, as it requires encoding the complex interactions of device components and processes. Model-based computing is an approach to developing such software that employs multi-use declarative machine descriptions to derive information from which machine software can be constructed automatically. Specifically, we have been using this approach to develop code for scheduling reprographic machines.
We discuss the modeling of hardware components for scheduling purposes using concurrent constraint programming. We show how standard symbolic manipulation techniques such as partial evaluation and abduction can be used to process these models into a form that is directly compilable into procedural (C++) code and usable within a conventional software architecture.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
AAAI. AAAI'90 Workshop on Model Based Reasoning, July 1990.
B. Chandrasekaran and R. Milne, editors. Special Section on Reasoning about Structure, Behavior and Function. Sigart Newsletter, 93:4–55, 1985.
M. Fromherz and B. Carlson. Optimal Incremental and Anytime Scheduling. In P. Lim and J. Jourdan, editors, Proc. Workshop on Constraint Languages/Systems and their Use in Problem Modelling at ILPS'94, pages 45–59. ECRC, TR 94-38, Nov. 1993.
A. Goel, editor. Knowledge Compilation. IEEE Expert, 6(2):71–93, 1991.
P. Prosser and I. Buchanan. Intelligent Scheduling: Past, Present, and Future. Intelligent Systems Engineering, 3(2):67–78, 1994.
V. A. Saraswat. Concurrent Constraint Programming. Doctoral Dissertation Award and Logic Programming Series. MIT Press, Cambridge, MA, 1993.
P. Van Hentenryck. Scheduling and Packing in the Constraint Language CC(FD). [10], 137–167.
P. Van Hentenryck and T. Le Provost. Incremental Search in Constraint Logic Programming. New Generation Computing, (9):257–275, 1991.
D. S. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, Calif., 1990.
M. Zweben, and M. S. Fox, editors. Intelligent Scheduling. Morgan Kaufmann, San Francisco, CA, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fromherz, M.P.J., Saraswat, V.A. (1995). Model-based computing: Using concurrent constraint programming for modeling and model compilation. 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_39
Download citation
DOI: https://doi.org/10.1007/3-540-60299-2_39
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