2012, Proceedings Silvana Castano, Panos Vassiliadis, Laks Lakshmanan, Mong Service Login (uri) → let s=f indService (uri) if s=0 then error ("Service not .