Research Article
Web Service Choreography Conformance Verification in M2M Systems through the piX-model
@INPROCEEDINGS{10.1109/PERSER.2007.4283944, author={Gregory van Seghbroeck and Filip de Turck and Bart Dhoedt and Piet Demeester}, title={Web Service Choreography Conformance Verification in M2M Systems through the piX-model}, proceedings={Services Integration in Pervasive Environments Workshop}, publisher={IEEE}, proceedings_a={SIPE}, year={2007}, month={8}, keywords={}, doi={10.1109/PERSER.2007.4283944} }- Gregory van Seghbroeck
Filip de Turck
Bart Dhoedt
Piet Demeester
Year: 2007
Web Service Choreography Conformance Verification in M2M Systems through the piX-model
SIPE
IEEE
DOI: 10.1109/PERSER.2007.4283944
Abstract
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.
