Agent-Integrated Software: Interaction Contracts and Continuous Assurance

2026-09-10

AI Summary

论文提出Agent-Integrated Software模式和Intent-Level Interaction Abstraction方法来解决智能代理与现有应用程序集成时的协调问题，确保任务级交互与应用行为的一致性。

Abstract

Embedding an intelligent agent in an existing application creates a persistent coordination problem: users can revise goals and manipulate shared objects while delegated execution continues. We argue that dependable integration requires an explicit correspondence between task-level interaction and application behavior. We introduce Agent-Integrated Software (AIS) as a software pattern combining a conventional core, direct interaction, and a built-in agent, and Intent-Level Interaction Abstraction (IIA) as the task semantics through which users inspect and control delegated work. An open transition-system model relates AIS execution to IIA states and events. Interaction contracts constrain this relation through task bindings, role-specific authority, control transitions, and outcome evidence; continuous assurance maintains scoped claims as their dependencies change. A compact disclosure contract and conditional propositions illustrate why local component validity is insufficient and how selected admission invariants can be separated from planning. Contrasting software domains expose the framework's assumptions and limits. This perspective develops a research agenda spanning application abstraction, development support, controlled execution, quality assessment, and human supervision, with the aim of making agent integration a maintainable software engineering discipline.

Problem

• Agent-Integrated Software
• Interaction Contracts
• Continuous Assurance

Innovation

• Agent-Integrated Software
• Intent-Level Interaction Abstraction
• Interaction Contracts
• Continuous Assurance