新闻动态
开发者接口设计的分类及契约
http://sytm.net 发布日期:2014/1/18 11:43:33

1)开发者角色的分类

到目前为止,我们对所有开发者都是一视同仁的。在进一步研究对象设计和实现的细节时,则需要区分不同的开发者。当所有开发者都利用接口设计文档进行通信时,就需要从各自不同的观点去看接口设计文档。关于接口有关的角色大致可分为3类。

(1)类实现者:类实现者设计内部的数据结构,并为每个发布的服务实现代码。对类实现者来说,接口设计文档是分配的任务之一。

(2)类使用者:在其他类的实现过程中,调用由待实现类所提供的服务,这个类成为客户类。对类使用者来说,接口设计文档根据类提供的服务和对客户类所做的假设,揭示类的边界。

(3)类扩展这:开发待实现类的特定扩展。与类实现者一样,类扩展者也可以调用其感兴趣的类所提供的服务,类扩展者关注同一个服务的特定版本。对它们来说,接口设计文档既说明了当前的类行为,又说明了特定类提供服务的所有约束。

2)契约

契约就是在一个类上定义的,确保有关该类的类实现者、类使用者、类扩展者都要遵守的假定条件。契约说明了类使用者在使用该类之前必须遵守的约束,这一约束也是类实现者和类扩展者在使用时必须遵守的约束。契约包括3种类型的约束。

(1)不变式:不变式是对该类的所有实例而言都为真的谓词。不变式是和类或接口有关的约束。不变式通常用来说明类属性之间的一致性约束。

(2)前置条件:是在调用操作之前必须为真的谓词。前置条件和某个特定操作有关,用来说明类使用者在调用服务之前必须满足的约束。

(3)后置条件:是在条用操作之后必须为真的谓词。后置条件与某个特定操作有关,用来说明类实现者和类扩展者在调用服务之后必须满足的约束。


更多阅读
返回列表
© 2010 TianMei Technology All rights reserved. ICP:辽B-2-4-20100065辽公网安备 21010202000010号  网站地图