Web services and formal methods 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers / - Laneve, Cosimo.; Su, Jianwen. (Springer,)