科西莫·拉内夫;卢卡·帕多瓦尼 web服务契约的代数理论。 （英语） Zbl 1338.68016号 正式Asp。计算。 27，第4期，613-640（2015）.MSC公司：68英里11 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}和\textit{L.Padovani}，正式Asp。计算。27，第4号，613--640（2015；Zbl 1338.68016） 全文： 内政部 哈尔
乔斯琳·西蒙兹;肖姆·本·达维德;玛莎·契契克 web服务应用程序的监视和恢复。 （英语） Zbl 1314.68037号 计算 95，第3期，223-267（2013）.MSC公司：68英里11 68问题85 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Simmonds}等人，Computing 95，No.3，223--267（2013；Zbl 1314.68037） 全文： 内政部
乔纳森·米乔克斯;伊利·纳伊姆;亚历山德罗·范特奇 用于安全web服务编排的会话类型。 （英语） 兹比尔1283.68065 J.日志。阿尔盖布。程序。 82，第8期，282-310（2013）.MSC公司：68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaux}等人，J.Log。阿尔盖布。程序。82，第8号，282--310（2013；Zbl 1283.68065） 全文： 内政部
宋亮（Song，Liang）;王建民;文，李杰;孔慧 使用LTL公式和展开进行高效的基于语义的符合性检查。 （英语） Zbl 1311.68089号 J.应用。数学。 2013年，文章ID 962765，24 p.（2013）.MSC公司：60年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{L.Song}等人，J.Appl。数学。2013年，文章ID 962765，24 p.（2013；Zbl 1311.68089） 全文： 内政部
何塞·费亚德罗;安托尼亚州洛佩斯;乔昂·阿布鲁 面向服务的交互的正式模型。 （英语） Zbl 1243.68138号 科学。计算。程序。 77，第5期，577-608（2012）.MSC公司：68甲15 68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人，科学。计算。程序。77，第5号，577--608（2012；Zbl 1243.68138） 全文： 内政部
拉帕杜拉，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） 全文： 内政部
安东尼奥·布罗吉 利用行为信息进行基于契约的服务发现和组合的潜在优势。 （英语） Zbl 1209.68133号 J.日志。阿尔盖布。程序。 80，第1期，3-12（2011）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brogi}，J.Log。阿尔盖布。程序。80，第1号，第3-12号（2011；Zbl 1209.68133） 全文： 内政部
曼纽尔·诺格拉;玛丽亚·V·赫尔塔多。;玛丽亚·路易莎·罗德里格斯;劳伦斯·钟;何塞·路易斯·加里多 使用OWL-DL和CPN对基于UML的协作过程进行本体驱动分析。 （英语） Zbl 1195.68111号 科学。计算。程序。 75，第8期，726-760（2010）.MSC公司：68岁20岁 68英里11 68问题85 68层35 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Noguera}等人，科学。计算。程序。75，第8号，726--760（2010；Zbl 1195.68111） 全文： 内政部
雅塞克·斯罗卡;希德斯，简;米西耶，保罗;卡罗尔·戈布尔 Taverna 2工作流模型的正式语义。 （英语） Zbl 1214.68208号 J.计算。系统。科学。 76，第6号，490-508（2010）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Sroka}等人，J.Compute。系统。科学。76，第6号，490--508（2010；Zbl 1214.68208） 全文： 内政部
安妮·布伊拉德;西德尼·罗萨里奥;阿尔伯特·本文尼斯特;斯特凡·哈尔 服务编排中的单调性。 （英语） 兹比尔1242.68009 Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，巴黎，法国，2009年6月22-26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。计算机科学课堂讲稿5606263-282（2009）。MSC公司：68英里11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouillard}等人，莱克特。注释计算。科学。5606263--282（2009年；Zbl 1242.68009） 全文： 内政部
菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 通过网络的行为等效实现web服务的组合规范：案例研究。 （英语） Zbl 1143.68474号 van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿506252-71（2008）。MSC公司：68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，Lect。注释计算。科学。5062、52--71（2008年；Zbl 1143.68474） 全文： 内政部 链接
何塞·路易斯·费亚代罗 肉煮过头了，语义有什么关系？ （英语） 兹比尔1143.68444 Degano，Pierpaolo（编辑）等人，《并发性、图表和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065563-580（2008）。MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}，莱克特。注释计算。科学。5065563--580（2008年；Zbl 1143.68444） 全文： 内政部 链接