Proceedings of the 3rd ACM workshop on Software engineering for pervasive services

Welcome to the ACM Workshop on Software Engineering for Pervasive Services 2008! First created during ICPS'06 to become the meeting place of formal methods and pervasive worlds, this workshop has actually received in its first 3 occurences a surprising amount of submissions related to software architectures. Probably this proves that the future of pervasive services is already here, and we are happy this year to give to our workshop a taste of real applied techniques. Johann Bourcier from Grenoble, France, who organizes the Demos part of ICPS'08, will give us his point of view and new challenges. For the first time a semi formal approach - based on UML - will be presented, by Dhaminda Abeywickrama and Sita Ramakrishnan from Monash University, Australia. We strongly hope that this will illustrate the bridge that the SEPS Workshop is likely to create between several communities. Also very stimulating, we received this year a non academic work, mostly motivated by the network aspects of pervasive services and addressing security problems. This work will be presented by Ruan He and Marc Lacoste from the Orange Labs. Among others, this work brings to SEPS an interesting though probably difficult opening on the future problems to be solved in the domain of monitoring of pervasive systems. Miss Kouadri-Mostefaoui from Oxford will show us the latest results about the practical testing of webservices. The Programming Technology Lab from Brussel is the companion of SEPS Workshop since the beginning, thanks to the AmbientTalk community; it is one more time the case this year, with a new concept, the so-called "Resilient Actors" approach. It remarkably addresses the dynamical aspects of pervasive applications using a terminology which reminds mathematical topology like "strech" or "retract". Let us dream together to a bridge from our workshop to algebraic topology! Resilient Actors is a common work of Jorge Vallejos and 5 co-authors.