Static and dynamic consistency checking for numerical simulation: a mixed-logic and object-oriented programming approach

This paper presents a framework which implements common software functionalities. By using this framework, software designers focus on their activity in developing efficient data structures and algorithms. The logic programming introduced in this framework is an efficient technology for Object Constraint Language expressions. Errors made by the user when modeling a device are detected and prevented by the modeling guide.