排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
4.
Web服务是近年来提出的一种新的面向服务的体系结构,主要用来开发基于Internet环境下的应用,是一个应用集成理想方案。基于Web服务的EAI结构不同于传统的EAI结构,实现了应用之间的松耦合、平台无关、语言无关和互操作性。首先探讨了3种传统的EAI结构的优缺点,然后介绍了Web服务模型、主要技术和协议栈,最后提出一种基于Web服务的企业应用集成体系结构。 相似文献
5.
随着水利信息化的发展,如何实现不断增加的异构系统的应用集成成为一个新的研究课题。而使用基于模型驱动架构MDA的Web服务组合技术,能够更好地实现水利领域的应用集成。按照MDA方法,给出了使用Petri网来建立Web服务组合的模式,以及组合模型正确性验证的方法,并提出了将Petri网模型影射到可执行的BPEL4WS的方法。通过一个实例,说明了基于MDA的Web服务组合技术在水利领域应用集成中的作用。最后进行了总结,指出了下一步工作。 相似文献
6.
7.
通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网.使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证.提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法.最后,进行了总结,并提出了下一步的工作. 相似文献
8.
语义Web服务组合的形式化描述与验证研究 总被引:1,自引:0,他引:1
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模. 相似文献
1