论文部分内容阅读
重用设计在改善软件开发过程中的作用越来越受到人们的重视。面向对象的软件设计模式概念的提出为软件设计的重用打开了新的局面。但在设计模式的具体应用中存在实现、文档和组合的问题。给出了一种基于角色的设计模式形式建模方法，将类、类属性、类之间的关系等都看作角色，并用形式建模语言Object-Z形式表示这些角色，可有效地解决设计模式实例化时存在的问题。基于角色的设计模式形式模型在演化时也基于角色进行演化，将模式的演化分为角色层演化和模式层演化，模式层演化是由多个角色层演化组成的。演化后的模型可以通过定理证明器验证与