Eiffel as a web service