When the Consumer Is an Agent: Execution-Grounded Service-Level Agreements
作者: Michal Orzechowski, Renata G. Slota, Jacek Kitowski
分类: cs.DC, cs.AI
发布日期: 2026-11-03
备注: 22 pages, 2 figures. Accepted for the 24th International Conference on Service-Oriented Computing (ICSOC 2026), Springer LNCS. Followed by the companion artifact paper, accepted in the ICSOC 2026 Artifact Evaluation track. Replication package: https://doi.org/10.5281/zenodo.23000442
💡 一句话要点
提出执行基础的完成合同以解决异步服务中的任务完成问题
🎯 匹配领域: 支柱九：具身大模型 (Embodied Foundation Models)
关键词: 异步服务 任务管理 服务级别协议 大型语言模型 分布式系统 控制平面 服务状态观察
📋 核心要点
- 核心问题：现有方法无法确保在异步服务中任务的完成状态可被准确观察，导致任务管理不可靠。
- 方法要点：提出执行基础的完成合同，通过独立控制平面监测服务状态，确保任务完成的可靠性。
- 实验或效果：在多提供者数据服务中，实验结果显示接受的完成与后续观察一致，提升了任务管理的准确性。
📝 摘要（中文）
大型语言模型（LLM）代理越来越多地作为服务消费者，选择操作并报告任务是否完成。在异步分布式服务中，接受的调用或立即状态读取并不能确保所需状态在截止日期之前可观察到。本文提出执行基础的完成合同，将完成视为服务级别的结果。一个独立的控制平面观察截止日期绑定的服务状态谓词，承认完成并指导恢复，同时代理执行任务。我们在一个具有异构模型和注入传输延迟的实时多提供者数据服务中评估了放置和删除操作。结果表明，任务的完成可以通过独立观察服务状态来管理，而不是依赖代理的自我评估。
🔬 方法详解
问题定义：本文旨在解决在异步分布式服务中，任务完成状态的可观察性不足的问题。现有方法依赖代理的自我评估，容易导致错误的完成判断。
核心思路：提出执行基础的完成合同，通过独立的控制平面来监测服务状态，确保任务完成的可靠性和一致性。这种设计使得任务的完成不再依赖于代理的自我报告，而是基于实际的服务状态。
技术框架：整体架构包括一个独立的控制平面和代理执行任务的模块。控制平面负责观察服务状态并判断任务是否完成，同时在任务未按时完成时指导恢复操作。
关键创新：最重要的创新在于将任务完成的判断从代理的自我评估转变为独立的服务状态观察。这一转变显著提高了任务管理的准确性和可靠性。
关键设计：在设计中，控制平面设置了截止日期绑定的服务状态谓词，并定义了相应的恢复策略。同时，实验中考虑了异构模型和传输延迟的影响，以确保方法的广泛适用性。
📊 实验亮点
实验结果显示，在多提供者数据服务中，部分未按时完成的任务仍被接受，而部分按时完成的任务则被拒绝。通过独立观察，接受的完成与后续观察保持一致，所有健康任务均成功完成，未解决的故障任务被终止为未验证状态，展示了方法的有效性。
🎯 应用场景
该研究的潜在应用领域包括云计算服务管理、分布式系统的任务调度以及智能代理的服务交互。通过提高任务完成的可靠性，能够显著提升服务质量和用户体验，未来可能推动更智能的服务自动化解决方案的发展。
📄 摘要（原文）
Large language model (LLM) agents increasingly act as service consumers. They select operations and report whether a task is complete. In an asynchronous distributed service, an accepted call or immediate state read does not establish that the required state became observable by its deadline. We introduce execution-grounded completion contracts, which treat completion as a service-level outcome. An independent control plane observes a deadline-bound service-state predicate, admits completion, and directs recovery while the agent performs the task. We evaluate placement and deletion in a live multi-provider data service with heterogeneous models and an injected transfer delay. Across policies, some tasks that missed the deadline were accepted and some that met it were rejected. Under enforcement, accepted completions remained consistent with later observations; all included healthy tasks completed, and unresolved faulted tasks terminated as unverified. The results show that completion of these tasks can be governed by independent observation of service state rather than by the agent's self-assessment.