基于着色Petri网的Internet电话端系统业务冲突检测

摘要：

将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础.本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检测.通过CPN Tools对建立的业务模型进行仿真并分析模型状态空间,检测出端业务之间是否存在冲突.最后,用典型的业务实例验证了所提方法在Intemet电话端系统环境中的可行性和有效性.

关键词：着色Petri网、业务冲突、端系统

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

在线出版日期：2008-03-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：41-45