论文部分内容阅读
提出了一种基于Petri网分析Web服务组合可靠性的方法。探讨了可靠性数据的采集方法,通过将BPEL描述的Web服务组合流程转换为WS_RPN,根据WS_RPN的执行路径分析Web服务组合流程的可靠性。最后通过一个实例说明了该方法的可行性。
Web服务组合的可靠性分析
【摘 要】
：
提出了一种基于Petri网分析Web服务组合可靠性的方法。探讨了可靠性数据的采集方法,通过将BPEL描述的Web服务组合流程转换为WS_RPN,根据WS_RPN的执行路径分析Web服务组合流程的可靠性。最后通过一个实例说明了该方法的可行性。
【机 构】
：
北方工业大学信息工程学院,中国科学院研究生院,
【出 处】
：
系统仿真学报
【发表日期】
：
2008年S2期
其他文献
结合替换运算和面向对象技术,对复杂系统建立逐步加细的分层模型,提出一种解决分布式系统中子系统异构所带来的复杂状态空间问题的方法。该方法对对象采用替换运算,将被替换对象定义为消息输入和输出的综合库所,并对综合库所进行库所型子网替换。基于对象替换的Petri网建模方法,通过对系统层次的划分和对对象的建模,并使用库所替换运算对子系统对象和子系统内部对象进行各类子网的替换加细,因而得到的模型具有可扩展、子
会议
通过查阅相关资料，对房建工程施工中质量管理与控制的问题进行分析，主要包括房建工程管理质量制度不够完善、房建工程施工材料质量不符合规定、房建工程管理人员和施工人员的专
发送-接收(S-R)问题可以看作处理共享通道的一个有代表性的问题。考虑多用户的通信系统,通过构造不同通信用户组轮转使用双向信道的策略,给出了一个实用性较强,复用信道的Petri网模型。基于改进的模型,利用带抑制弧的增广Petri网构建了一类适合处理数据交换事务的交换网络系统模型。最后对模型进行了验证。
该机芯电路的主要结构包括了数字视频解码TVP5147、图像缩放MST9151B和CPUW78E5161B等。其中,TVP5147是一视频解码器,内部有:2×11 bit的ADC电路、2D的Y/C分离电路、数字视频
海绵城市理念是当前城市发展和优化改造的重要目标，在这一新发展理念的推动下，市政领域的工作成为贯彻的主要内容，也是最直接产生海绵效应的主要手段之一。市政给排水作为城市发
统一威胁管理设备UTM是近年来网络安全领域涌现出的一个新的综合性平台,它融合了防火墙、入侵检测、病毒扫描等安全功能。其中防火墙模块一般实现在多核网络处理器平台上,负
会议
为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。
市政工程项目由于与城市发展和民众工作、生活息息相关，一般都比较受城市居民关注，因此对其工程质量和建设标准要求较高，在市政工程施工中，混凝土施工是很关键的一步，它关系到市政
在分析应急空间系统体系结构概念与运作过程的基础上,建立了应急空间系统体系结构的赋时CPN模型,并描述了模型的组成要素;运用CPNTools的状态空间分析工具分析了应急空间系统体系结构模型的逻辑性,验证了模型的合理性;运用CPNTools对模型进行了多次仿真,依据多次仿真数据并结合gnuplot软件分析了应急空间系统体系结构的性能。