[转帖]状态空间和行为_OpenStack, 云计算等杂项讨论区_Weblogic技术|Tuxedo技术|中间件技术|Oracle论坛|JAVA论坛|Linux/Unix技术|hadoop论坛_联动北方技术论坛  
网站首页 | 关于我们 | 服务中心 | 经验交流 | 公司荣誉 | 成功案例 | 合作伙伴 | 联系我们 |
联动北方-国内领先的云技术服务提供商
»  游客             当前位置:  论坛首页 »  自由讨论区 »  OpenStack, 云计算等杂项讨论区 »
总帖数
2
每页帖数
101/1页1
返回列表
0
发起投票  发起投票 发新帖子
查看: 2130 | 回复: 1   主题: [转帖]状态空间和行为        上一篇   下一篇 
wenjie.zhang
注册用户
等级:上尉
经验:628
发帖:54
精华:0
注册:2013-11-11
状态:离线
发送短消息息给wenjie.zhang 加好友    发送短消息息给wenjie.zhang 发消息
发表于: IP:您无权察看 2013-11-15 9:40:23 | [全部帖] [楼主帖] 楼主

类的状态空间和行为,子类的状态空间和行为,类的不变式和类的前置条件和后置条件。

类状态空间维数:属性的个数。子类的状态空间受限于父类的状态空间。但是可以扩展。

类的行为:子类行为的拓展。一个类的不变式是指一种状态,即在任何时候该类的每一

个对象都满足条件(当这个对象处于平衡状态时)。

(如三角形)类的不变式的继承性。每一个行为都有:前置条件和后置条件。(前置条件:栈非空,后置条件:取出内容。)

类的不变式和操作运算的前置条件和后置条件一起,共同形成了一种称为“契约设计”的设计

方法的框架结构,这种设计方法能够确保一个目标对象的操作对其客户对象提供的一条消息

产生正确的反应,而客户对象提供的消息是符合该操作运算的前置

条件的。本节关于UML建模工具方面的知识介绍到这里,请期待下节介绍。




赞(0)    操作        顶端 
filogra
注册用户
等级:少校
经验:1408
发帖:13
精华:0
注册:2015-6-2
状态:离线
发送短消息息给filogra 加好友    发送短消息息给filogra 发消息
发表于: IP:您无权察看 2016-8-18 10:54:05 | [全部帖] [楼主帖] 2  楼



赞(0)    操作        顶端 
总帖数
2
每页帖数
101/1页1
返回列表
发新帖子
请输入验证码: 点击刷新验证码
您需要登录后才可以回帖 登录 | 注册
技术讨论