| 一种针对CP-nets并发模型的验证方法 |
| |
| 引用本文： | 孙涛,叶新铭.一种针对CP-nets并发模型的验证方法[J].计算机科学,2014,41(7):135-139,161. |
| |
| 作者姓名： | 孙涛 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机学院 呼和浩特010021;内蒙古大学计算机学院 呼和浩特010021 |
| |
| 基金项目： | 本文受国家自然科学基金资助 |
| |
| 摘 要： | 状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,使模型状态空间规模得到显著降低,并在并发属性相关行为上与原模型保持一致;在处理后模型中运用状态空间分析、模型检测等验证方法完成模型验证,针对验证得出的模型错误,通过处理前后模型的对照关系在原模型中进行改正。这在一定程度上避免了状态爆炸问题并实现了模型验证。通过将上述方法应用于HMIPv6协议模型,验证了其有效性。
|
| 关 键 词： | 模型验证 化简 抽象 状态爆炸 |
| 收稿时间： | 4/7/2013 12:00:00 AM |
| 修稿时间： | 2013/5/25 0:00:00 |
Verification Method on CP-nets Concurrent Model |
| |
| SUN Tao and YE Xin-ming.Verification Method on CP-nets Concurrent Model[J].Computer Science,2014,41(7):135-139,161. |
| |
| Authors: | SUN Tao and YE Xin-ming |
| |
| Affiliation: | College of Computer Science,Inner Mongolia University,Hohhot 010021,China;College of Computer Science,Inner Mongolia University,Hohhot 010021,China |
| |
| Abstract: | |
| |
| Keywords: | Model verification Reduction Abstract State space explosion |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
