PiDuce - A project for experimenting Web services technologies

Authors:
Samuele Carpineti;Cosimo Laneve;Luca Padovani
Affiliations:
University of Bologna, Department of Computer Science, Mura Anteo Zamboni, 7, 40127 Bologna, Italy;University of Bologna, Department of Computer Science, Mura Anteo Zamboni, 7, 40127 Bologna, Italy;University of Urbino, Information Science and Technology Institute, Piazza della Repubblica, 13, 61029 Urbino, Italy
Venue:
Science of Computer Programming
Year:
2009

Citing 18
Cited 3

Facile: a symmetric integration of concurrent and functional programming

International Journal of Parallel Programming
Subtyping recursive types

ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus of mobile processes, II

Information and Computation
Mobile ambients

Theoretical Computer Science
Coinductive Axiomatization of Recursive Type Equality and Subtyping

TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
A Hierarchy of Equivalences for Asynchronous Calculi

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
XDuce: A statically typed XML processing language

ACM Transactions on Internet Technology (TOIT)
Jocaml: Mobile Agents for Objective-Caml

ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
CDuce: an XML-centric general-purpose language

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Regular expression types for XML

ACM Transactions on Programming Languages and Systems (TOPLAS)
BoPi " A Distributed Machine for Experimenting Web Services Technologies

ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Semantic Subtyping for the p-Calculus

LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Type inference for unique pattern matching

ACM Transactions on Programming Languages and Systems (TOPLAS)
Modelling dynamic web data

Theoretical Computer Science - Applied semantics: Selected topics
Active XML: peer-to-peer data and web services integration

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Linear forwarders

Information and Computation
XPi: a typed process calculus for XML messaging

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Foundations of web transactions

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures

A WSDL-based type system for asynchronous WS-BPEL processes

Formal Methods in System Design
Using formal methods to develop WS-BPEL applications

Science of Computer Programming
Orchestrating tuple-based languages

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.