10.3969/j.issn.1002-137X.2007.12.011
基于着色Petri网的Internet电话端系统业务冲突检测
将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础.本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检测.通过CPN Tools对建立的业务模型进行仿真并分析模型状态空间,检测出端业务之间是否存在冲突.最后,用典型的业务实例验证了所提方法在Intemet电话端系统环境中的可行性和有效性.
着色Petri网、业务冲突、端系统
34
TP3(计算技术、计算机技术)
2008-03-17(万方平台首次上网日期,不代表论文的发表时间)
共5页
41-45