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

徐九韵; 杨放春

首页> 中文期刊> 《电子学报》 >特征交互动态检测的形式模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《电子学报》 |2005年第10期|1774-1777|共4页
作者
徐九韵; 杨放春;
展开▼
作者单位

中国石油大学(华东)计算机与通信工程学院,山东东营,257061;

北京邮电大学交换技术与通信网国家重点实验室,北京,100876;

北京邮电大学交换技术与通信网国家重点实验室,北京,100876;

展开▼
原文格式 PDF
正文语种 chi
中图分类智能网;
关键词
下一代网络; 特征交互; 动态检测; 形式模型; 消息语义;

相似文献

中文文献
外文文献
专利

1. 一种基于模型的特征交互检测方法 [J] . 左继红 ,王千祥 ,梅宏 . 软件学报 . 2007,第001期
2. Petri网在Email系统中特征交互检测的应用 [J] . 李文翔 . 安庆师范学院学报（自然科学版） . 2012,第004期
3. Email系统特征交互问题的π-演算检测 [J] . 李文翔 ,潘孝铭 . 华侨大学学报（自然科学版） . 2011,第002期
4. 基于充分性原理的特征交互检测策略 [J] . 孙立镌 ,金瑛浩 . 计算机科学 . 2010,第008期
5. 一种Web服务特征交互自动检测方法 [J] . 骆翔宇 ,谭征 ,董荣胜 . 计算机科学 . 2010,第012期
6. 利率期限结构与宏观经济关联的动态特征——基于FAVAR形式宏观-金融模型的计量分析 [C] . 金成晓 ,李雨真 . 2017年度数量经济学国际学术研讨会 . 2017
7. Web服务组合中的特征交互问题动态检测方法研究 [A] . 余文功 . 2010

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

摘要

著录项

相似文献

相关主题

期刊订阅