论文部分内容阅读
该文首先提出了基于Petri网的Web服务组合建模方法,对服务组合进行形式化建模,然后采用可达树作为分析工具,对服务组合模型的可达性,活性,有界性等特性进行验证分析。最后通过一个具体的实例说明此方法的应用。
基于Petri网的Web服务组合建模与验证
【摘 要】
：
该文首先提出了基于Petri网的Web服务组合建模方法,对服务组合进行形式化建模,然后采用可达树作为分析工具,对服务组合模型的可达性,活性,有界性等特性进行验证分析。最后通
【机 构】
：
南京财经大学信息工程学院,
【出 处】
：
电脑知识与技术
【发表日期】
：
2014年15期
其他文献
作为象征自由的一种街头文化,涂鸦与街舞、DJ、Rap(嘻哈乐)等一起,逐渐成为广受青少年追逐的时尚文化。而今,涂鸦也作为一种时尚艺术在现代服装中蔓延,作为一种文化符号,涂鸦
本文以我国当前普遍存在的中小企业融资难问题作为主要研究对象,从整体上分析了这一问题出现的历史和现实原因,以及该问题目前的状况和可能的解决方法。进而转至商业银行的视
科学、高效地开展运营筹备工作,对于确保西安地铁首条线按期开通试运营具有重要意义。西安地铁运营筹备工作谋划早、启动早,在实践中有所创新。介绍了西安地铁运营的总体筹备
结构模式不仅属于技巧范畴,它也被认为是一种有"意味的形式"。《红楼梦》的构思是由"空"、"色"和"情"形成的多维立体世界,绾合文献、文本、文化等多重结构模式,是曹雪芹生命
现代高技术局部战争卫勤保障中,战伤一线救治新理论和新技术正在实战中研究和应用,并呈现出突出和明确的发展趋势。战伤一线救治新理论主要包括聚焦后勤与全谱卫勤、一体化卫
运用Eviews 5.0软件分别对1978~2005年广东省GDP、第二产业和第三产业的增加值进行逻辑曲线回归,利用2005年全国31个省市的统计资料为样本数据,拟合三次产业的结构模型。对未
在变电站的运行过程中,母线的差动保护尤为重要,一次误动都会使一条母线失电,造成变电站停电,对电网稳定运行带来了隐患。本文针对某220kV线路的一次故障使得一条母线停电的
目的观察丹蒌片对经皮冠状动脉介入(PCI)术后心脏康复病人生活质量的影响。方法采用随机、对照方法,选取北京市第一中西医结合医院就诊的冠心病PCI术后且中医辨证为痰瘀互结