[TYPES/announce] ANN: PiDuce Language

[Luca Padovani]

We are pleased to announce the availability of the PiDuce programming
language and its runtime environment. PiDuce is a concurrent,
distributed language intended for experimenting emerging Web Services
technologies. PiDuce can be used as a target language for compilers
and processors of business languages such as BizTalk and BPel.

It is a general guideline for the development of PiDuce to make
extensive use of standard technologies for Web Services: PiDuce relies
on the eXtensible Markup Language (XML) for data communication, it
describes documents and patterns using XML Schema, it imports and
exports Web Services using the Web Service Description Language
(WSDL), and it supports the SOAP-over-HTTP method for physical
communication.

Underneath this technological cover, PiDuce builds on solid
theoretical foundations: it integrates the communication primitives of
the Pi calculus, the synchronization patterns of the Join calculus,
and an expressive type system that extends XML datatypes with
first-class channels and that retains a notion of subtyping. PiDuce is
a type-safe language: well-typed process cannot fail.

PiDuce has been developed in C# (version 2.0) and can run on Windows,
MacOS, Linux and all the other operating systems supporting the free
Mono implementation of the .NET framework.

Further information, papers, the source code of the PiDuce compiler
and runtime environment, as well as some examples of PiDuce programs
accessing real-world Web services, can be found at

	http://www.cs.unibo.it/PiDuce/

We will be glad to receive comments and feedback about PiDuce.

--
Samuele Carpineti, Cosimo Laneve, Leonardo Mezzina
Department of Computer Science, University of Bologna.

Luca Padovani
Information Science and Technology Institute, University of Urbino.