Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries

The article introduces a domain-specific language designed to specify AI software development lifecycle (AI-SDLC) processes, addressing the lack of a formal method for defining human-agent responsibility boundaries and governance constraints. Key features include a formal syntax, operational semantics, and enforcement mechanisms that distinguish between policy and structural enforcement, aiming to reduce system failure rates and enhance compliance through concepts like validation tokens. This development is significant for practitioners as it provides a structured approach to managing the complexities of AI integration in software development, promoting better governance and accountability in collaborative environments.