Papers for

cloud platform architects

Papers whose findings have a practical use for this group, as judged from the abstract. Open a paper to read what it means in practice.

Internet of agentics outlines interoperable and trustworthy agent systems

Towards a Trustworthy and Governable Internet of Agentics: An Architectural Perspective on Protocols, Systems, and Services

Abstract: Large language model applications are increasingly being organized as tool-using and multi-agent workflows rather than as isolated chat interfaces. This perspective paper examines the architectural problem that follows from that shift: agents may reason, invoke tools, and delegate work, but dependable deployment still requires interoperability across frameworks, runtimes, data boundaries, and organizational control domains. We study this problem through the lens of the \emph{Internet of Agentics} (IoA), an emerging service-computing view in which heterogeneous agents are treated as governable service participants rather than only as stand-alone model endpoints. The paper organizes the landscape as a three-layer progression: from today's fragmented agent ecosystem, to interoperable agents, and ultimately to trustworthy and governable autonomy. First, it examines the protocol stack centered on the Agentic AI Foundation, including MCP for agent--tool interaction; A2A for agent--agent coordination; AGENTS.md and Skills-style procedural manifests; and discovery, transport, and trust mechanisms such as AGNTCY and SLIM. Second, it reviews the systems abstractions that make agents deployable as service components, including logical agent architectures, orchestration patterns, gateways, registries, runtime control loops, and hardware-aware inference infrastructure. Third, it situates these developments within services computing, arguing that agentic systems reinterpret classical concerns from SOA and microservices---discovery, composition, governance, pricing, and trust---at the level of cognitive capabilities rather than deterministic functions.

Mon 2 NovArtificial IntelligenceDistributed, Parallel, and Cluster Computing
The gist
As AI systems increasingly work as groups of agents using tools and helping each other, the authors look at how to make these setups work well together. They explore how to create a common foundation so different AI agents can communicate, cooperate, and be controlled safely across various platforms and organizations. Their work breaks down the challenge into three parts: the communication protocols agents use, how systems can run and manage these agents, and how this fits into broader service computing ideas about trust and control. This helps move from isolated AI tools to a more connected and manageable AI ecosystem.
Open → 2611.03066v1

Formal system improves management and trust of AI agent workflows

FAOPs: Normal Forms and an Algebra for AI Agent Workflows

Abstract: Organizations increasingly encode operational procedures as multi-step agent skills, here called Agent Operating Procedures (AOPs), that must be traceable, auditable, reproducible, access-controlled, and bounded in time and cost, requirements that regulated sectors make mandatory. Yet AOPs are typically kept as coarse-grained files, in which steps bundle actions, copied procedures drift apart, any step may reach any tool, and refactoring goes unchecked. We present Functional Agent Operating Procedures (FAOP), a formal theory that brings database-grade discipline to AI agent workflows. FAOP recasts each workflow as a typed function over scoped state and subjects an entire library to four progressive normal forms: Decomposed (FNF-1) splits a workflow into atomic steps, Typed (FNF-2) makes its data flow explicit and type-checked, Factored (FNF-3) gives each shared procedure a single canonical definition so a change propagates instead of drifting, and Scoped (FNF-4) confines every step to least-privilege tool access. Once normalized, every atomic step is a separate entity with a declared contract and can be type-checked, scope-confined, bounded, tested, traced, and audited on its own. A FAOP algebra of provably sound equalities turns refactoring and parallelization into compiler rewrites; orthogonal extensions add verified termination (+V), optimization (+O), and time and cost bounds (+B); and an architectural-level classifier (0-3) determines whether a workflow needs AI at all. Together, these make integrity, isolation, typing, termination, cost, and optimization compile-time concerns across the whole library, not runtime hopes. We implement the theory in SkillBase, an AOP management system (what PostgreSQL is to data, SkillBase is to AOPs), together with a separate executor that enforces these guarantees at run time. A worked financial workflow illustrates the approach end to end.

Thu 15 OctArtificial IntelligenceDatabasesProgramming Languages
The gist
Many organizations use AI agents to do complex multi-step tasks, but the current way of writing these procedures is messy and hard to maintain. The authors introduced a formal approach called FAOP that breaks down workflows into smaller, well-defined steps with clear data and access rules. This makes AI workflows easier to check, update, control, and audit, especially important for regulated industries. They also built a system called SkillBase that applies these ideas to manage and safely run these AI workflows.
Open → 2610.22061v1