Web服务的颜色Petri网模型及验证

来源 :计算机应用与软件 | 被引量 : 6次 | 上传用户:hellobaby54088
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程。该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性。
其他文献
在ArcGIS的网络应用环境中,地图要素的空间数据和渲染数据是分开存储的,空间数据存储在地理空间数据库中,而渲染数据以文件形式存储。因此在多客户端展示相同的ArcGIS空间数据时,将产生空间数据渲染不一致的问题。通过对ArcGIS要素渲染数据的分析,将渲染数据分解后转换为可与空间数据共同存储的数据,实现了渲染数据与空间数据的共同存储和使用,解决了在多客户端访问同一ArcGIS数据时渲染方式不一致的
采用B3LYP/6—31++g**方法研究(H20)6缔合体的优势构型和稳定性。结果表明:(H2O)6缔合体优势构型多呈三维立体结构,最稳定的是环状;氢键的空间分布对缔合体的稳定性起决定性作用,零点能起
装备保障信息系统是一个复杂的信息管理系统,业务覆盖面广,信息种类多,建立一个完善的装备保障信息系统需要多部门联合、多个开发团队共同完成;为了避免传统的WEB开发方式在
多目标柔性车间作业调度通常将多个目标进行无量纲处理,加权转换成单一目标函数用于解的优化筛选,但权重选择难免存在一定的随意和偏好,影响调度效果。针对这一问题,提出单目标决策下的多目标调度解决方案,从多个目标中选择一个重要的目标作为决策目标,其他目标作为算法搜索的导向目标。其中对遗传算法变异算子进行改造,将随机性变异转换成目标诱导性变异。实例仿真结果表明了算法的有效性和可行性。
从会计职业道德的基本特点出发,探讨了会计职业道德建设的途径。
建设区域性医疗卫生信息系统是我国卫生信息化建设的第三阶段,是实现预防保健、医疗服务和卫生管理为一体化的信息化应用系统。着重探讨如何基于VPN技术,较好地实现软硬件资源的共享及数据传输的安全,同时借助VPN技术,打造"共享协同"的医疗服务模式,实现区域性卫生信息系统资源共享。
运用Nastran有限元仿真软件对预应力片簧式结构开关进行了动力学仿真研究,在有限元模型的正确性得到验证的基础上,进行了预应力下片簧的模态分析、随机振动分析及瞬态响应分