×

PiDuce

swMATH ID: 1418
Software Authors: Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
Description: PiDuce- A project for experimenting web services technologies The PiDuce project comprises a programming language and a distributed runtime environment devised for experimenting Web services technologies by relying on solid theories about process calculi and formal languages for XML documents and schemas.The language features values and datatypes that extend XML documents and schemas with channels, an expressive type system with subtyping, a pattern matching mechanism for deconstructing XML values, and control constructs that are based on Milner’s asynchronous pi calculus. The runtime environment supports the execution of PiDuce processes over networks by relying on state-of-the-art technologies, such as XML schema and WSDL, thus enabling interoperability with existing Web services.We thoroughly describe the PiDuce project: the programming language and its semantics, the architecture of the distributed runtime and its implementation
Homepage: http://www.cs.unibo.it/~laneve/PiDuce/
Keywords: pi calculus; XML schema; type system; subschema relation; WSDL; web services
Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; KLAIM; JoCaml; CC-Pi; BPEL2oWFN; Facile; Pict; Coq; Oracle; Jolie; PAGODA; LoLA; TyPiCal; LTSA-WS; BPEL2PN
Cited in: 18 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
PiDuce- A project for experimenting web services technologies. Zbl 1194.68077
Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
2009
all top 5

Cited by 25 Authors

5 Laneve, Cosimo
3 Carpineti, Samuele
3 Padovani, Luca
2 Acciai, Lucia
2 Boreale, Michele
2 Gardner, Philippa Anne
2 Gorla, Daniele
2 Hirschkoff, Daniel
2 Madiot, Jean-Marie
2 Pugliese, Rosario
2 Tiezzi, Francesco
1 Castagna, Giuseppe
1 Dal Zilio, Silvano
1 De Nicola, Rocco
1 Lapadula, Alessandro
1 Ma, Qin
1 Maffeis, Sergio
1 Maranget, Luc
1 Prandi, Davide
1 Priami, Corrado
1 Quaglia, Paola
1 Varacca, Daniele
1 Wischik, Lucian
1 Xian, Xu
1 Xu, Xian
all top 5

Cited in 9 Serials

2 Science of Computer Programming
2 Information and Computation
2 The Journal of Logic and Algebraic Programming
2 Journal of Logical and Algebraic Methods in Programming
1 Theoretical Computer Science
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Formal Methods in System Design
1 Logical Methods in Computer Science

Cited in 1 Field

18 Computer science (68-XX)

Citations by Year