使用 Java 的 eXtreme Design-by-Contract，而不是 XINS？

Question

有没有类似XINS 的Java 项目的技术Design-by-Contract 解决方案？我正在寻找强制开发人员首先为他们的应用程序编写合同，然后在该合同的边界内编码的项目/框架，真正充分利用合同的潜力。我正在寻找一些东西，比如 XINS，从该合同生成代码（服务器端和客户端、单元测试、存根）和文档（OpenDocument、HTML、测试表单），并带有一个验证合同的运行时组件。

合约可以是任何东西，例如WSDL 或一堆 XML 文件。与Spring 集成会很不错。

请注意，我过去开发过 XINS（但现在不再是当前的维护者了），我想知道存在哪些类似的解决方案以及它们的比较。

Answer 1

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