XPi: a typed process calculus for XML messaging

Authors:
Lucia Acciai;Michele Boreale
Affiliations:
Laboratoire d'Informatique Fondamentale de Marseille, Université de Provence;Dipartimento di Sistemi e Informatica, Università di Firenze
Venue:
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Year:
2005

Citing 11
Cited 10

A calculus of mobile processes, I

Information and Computation
On the expressiveness of internal mobility in name-passing calculi

Theoretical Computer Science
A calculus for cryptographic protocols

Information and Computation
The name discipline of uniform receptiveness

Theoretical Computer Science
Mobile ambients

Theoretical Computer Science
Locality and Polyadicity in Asynchronous Name-Passing Calculi

FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Contracts and types

Communications of the ACM - Service-oriented computing
CDuce: an XML-centric general-purpose language

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

Journal of Functional Programming
TQL: a query language for semistructured data based on the ambient logic

Mathematical Structures in Computer Science
Semantic Subtyping for the p-Calculus

LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science

Semantic subtyping for the pi-calculus

Theoretical Computer Science
Comparing communication primitives via their relative expressive power

Information and Computation
PiDuce - A project for experimenting Web services technologies

Science of Computer Programming
A typed calculus for querying distributed XML documents

TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
On the relative expressive power of asynchronous communication primitives

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
JSCL: a middleware for service coordination

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
PiDuce: a process calculus with native XML datatypes

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
SCC: a service centered calculus

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Encoding CDuce in the Cπ-calculus

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
A basic contract language for web services

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present XPi, a core calculus for XML messaging. XPi features asynchronous communications, pattern matching, name and code mobility, integration of static and dynamic typing. Flexibility and expressiveness of this calculus are illustrated by a few examples, some concerning description and discovery of web services. In XPi, a type system disciplines XML message handling at the level of channels, patterns, and processes. A run-time safety theorem ensures that in well-typed systems no service will ever receive documents it cannot understand, and that the offered services, even if re-defined, will be consistent with the declared channel capacities.