eXtreme Design-by-Contract с Java, кроме XINS?

Question

Существуют ли какие-либо технические Design-by-Contract решения для Java-проектов, аналогичные XINS ? Я ищу проекты / фреймворки, которые заставляют разработчиков сначала создавать контракт для своего приложения, а затем кодировать в рамках этого контракта, действительно используя контракт в полной мере. Я ищу что-то, что, как XINS, генерирует код (серверная и клиентская части, модульные тесты, заглушки) и документацию (OpenDocument, HTML, тестовые формы) из этого контракта с компонентом времени выполнения, который проверяет контракт.

Контракт может быть любым, например, WSDL или несколько файлов XML. Интеграция с Spring было бы неплохо иметь.

Обратите внимание, что я разрабатывал XINS в прошлом (но уже не сейчас), и мне интересно, какие существуют похожие решения и как они сравниваются.

Answer 1

Насколько я понимаю, Проект Spring Web Services продвигает описанный вами подход. Это даже подробно описано в их уроке. Идея состоит в том, чтобы описать данные контракта вручную и создать веб-сервисы на основе этого описания. Spring Framework предоставляет довольно много различных классов инфраструктуры, что значительно облегчает решение этой задачи.