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