论文部分内容阅读
摘要:Web服务组合技术作为实现面向服务体系结构的一项重要技术,已成为当今学术界和工业界共同重视的研究内容之一。基于商业流程的工业化的描述方法BPEL4wS缺乏形式化语义而无法验证描述的正确性。基于此,分析软件体系结构描述语言YXZ/ADL设计元素和BPEL4WS元素之间的语义相似性,建立XYZ/ADL至BPEL4ws的映射规则,从侧面验证BPEL4ws的正确性。
全文查看链接