Modeling behavioral RESTful web service interfaces in UML
Contract driven development = test driven development - writing test cases