[发明专利]一种构件系统建模及其动态演化一致性验证方法有效
| 申请号： | 201710990872.0 | 申请日： | 2017-10-23 |
| 公开（公告）号： | CN107817970B | 公开（公告）日： | 2021-12-17 |
| 发明（设计）人： | 李彤;郑明;林英;谢仲文;秦江龙;莫启;周小煊;李响;明利;郑交交;杨真谛;王晓芳;成蕾 | 申请（专利权）人： | 云南大学 |
| 主分类号： | G06F8/20 | 分类号： | G06F8/20;G06F11/36 |
| 代理公司： | 昆明金科智诚知识产权代理事务所(普通合伙) 53216 | 代理人： | 胡亚兰 |
| 地址： | 650091 云*** | 国省代码： | 云南;53 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于软件开发技术领域，公开了一种构件系统建模及其动态演化一致性验证方法，应用进程代数构造构件模型，并在此基础上得到粗粒度的构件系统；根据构件系统及其状态的变化，进行构件系统外部行为的提取，基于弱互模拟理论定义构件系统动态演化一致性验证准则；提取演化前后构件系统的行为，转换成便于Pi演算自动工具MWB识别的格式进行行为一致性验证。本发明基于构件间的交互及组合关系构建了更粗粒度的便于演化前后行为一致性分析的构件系统；提出构件系统外部行为序列提取算法，实现了构件系统外部行为序列提取的自动化；基于Milner的弱互模拟理论提出了构件系统演化前后行为一致性的验证准则。 | ||
| 搜索关键词： | 一种 构件 系统 建模 及其 动态 演化 一致性 验证 方法 | ||
【主权项】：
一种构件系统建模及其动态演化一致性验证方法，其特征在于，所述构件系统建模及其动态演化一致性验证方法包括以下步骤：应用进程代数构造构件模型，并在构造的构件模型基础上得到粗粒度的构件系统；根据构件系统及构件系统状态的变化，进行构件系统外部行为的提取；基于弱互模拟理论定义构件系统动态演化一致性验证准则；提取演化前后构件系统的行为，转换成便于Pi演算自动工具MWB识别的格式，并进行行为一致性验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于云南大学，未经云南大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710990872.0/，转载请声明来源钻瓜专利网。
- 上一篇：一种计算机软件开发系统
- 下一篇：缓存代码处理方法、装置、存储介质及电子设备
