特征交互动态检测的形式模型

• 作者: 徐九韵 杨放春
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 下一代网络 特征交互 动态检测 形式模型 消息语义
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 1774-1777
• 页数: 4页
• 分类号: TN915.5
• 字数: 5937字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2005.10.010

摘要

本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型.首先,业务逻辑实例和网络实体被认为交互消息集合的子序列,从业务逻辑实例与外部实体交互消息的语法和语义不同角度出发,分别对不确定性、特征违反类和活锁类等不同类型的特征交互给出具体的动态检测形式模型.并在此基础上进一步讨论:在特性违反类特征交互的动态检测中,若直接使用消息序列检测特征交互将是不充分的,本文在最后给出一种简单的特性违反类特征交互动态检测时的补救方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨放春	北京邮电大学交换技术与通信网国家重点实验室	164	2056	21.0	39.0