论文部分内容阅读
无意识地的经常的与说明方程基语言的面向对象的建模导致结构的矛盾。基于部件调试处理这个问题由的一条新结构分析途径在一个模型正在分析每个部件的结构独立定位有缺点的部件。分析过程基于深度优先的规则递归地被执行。让一个部件建立果汁饮料 bugging 环境首先产生虚构方程，然后由使用图检测结构的缺点分析源于部件的方程的系统的结构的理论途径。建议方法能自动地定位引起结构的矛盾的部件，并且证明用户详细说明了错误消息。这个信息能是在发现并且本地化结构的矛盾的大帮助，并且立即在一些情况中指出他们。