| 刘靖,叶新铭,周建涛.复杂网络软件的着色Petri网层次建模及模型集成确认方法[J].高技术通讯(中文),2013,23(11):1139~1147 |
| 复杂网络软件的着色Petri网层次建模及模型集成确认方法 |
|
| |
| DOI： |
| 中文关键词: 着色Petri网（CP net），网络软件，模型确认，并发控制，模型检验 |
| 英文关键词: |
| 基金项目: |
| 作者 | 单位 | | 刘靖 | 内蒙古大学计算机学院呼和浩特 | | 叶新铭 | 内蒙古大学计算机学院呼和浩特 | | 周建涛 | 内蒙古大学计算机学院呼和浩特 |
|
| 摘要点击次数: 2917 |
| 全文下载次数: 2301 |
| 中文摘要: |
| 为准确描述复杂网络软件多交互、高并发等行为特征，以提高复杂网络软件设计质量和效率，提出了一种基于着色Petri网(CP net)的复杂网络软件层次化建模及模型集成确认方法。给出了复杂数据抽象、并发行为控制、同类实体建模等层次建模关键技术，以及功能单元覆盖划分、模型等价抽象等模型集成确认关键技术的解决方案，并以典型网络软件系统为例分析了上述方法的可用性和有效性。从目前鲜有对特定形式模型论述模型正确性确认方法的现状看，这种融合多种CP net模型分析技术的模型集成确认方法能够有效确保层次模型正确描述网络软件多交互、高并发的复杂功能行为，为软件验证、一致性测试等重要软件分析过程的高效实施提供描述准确且规模可控的基础形式模型。 |
| 英文摘要: |
| |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
