除了XINS之外，还是与Java签订了eXtreme Design-by-Contract？

Question

是否有类似于Design-by-Contract的Java项目的技术XINS解决方案？我正在寻找项目/框架，强制开发人员首先为他们的应用程序创建合同，然后在合同范围内编码，真正使用合同充分发挥潜力。我正在寻找像XINS一样，从该合同生成代码（服务器端和客户端，单元测试，存根）和文档（OpenDocument，HTML，测试表单）的东西，以及验证合同的运行时组件。 / p>

合同可以是任何东西，例如WSDL或一堆XML文件。与Spring集成将很高兴。

请注意，我过去开发过XINS（不再是当前的维护者），我想知道类似的解决方案是什么以及它们如何比较。

Answer 1

据我了解Spring Web Services项目推广您所描述的方法。在他们的教程中甚至是described in details。其思想是手动描述数据合同并基于此描述创建Web服务。 Spring框架提供了许多不同的基础结构类，使这个任务更容易解决。