会议论文《基于UML和扩展的类型pi演算的BPEL相容性的检测与适配》提出了一种结合UML建模与扩展类型pi演算的方法，用于检测和适配BPEL流程之间的相容性。该研究旨在解决服务组合中不同BPEL流程间的互操作性问题，通过形式化方法提高服务集成的可靠性与正确性。
文档为pdf格式，0.76MB，总共8页。
举报
