专利内容由知识产权出版社提供
专利名称：一种构件系统建模及其动态演化一致性验证方法专利类型：发明专利
发明人：李彤,郑明,林英,谢仲文,秦江龙,莫启,周小煊,李响,明
利,郑交交,杨真谛,王晓芳,成蕾
申请号：CN201710990872.0申请日：20171023公开号：CN107817970A公开日：20180320
摘要：本发明属于软件开发技术领域，公开了一种构件系统建模及其动态演化一致性验证方法，应用进程代数构造构件模型，并在此基础上得到粗粒度的构件系统；根据构件系统及其状态的变化，进行构件系统外部行为的提取，基于弱互模拟理论定义构件系统动态演化一致性验证准则；提取演化前后构件系统的行为，转换成便于Pi演算自动工具MWB识别的格式进行行为一致性验证。本发明基于构件间的交互及组合关系构建了更粗粒度的便于演化前后行为一致性分析的构件系统；提出构件系统外部行为序列提取算法，实现了构件系统外部行为序列提取的自动化；基于Milner的弱互模拟理论提出了构件系统演化前后行为一致性的验证准则。
申请人：云南大学
地址：650091 云南省昆明市五华区翠湖北路2号
国籍：CN
代理机构：北京科亿知识产权代理事务所(普通合伙)
代理人：汤东凤
更多信息请下载全文后查看
