Problems and Concepts
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.
KeywordsModel User Modeling Tool Constraint Logic Programming Concrete Implementation Unique Notation
Unable to display preview. Download preview PDF.