Agent-Integrated Software: Interaction Contracts and Continuous Assurance
Read the original on arXiv AI →The paper introduces Agent-Integrated Software (AIS), a pattern that embeds an intelligent agent within an existing application to address persistent coordination challenges. It defines Intent-Level Interaction Abstraction (IIA) as the task semantics for user inspection and control, and presents interaction contracts that constrain the relationship between AIS execution and IIA states. The authors provide a transition-system model, a compact disclosure contract, and conditional propositions to illustrate how local component validity is insufficient and how admission invariants can be separated from planning, concluding with a research agenda for making agent integration a maintainable software engineering discipline.
Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.