XINSに似たJavaプロジェクトの技術的な契約設計ソリューションはありますか？私は、開発者が最初にアプリケーションのコントラクトを作成し、次にそのコントラクトの境界内でコーディングし、実際にコントラクトを最大限に活用するように強制するプロジェクト/フレームワークを探しています。XINSのように、コントラクトを検証するランタイムコンポーネントを使用して、そのコントラクトからコード（サーバー側とクライアント側、単体テスト、スタブ）とドキュメント（OpenDocument、HTML、テストフォーム）を生成するものを探しています。
コントラクトは、WSDLや一連のXMLファイルなど、何でもかまいません。Springとの統合があればいいのですが。
私は過去にXINSを開発したことに注意してください（ただし、現在のメンテナではありません）。同様のソリューションが存在し、それらをどのように比較するのか疑問に思っています。