基于角色的设计模式形式建模及演化

孙军梅; 缪淮扣

首页> 中文期刊> 《计算机科学》 >基于角色的设计模式形式建模及演化

基于角色的设计模式形式建模及演化

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机科学》 |2009年第8期|177-181|共5页
作者
孙军梅; 缪淮扣;
展开▼
作者单位

杭州师范大学信息科学与工程学院;

杭州;

310036;

上海大学计算机工程与科学学院;

上海;

200072;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
设计模式; Object-Z; 角色; 演化; 验证;

相似文献

中文文献
外文文献
专利

1. 基于角色的设计模式建模和实现方法 [J] . 何成万 ,何克清 . 软件学报 . 2006,第004期
2. 基于角色划分的AOP设计模式研究 [J] . 徐承志 ,张国玉 . 自动化技术与应用 . 2019,第008期
3. 基于大数据形式概念认知计算的装备体系动态演化建模框架建构 [J] . 王寿彪 ,李新明 ,刘东 . 指挥与控制学报 . 2016,第003期
4. 基于大数据形式概念认知计算的装备体系动态演化建模框架建构 [J] . 王寿彪 ,李新明 ,刘东 . 指挥与控制学报 . 2016,第003期
5. 数学建模题目的四步法设计模式——基于数学建模核心素养和高考要求 [J] . 鲜红 ,王凡玲 ,韩志全 . 福建中学数学 . 2021,第010期
6. 动态信息网络中基于角色的结构演化与预测 [C] . Li Chuan ,李川 ,Feng Bingqing . 第33届中国数据库学术会议（NDBC2016 ） . 2016
7. 基于Agent设计模式的企业竞争力演化建模研究 [A] . 郭红康 . 2016

基于角色的设计模式形式建模及演化

摘要

著录项

相似文献

相关主题

期刊订阅