第欧根尼 swMATH ID: 30238 软件作者： 描述： 与Diogenes开发Honest Java程序。现代分布式应用程序通常是通过将新代码与遗留的（可能不受信任的）第三方服务集成来获得的。最近的一些工作建议通过行为合同规范这些服务之间的相互作用。这个想法是动态发现和组合服务，只有那些具有合规合同的服务才能进行交互，并对其执行进行监控，以检测和制裁违反合同的行为。在这种情况下，如果一个服务总是尊重它所宣传的合同，那么它就是诚实的。诚实是至关重要的，因为它保证了服务不会受到制裁；此外，诚实服务的组成是无死锁的。然而，开发诚实的程序并非易事，因为即使在出现故障（无论是意外还是恶意）的情况下，也必须遵守合同。在本文中，我们介绍了Diogenes，这是一套支持程序员编写诚实Java程序的工具。通过Eclipse插件，程序员可以编写服务规范，验证其真实性，并将其转换为框架Java程序。然后，他们可以将这个框架细化为适当的Java代码，并使用该工具验证其真实性没有受到细化的影响 主页： https://rd.springer.com/chapter/10.1007/978-3-319-39570-8_4 依赖项： Java语言 相关软件： Uppaal公司；贝塔；BetaSim公司 引用于： 2文件 5位作者引用 1 马西莫·巴托莱蒂 1 莫里齐奥·穆尔吉亚 1 阿尔切斯特·斯卡拉斯 1 埃米利奥·托斯托 1 罗伯托·祖尼诺 2篇连载文章中引用 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文