首页> 中文期刊> 《苏州大学学报（工科版）》 >基于有色Petri网的Web服务组合建模与分析

基于有色Petri网的Web服务组合建模与分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的.

著录项

来源
《苏州大学学报（工科版）》 |2010年第4期|14-19|共6页
作者
张侃; 朱稷涵; 张广泉;
展开▼
作者单位

苏州大学计算机科学与技术学院,江苏,苏州,215006;

苏州大学计算机科学与技术学院,江苏,苏州,215006;

苏州大学计算机科学与技术学院,江苏,苏州,215006;

中国科学院软件研究所计算机科学国家重点实验室,北京,100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
有色Petri网; Web服务组合; 建模; 可达性分析;

相似文献

中文文献
外文文献
专利

1. 基于有色Petri网的1553B总线建模及分析 [J] . 陈剑 ,宋恩民 . 计算机测量与控制 . 2014,第001期
2. 基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析 [J] . 张友兵 ,唐涛 . 铁道学报 . 2012,第007期
3. 基于层次实时有色Petri网的实时系统建模与分析方法研究 [J] . 刘铭 ,张国印 ,姚爱红 . 电子与信息学报 . 2011,第003期
4. 基于有色Petri网的TII协议建模与分析 [J] . 周岳斌 ,刘桂雄 . 华南理工大学学报（自然科学版） . 2010,第012期
5. 基于有色Petri网的SPIN协议建模与分析 [J] . 宁亮 ,张志鸿 . 计算机工程与设计 . 2007,第014期
6. 基于有色Petri网的DNP3-SA协议形式化建模与分析 [C] . WANG Run ,汪润 ,ZHAO Lei . 第九届信息安全漏洞分析与风险评估大会（VARA2016） . 2016
7. 基于有色Petri网的语义Web服务组合的验证与测试方法 [A] . 苏萌 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号