Web Service Choreography Conformance Verification in M2M Systems through the piX-model

Over the years the scope and the scale of M2M systems have evolved, mainly because the decreased costs of the infrastructure and the common use of mobile devices such as PDAs and smart phones. These new intelligent devices are capable of hosting interesting choreographies in pervasive environments. But there is an important issue that first needs to be resolved, before these choreographies can be deployed in real-life M2M systems, very often used to monitor business critical business processes. Nowadays the different participants need to implicitly trust each others conformance to the choreography design. Today´s conformance verification methods cannot be used on resource-limited devices. This paper presents an extension on the pi-calculus, referred to as the piX-model. When this model is used the applied algorithms will reduce drastically in complexity, resulting in fewer CPU-cycles and memory usage.