是否有与Design-by-Contract类似的Java项目的技术XINS解决方案？我正在寻找能够使开发人员强制为其应用程序首先编写合同，然后在该合同范围内进行编码，真正利用合同的全部潜力的项目/框架。我正在寻找一种类似于XINS的东西，它可以从该合同中生成代码（服务器和客户端，单元测试，存根）和文档（OpenDocument，HTML，测试表单），并带有一个可验证合同的运行时组件。
合同可以是任何东西，例如WSDL或一堆XML文件。与Spring集成会很高兴。
请注意，我过去是开发XINS的（尽管现在不再是当前的维护者），我想知道存在哪些类似的解决方案以及它们之间的比较。
最佳答案
据我了解，Spring Web Services项目促进了您描述的方法。在他们的教程中甚至是described in details。这个想法是手动描述数据协定，并基于此描述创建Web服务。 Spring框架提供了许多不同的基础结构类，使此任务更容易解决。