Skip to main content

Model-based computing: Using concurrent constraint programming for modeling and model compilation

  • Industrial Presentations
  • Conference paper
  • First Online:
Principles and Practice of Constraint Programming — CP '95 (CP 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 976))

  • 179 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. AAAI. AAAI'90 Workshop on Model Based Reasoning, July 1990.

    Google Scholar 

  2. B. Chandrasekaran and R. Milne, editors. Special Section on Reasoning about Structure, Behavior and Function. Sigart Newsletter, 93:4–55, 1985.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. A. Goel, editor. Knowledge Compilation. IEEE Expert, 6(2):71–93, 1991.

    Google Scholar 

  5. P. Prosser and I. Buchanan. Intelligent Scheduling: Past, Present, and Future. Intelligent Systems Engineering, 3(2):67–78, 1994.

    Google Scholar 

  6. V. A. Saraswat. Concurrent Constraint Programming. Doctoral Dissertation Award and Logic Programming Series. MIT Press, Cambridge, MA, 1993.

    Google Scholar 

  7. P. Van Hentenryck. Scheduling and Packing in the Constraint Language CC(FD). [10], 137–167.

    Google Scholar 

  8. P. Van Hentenryck and T. Le Provost. Incremental Search in Constraint Logic Programming. New Generation Computing, (9):257–275, 1991.

    Google Scholar 

  9. D. S. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, Calif., 1990.

    Google Scholar 

  10. M. Zweben, and M. S. Fox, editors. Intelligent Scheduling. Morgan Kaufmann, San Francisco, CA, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Ugo Montanari Francesca Rossi

Rights and permissions

Reprints 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

Publish with us

Policies and ethics