×

PiDuce-一个试验web服务技术的项目。 (英语) Zbl 1194.68077号

概要:PiDuce项目包括一种编程语言和一个分布式运行时环境,该环境旨在通过依赖有关过程计算的坚实理论和XML文档和模式的形式语言来试验Web服务技术。该语言的特点是使用通道扩展XML文档和模式的值和数据类型、具有子类型的表达型系统、用于解构XML值的模式匹配机制,以及基于Milner异步pi演算的控制结构。运行时环境通过依赖最先进的技术(如XML模式和WSDL)支持通过网络执行PiDuce流程,从而实现与现有Web服务的互操作性。我们详细描述了PiDuce项目:编程语言及其语义、分布式运行时的体系结构及其实现。

MSC公司:

68英里11 互联网主题
68甲15 编程语言理论
68第05页 数据结构
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abiteboul,S。;O.Benjelloun。;马诺莱斯库,I。;Milo,T。;Weber,R.:主动XML:对等数据和web服务集成,1087-1090(2002)
[2] 阿齐艾,L。;Boreale,M.:Xpi:XML消息传递的类型化过程演算,计算机科学讲义3535,47-66(2005)·Zbl 1146.68050号
[3] 阿马迪奥·R·M。;Cardelli,L.:子类型递归类型,编程语言和系统上的ACM事务15,第4期,575-631(1993)
[4] T.Andrews,F.Curbera,H.Dholakia,Y.Goland,J.Klein,F.Leymann,K.Liu,D.Roller,D.Smith,S.Thatte,I.Trickovic,S.Weerawarana,web服务的业务流程执行语言,2003年。网址:http://www-128.ibm.com/developerworks/library/specification/ws-bpel/
[5] Benzaken,V。;卡斯塔尼亚,G。;Frisch,A.:Cduce:一种以XML为中心的通用语言,51-63(2003)·Zbl 1315.68046号
[6] 巴加万,K。;Fournet,C。;A.戈登。;Pucella,R.:Tulafale:web服务的安全工具,Lncs 3188197-222(2004)·Zbl 1104.68306号 ·数字对象标识代码:10.1007/b100112
[7] ,Xquery 1.0:一种XML查询语言,W3C候选推荐(2006)
[8] 勃兰特,M。;Henglein,F.:递归类型等式和子类型的共同公理化,计算机科学讲义1210,63-81(1997年4月)·Zbl 1063.03510号
[9] A.布朗。;Laneve,C。;Meredith,L.:《Piduce:A process calculation with native XML datatypes》,Lncs(2005)
[10] Cardelli,L。;Gordon,A.D.:移动环境,理论计算机科学240,第1期,177-213(2000)·Zbl 0954.68108号 ·doi:10.1016/S0304-3975(99)00231-5
[11] Carpineti,S。;Laneve,C.:web服务的基本契约语言,Lncs 3924197-213(2006)·Zbl 1178.68122号 ·doi:10.1007/11693024
[12] Carpineti,S。;Laneve,C。;Milazzo,P.:Bopi——一种用于试验web服务技术的分布式机器,202-211(2005)
[13] 卡斯塔尼亚,G。;德尼古拉,R。;Varacca,D.:({\pi})演算的语义子类型,(2005)·Zbl 1146.68052号
[14] J.Clark和S.DeRose(编辑),XML路径语言(XPath)1.0版,W3C推荐标准,1999年11月。网址:http://www.w3c.org/TR/xpath/
[15] H.Comon、M.Dauchet、R.Gilleron、F.Jacquemard、D.Lugiez、S.Tison、M.Tommasi,《树自动机技术和应用》。网址:http://www.grappa.univ-lille3.fr/tata网站1997年10月1日发布
[16] Conchon,S。;Fessant,F.L.:Jocaml:objective-caml的移动代理,22-29(1999年10月)
[17] Fournet,C。;Gonthier,G.:异步计算的等价层次,Lncs 1443,844-855(1998)·Zbl 0909.03030号
[18] Fournet,C。;莱维,J.-J。;Schmitt,A.:移动环境的异步分布式实现,计算机科学讲义,348-364(2000)·Zbl 0998.68537号
[19] A.Frisch,L.Cardelli,贪婪正则表达式匹配,收录于:ICALP:自动化年度国际学术讨论会,语言与编程,2004年·Zbl 1099.68769号
[20] 加德纳,P。;Laneve,C。;Wischik,L.:线性货运代理,信息与计算205,第10期,1526-1550(2007)·兹比尔1129.68047 ·doi:10.1016/j.ic.2007.01.006
[21] 加德纳,P。;Maffeis,S.:《动态网络数据建模》,《理论计算机科学》342104-131(2005)·Zbl 1077.68004号 ·doi:10.1016/j.tcs.2005.06.006
[22] 贾卡隆,A。;米什拉,P。;Prasad,S.:《Facile:并发编程和函数编程的对称集成》,《国际并行编程杂志》18,第2期,121-160(1989)·Zbl 0765.68109号
[23] Hosoya,H。;Pierce,B.C.:Xduce:一种静态类型的XML处理语言,ACM transactions on Internet technology(TOIT)3,第2期,117-148(2003)
[24] Hosoya,H。;Vouillon,J。;Pierce,B.C.:XML的正则表达式类型,编程语言和系统上的ACM事务27,第1期,46-90(2005)·兹比尔1321.68197
[25] Laneve,C。;Zavataro,G.:《网络交易基础》,Lncs 3441,282-298(2005)·Zbl 1118.68335号 ·doi:10.1007/b106850
[26] Microsoft Corporation,Biztalk服务器。http://www.microsoft.com/biztalk/
[27] W3C XML模式工作组,XML模式第0部分:初级第二版。网址:http://www.w3.org/TR/2004/REC-xmlschema-0-20041028/。W3C建议-2004年10月28日
[28] W3C XML模式工作组,XML模式第2部分:数据类型第二版。网址:http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/datatypes.html。W3C建议-2004年10月28日
[29] W3C XML模式工作组,XML模式第1部分:结构第二版。网址:http://www.w3.org/TR/2004/REC-xmlschema-1-20041028/structures.html。W3C建议-2004年10月28日
[30] Web服务寻址工作组,Web服务寻址(ws-Addressing)。网址:http://www.w3.org/Submission/2004/SUBM-ws-addressing-20040810/2004年8月10日
[31] Web服务描述工作组,Web服务描述语言(WSDL)1.1)。网址:http://www.w3.org/TR/2001/NOTE-wsdl-20010315。W3C注2001年3月15日
[32] Web服务描述工作组,Web服务描述语言(WSDL)2.0版第0部分:初级。网址:http://www.w3.org/TR/2005/WD-wsdl20-primer-20050803/。W3C工作草案2005年8月3日
[33] Web服务描述工作组,Web服务描述语言(WSDL)2.0版第1部分:核心语言。网址:http://www.w3.org/TR/2005/WD-wsdl20-20050803/。W3C工作草案2005年8月3日
[34] 米尔纳,R。;鹦鹉,J。;Walker,D.:《移动过程演算》,第I/II部分,《信息与计算杂志》100,1-77(1992)·Zbl 0752.68037号 ·doi:10.1016/0890-5401(92)90009-5
[35] 菲利普斯,A。;吉田,N。;Eisenbach,S.:用于装箱环境计算的分布式抽象机,Lncs,155-170(2004年4月)·Zbl 1126.68507号 ·数字对象标识代码:10.1007/b96702
[36] 皮尔斯,公元前。;Sangiorgi,D.:移动进程的类型和子类型,(1993)·Zbl 0861.68030号
[37] 苏厄尔,P。;Wojciechowski,P。;Pierce,B.:移动代理的位置独立性,计算机科学讲义1686,1-31(1999)
[38] Thatte,S.:XLANG:业务流程设计的web服务,(2001)
[39] Vansummeren,S.:唯一模式匹配的类型推断,编程语言和系统上的ACM事务28,第3期,389-428(2006)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。