...
首页> 外文期刊>The Journal of Artificial Intelligence Research >Verification of Agent-Based Artifact Systems
【24h】

Verification of Agent-Based Artifact Systems

机译:基于代理的工件系统的验证

获取原文
获取原文并翻译 | 示例
           

摘要

Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycles, accounting respectively for the relational structure of the artifacts' states and their possible evolutions over time. In this paper we put forward artifact-centric multi-agent systems, a novel formalisation of artifact systems in the context of multi-agent systems operating on them. Differently from the usual process-based models of services, we give a semantics that explicitly accounts for the data structures on which artifact systems are defined.
机译:工件系统是一种新颖的范式,用于指定和实施根据称为工件的交互模块描述的业务流程。工件由数据和生命周期组成,分别说明工件状态的关系结构及其随时间的演变。在本文中,我们提出了以工件为中心的多智能体系统,这是在多智能体系统上运行的情况下,新的工件系统形式化形式。与通常的基于流程的服务模型不同,我们提供了一种语义,该语义明确考虑了在其上定义构件系统的数据结构。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号