期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于CPN的服务交互行为关键属性的运行时确保机制
被引量：
3
1
作者
朱俊
郭长国
吴泉源
《电子学报》
EI
CAS
CSCD
北大核心
2011年第5期1064-1071,共8页
为了保证服务交互行为与其定义的关键属性相一致,本文提出了一种基于有色Petri网模型的运行时确保机制,从而提高服务组合运行的可靠性.文章首先介绍了服务交互行为CPN模型,用于精确刻画服务交互行为及其重要属性.结合服务实例,进一步对...
为了保证服务交互行为与其定义的关键属性相一致,本文提出了一种基于有色Petri网模型的运行时确保机制,从而提高服务组合运行的可靠性.文章首先介绍了服务交互行为CPN模型,用于精确刻画服务交互行为及其重要属性.结合服务实例,进一步对模型可达集和关键监控属性展开深入分析.在可达集的基础上,描述将模型运用于运行时监控的方式确保服务交互行为的关键属性.同时,本文从并行化执行流程和交互行为检测算法两方面介绍了服务交互行为的运行时监控机制.最后,评测结果表明这种运行时确保机制在性能、检测效率等方面都具有良好的表现.
展开更多
关键词
运行时确保
服务交互行为
关键属性
有色PETRI网
在线阅读
下载PDF
职称材料
基于Petri网的Web服务交互行为一致性检测方法
被引量：
2
2
作者
朱俊
郭长国
吴泉源
《计算机工程与科学》
CSCD
北大核心
2013年第1期24-29,共6页
在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个...
在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个Web服务交互行为的运行时监控框架,从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后,对一致性检测方法的负载和性能进行了充分的评估。
展开更多
关键词
WEB
服务
一致性检测
服务交互行为
PETRI网
运行时监控
在线阅读
下载PDF
职称材料
题名
基于CPN的服务交互行为关键属性的运行时确保机制
被引量：
3
1
作者
朱俊
郭长国
吴泉源
机构
国防科技大学计算机学院
中国电子设备系统工程公司
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第5期1064-1071,共8页
基金
国家自然科学基金(No.90818028)
国家863高技术研究发展计划(No.2007AA010301)
"核高基"重大专项(No.2009ZX01043-002-004)
文摘
为了保证服务交互行为与其定义的关键属性相一致,本文提出了一种基于有色Petri网模型的运行时确保机制,从而提高服务组合运行的可靠性.文章首先介绍了服务交互行为CPN模型,用于精确刻画服务交互行为及其重要属性.结合服务实例,进一步对模型可达集和关键监控属性展开深入分析.在可达集的基础上,描述将模型运用于运行时监控的方式确保服务交互行为的关键属性.同时,本文从并行化执行流程和交互行为检测算法两方面介绍了服务交互行为的运行时监控机制.最后,评测结果表明这种运行时确保机制在性能、检测效率等方面都具有良好的表现.
关键词
运行时确保
服务交互行为
关键属性
有色PETRI网
Keywords
runtime assurance
service interactive behaviors
critical property
colored Petri nets
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于Petri网的Web服务交互行为一致性检测方法
被引量：
2
2
作者
朱俊
郭长国
吴泉源
机构
国防科学技术大学计算机学院
中国电子设备系统工程公司
出处
《计算机工程与科学》
CSCD
北大核心
2013年第1期24-29,共6页
基金
国家自然科学基金资助项目(90818028)
国家863计划资助项目(2007AA010301)
"核高基"重大专项资助项目(2009ZX01043-002-004)
文摘
在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个Web服务交互行为的运行时监控框架,从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后,对一致性检测方法的负载和性能进行了充分的评估。
关键词
WEB
服务
一致性检测
服务交互行为
PETRI网
运行时监控
Keywords
Web service
conformance check
interaction behaviors
Petri nets
runtime monitoring
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于CPN的服务交互行为关键属性的运行时确保机制
朱俊
郭长国
吴泉源
《电子学报》
EI
CAS
CSCD
北大核心
2011
3
在线阅读
下载PDF
职称材料
2
基于Petri网的Web服务交互行为一致性检测方法
朱俊
郭长国
吴泉源
《计算机工程与科学》
CSCD
北大核心
2013
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
