是否有任何类似于XINS的 Java 项目的按合同设计的技术解决方案？我正在寻找强制开发人员首先为他们的应用程序编写合同，然后在该合同的边界内编码的项目/框架，真正充分利用合同的潜力。我正在寻找类似 XINS 的东西，它可以从该合同生成代码（服务器端和客户端、单元测试、存根）和文档（OpenDocument、HTML、测试表单），并带有一个验证合同的运行时组件。
契约可以是任何东西，例如WSDL或一堆 XML 文件。与Spring集成会很好。
请注意，我过去开发过 XINS（但现在不再是当前的维护者），我想知道存在哪些类似的解决方案以及它们如何比较。