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

计算机科学 ›› 2007, Vol. 34 ›› Issue (12): 41-45.

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

郝扬古天龙

桂林电子科技大学计算机与控制学院,桂林541004

出版日期:2018-11-16 发布日期:2018-11-16

HAO Yang GU Tian-Long （School of Computer and Control Engineering, Guilin University of Electronic Technology, Guilin 541004）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

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

Abstract: Using the transformation from the LESS scripts of end system services to the models of colored Petri nets, feature interaction in Internet telephony end systems is detected by formal methods. Based on the characters of decision-tree nodes and the definiti

Key words: Colored petri nets, Feature interaction, End systems

郝扬古天龙. 基于着色Petri网的Internet电话端系统业务冲突检测[J]. 计算机科学, 2007, 34(12): 41-45. https://doi.org/

HAO Yang GU Tian-Long （School of Computer and Control Engineering, Guilin University of Electronic Technology, Guilin 541004）. [J]. Computer Science, 2007, 34(12): 41-45. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed