A Type System for Client Progress in a Service-Oriented Calculus

We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay of sessioning and data-orchestration primitives makes the design of a type system for CaSPiS challenging. Our main result states that in a well-typed CaSPiS system, and in absence of divergence, any client invoking a service is guaranteed not to get stuck during the execution of a conversation protocol because of inadequate service communication capabilities.

• Type: Conference
• Year: 2008
• Where: BIRTHDAY
• Authors: Lucia Acciai, Michele Boreale
• Keywords: Applied Computing, BIRTHDAY 2008, Client Progress, Type System, Well-typed Caspis System