拉帕杜拉,A。;普格利泽,R。;蒂齐,F。 用于异步WS-BPEL流程的基于WSDL的类型系统。 (英语) Zbl 1217.68061号 形式方法系统。设计。 38,第2期,119-157(2011)。MSC公司:68号30 68甲15 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{A.Lapadula}等人,《形式方法系统》。设计。38,第2号,119--157(2011;Zbl 1217.68061) 全文: 内政部
tefénescu,Gheorghe;塔塔姆,莫妮卡 在阿加皮亚实现BPEL的整合。 (英语) Zbl 1265.68022号 București大学Mat.-Inform。 58, 49-63 (2009)。MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.ötefnescu}和\textit{M.TTrM},安大略大学București,Mat.-Inform。58、49-63(2009年;Zbl 1265.68022)