Boualem Benatallah Fabio Casati Julien Ponge Farouk Toumani On Temporal Abstractions of Web Service Protocols. 2005 conf/caise/2005fo CAiSE Short Paper Proceedings http://www.ceur-ws.org/Vol-161/FORUM_07.pdf db/conf/caise/caisefo2005.html#BenatallahCPT05