[发明专利]一种构件动态演化内部一致性保证方法有效
| 申请号： | 201710905832.1 | 申请日： | 2017-09-29 |
| 公开（公告）号： | CN107678964B | 公开（公告）日： | 2020-12-29 |
| 发明（设计）人： | 郑明;李彤;莫启;谢仲文;林英;秦江龙;周小煊;向文坤;何云;李响;成蕾;王晓芳;郑交交;杨真谛 | 申请（专利权）人： | 云南大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 昆明金科智诚知识产权代理事务所(普通合伙) 53216 | 代理人： | 胡亚兰 |
| 地址： | 650091 云*** | 国省代码： | 云南;53 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于软件构件演化技术领域，公开了一种构件动态演化内部一致性保证方法及系统，首先从构件内部对其动态演化前后的一致性进行分析，在此领域尚属鲜见；其次，将图论中的有向图的同态映射关系迁移到构件的内部类中，并与进程代数中的强模拟理论相结合，分别为保证构件动态演化内部一致性的必要条件和充分条件提供了支持，为实验的全局角度和局部角度的分析提供了基础；然后，通过提出了一种构件内部类的有向图的同态映射关系的判定算法。本发明分别从充分条件和必要条件出发，定义了构件动态演化前后的内部一致性标准，通过进程代数的强模拟理论和图论中的同态映射关系分别对满足一致性的充分条件和必要条件进行了证明。 | ||
| 搜索关键词： | 一种 构件 动态 演化 内部 一致性 保证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于云南大学，未经云南大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710905832.1/，转载请声明来源钻瓜专利网。
