Specifications are the central mechanism for communicating intents, requirements, and constraints in software development. When they are explicit, clear, and reliable, they are an effective means for collaboration and cooperation. They allow for stakeholders to specify what they want, developers (or AI agents) to understand and implement the needed functionality, for clients to effectively use the system, and for automated tooling to validate the correctness for each of these steps. This tool paper outlines the Bosque API (BAPI) ecosystem, a software ecosystem designed to support modern spec-centered development. The BAPI specification language works in a fully polyglot ecosystem and provides a suite of features, including unparalleled expressivity, test generation, validation, and sand-boxing to support the complete application development lifecycle. These are critical to supporting emerging security and coding (both API implementation & usage) challenges presented by agentic AI systems.

翻译：规约是软件开发中用于传达意图、需求和约束的核心机制。当规约明确、清晰且可靠时，它们会成为协作与合作的有效手段。规约允许利益相关者明确其需求，使开发者（或AI智能体）能够理解并实现所需功能，让客户端能够有效使用系统，并为自动化工具验证上述各步骤的正确性提供支持。本工具论文概述了Bosque API（BAPI）生态系统——一个旨在支持现代以规约为中心的软件开发的软件生态系统。BAPI规约语言工作于完全多语言生态系统中，提供了一系列特性，包括无与伦比的表达力、测试生成、验证和沙箱隔离，以支撑完整的应用开发生命周期。这些特性对于应对由智能体AI系统所带来的新兴安全与编码（包括API实现与使用）挑战至关重要。