面向对象式语言中支持约束的方法及实现技术

给出一种在对象式语言中有效地支持约束的方法及其实现技术 .应用这种具有约束描述机制的面向对象语言进行开发 ,可以较好地结合对象式和约束式这两种程序设计的优势 ,从而增强语言的描述能力和问题求解能力 。