• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Multiagent and grid systems >On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
【24h】

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework

机译：关于将声明式编排和基于承诺的代理社团集成到SCIFF逻辑编程框架中

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The definition of choreography specification languages for Service Oriented Systems poses important challenges. Mainstream approaches tend to focus on procedural aspects, leading to over-constrained and over-specified models. Because of such a drawback, declarative languages are gaining popularity as a better way to model service choreographies. A similar issue was met in the Multi-Agent Systems domain, where declarative approaches based on social semantics have been used to capture the nature of agent interaction without over-constraining their behaviour.rnIn this work, we present an integrated framework capable to cover the entire cycle of specification and verification of choreographies, by mixing approaches coming from the Service Oriented Computing and Multi-Agent Systems research domains. SCIFF is the underlying logic programming framework for modelling and verifying interaction in open systems. The use of SCIFF brings us two main advantages: (1) it allows us to capture within a single framework different aspects of a choreography, ranging from constraints on the flow of messages to effects and commitments resulting from their exchange; (2) it provides an operational model that can be exploited to perform a variety of verification tasks.
机译：面向服务的系统的编排规范语言的定义提出了重要的挑战。主流方法倾向于将重点放在程序方面，从而导致模型过于受限和规范化。由于存在这样的缺点，声明性语言作为建模服务编排的一种更好的方法而越来越受欢迎。在Multi-Agent Systems领域也遇到了类似的问题，在该领域中，基于社交语义的声明性方法已被用于捕获代理交互的性质，而又不会过度约束代理的行为。通过混合来自面向服务的计算和Multi-Agent Systems研究领域的方法，在编排规范和验证的整个周期中进行。 SCIFF是用于在开放系统中建模和验证交互的基础逻辑编程框架。 SCIFF的使用为我们带来了两个主要优点：（1）它使我们能够在单个框架内捕获编排的不同方面，范围从消息流的约束到消息交换的效果和承诺。 （2）它提供了可用于执行各种验证任务的操作模型。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号