Problems and Concepts

  • Tony Hürlimann
Part of the Applied Optimization book series (APOP, volume 31)


From the more mathematical aspects of modeling, we now switch to the implementation aspects of computer-based modeling tools. Therefore, this chapter is more relevant for the designer of modeling tools than for the modeler or the model user. The previous chapters detail important prerequisites for understanding what modeling is, what components are necessary to implement modeling tools, and what model types should be part of the framework. In a word, from mathematics we switch to computer science. From a computer science point of view, this book could be viewed as the presentation of a large software project: The first four chapters describe the functionality and the “software requirement catalogue” from the user’s point of view. This chapter summarizes these requirements and presents the formal specifications. Finally, Part III presents a concrete implementation; the LPL system.


Model User Modeling Tool Constraint Logic Programming Concrete Implementation Unique Notation 
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.

Copyright information

© Springer Science+Business Media Dordrecht 1999

Authors and Affiliations

  • Tony Hürlimann
    • 1
  1. 1.Institute for InformaticsUniversity of FribourgSwitzerland

Personalised recommendations