×

皮杜克

swMATH ID: 1418
软件作者： 卡皮内蒂，萨缪尔；科西莫·拉内夫；卢卡·帕多瓦尼
描述： PiDuce-一个试验web服务技术的项目PiDuce项目包括一种编程语言和一个分布式运行时环境，该环境旨在通过依赖有关流程计算的坚实理论和XML文档和模式的形式语言来试验Web服务技术。该语言的特点是使用通道扩展XML文档和模式的值和数据类型、具有子类型的表达型系统、用于解构XML值的模式匹配机制，以及基于Milner异步pi演算的控制结构。运行时环境通过依赖最先进的技术（如XML模式和WSDL）支持通过网络执行PiDuce流程，从而实现与现有Web服务的互操作性。我们详细描述了PiDuce项目：编程语言及其语义、分布式运行时的体系结构及其实现
主页： 网址：http://www.cs.unibo.it/~laneve/PiDuce/
关键词： Pi演算;XML架构;类型系统;子模式关系;WSDL文件;web服务
相关软件： XPi公司;X减少;奶牛;XPath（XPath）;管道;CDuce公司;科莱姆;乔坎尔;CC-Pi公司;BPEL2oWFN型;灵活;皮克特;Coq公司;甲骨文公司;朱莉;帕戈达;洛拉;泰皮卡尔;LTSA-WS公司;BPEL2PN公司
引用于： 18文件

标准文章

1出版物描述软件，包括1出版物以zbMATH为单位 年份
PiDuce-一个试验web服务技术的项目。 Zbl 1194.68077号
萨穆埃勒，卡皮涅蒂;科西莫·拉内夫;卢卡·帕多瓦尼
2009
全部的 前5名

25位作者引用

5 科西莫·拉内夫
三 萨穆埃勒，卡皮涅蒂
三 卢卡·帕多瓦尼
2 露西娅·阿西艾
2 米歇尔·博雷尔
2 菲利普·安·加德纳
2 丹尼尔·戈拉
2 丹尼尔·赫希科夫
2 Jean-Marie，马迪奥
2 罗萨里奥·普格利泽
2 弗朗西斯科·蒂埃齐
1 朱塞佩·卡斯塔尼亚
1 达尔·齐利奥，西尔瓦诺
1 洛科·德尼古拉
1 亚历山德罗·拉帕杜拉
1 马，秦
1 塞尔吉奥·马菲斯
1 吕克·马兰吉特
1 大卫·普兰迪
1 普里阿米，科拉多
1 保拉·夸里亚
1 丹尼尔·瓦拉卡
1 卢西安·维希克
1 Xian、Xu
1 徐，西安
全部的 前5名

9篇连载文章中引用

2 计算机程序设计科学
2 信息与计算
2 逻辑与代数程序设计杂志
2 程序设计中的逻辑与代数方法杂志
1 理论计算机科学
1 计算的形式方面
1 MSCS公司。计算机科学中的数学结构
1 系统设计中的形式化方法
1 计算机科学中的逻辑方法

在1个字段中引用

18 计算机科学（68至XX）

按年份列出的引文