VSChore-Semantic Choreography-开源

【文件属性】：
文件名称：VSChore-Semantic Choreography-开源
文件大小：480KB
文件格式：ZIP
更新时间：2021-06-29 05:09:28
开源软件 作者：Shahin Mehdipour Ataee 和 Zeki Bayram 东地中海大学 我们的编排引擎将使用 F-logic 的 Flora-2 方言编写的语义 Web 服务规范作为输入。 此外，我们证明了 ASM（进化代数）和进化本体的等价性，因为一个人可以模拟另一个，这是文献中的第一个。 最后，我们展示了一个可视化编辑器，它有助于我们基于 F-logic 的 Web 服务和目标规范的设计和部署。