伊斯梅尔·罗德里格斯;格雷戈里奥·迪亚斯;巴勃罗·拉巴纳尔;何塞·安东尼奥·马特奥 一种集中式和分散式方法,用于自动派生符合编排的web服务系统。 (英语) Zbl 1236.68052号 J.日志。阿尔盖布。程序。 81,第2期,127-159(2012).MSC公司:68N99型 68英里11 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}等人,J.Log。阿尔盖布。程序。81,No.2,127--159(2012;Zbl 1236.68052) 全文: 内政部
米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;瓦伦蒂安·瓦莱罗;恩里克·马丁内斯 使用时间自动机验证web服务编排。 (英语) Zbl 1207.68082号 J.日志。阿尔盖布。程序。 80,编号1,25-49(2011).MSC公司:68英里11 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Cambronero}等人,J.Log。阿尔盖布。程序。80、第1号、第25-49号(2011;Zbl 1207.68082) 全文: 内政部
瓦伦蒂安·瓦莱罗;格雷戈里奥·迪亚斯;玛丽亚·艾米利亚·坎布罗内罗;赫梅内吉尔达·马西阿 具有时间限制的WS-CDL子集的阻塞操作语义。 (英语) Zbl 1183.68077号 J.日志。阿尔盖布。程序。 78,第8期,730-748(2009).MSC公司:68英里11 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人,J.Log。阿尔盖布。程序。78,第8号,730--748(2009;Zbl 1183.68077) 全文: 内政部
瓦伦蒂安·瓦莱罗;米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;赫梅内吉尔达·马西阿 用于设计和分析web服务编排的Petri网方法。 (英语) Zbl 1188.68205号 J.日志。阿尔盖布。程序。 78,第5号,359-380(2009).MSC公司:68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人,J.Log。阿尔盖布。程序。78,第5号,359--380(2009;Zbl 1188.68205) 全文: 内政部