AI 에이전트가 소프트웨어 개발수명주기(SDLC)에 정식 팀원으로 참여하지만 인간-에이전트 책임 경계·승인 게이트·거버넌스 제약을 표현할 명세 언어가 없다는 문제를 다룬다. 저자는 형식 구문, 적격성 조건, 작동 의미론, 강제 불변식을 갖춘 도메인 특화 언어를 제안하며, 정책(선언적 의도)과 메커니즘(구조적 강제)을 구분해 검증 토큰·역량 경계 같은 프리미티브로 프로세스 비결정성을 제한한다. 구조적 강제는 시스템 실패율을 에이전트와 검증자 실패율의 가중곱으로 묶는 반면 행동적 준수는 실패가 누적될 수 있음을 보이고, 두 인간 통제 역할에 N개 에이전트를 더한 '2+N' 팀 패턴으로 직무 분리를 형식화한다. 작동하는 구현으로 실현 가능성을 보였으나 실증 평가는 향후 과제로 남겼다.
- •인간-에이전트 책임 경계·승인 게이트·거버넌스를 프로토콜로 명세하는 도메인 특화 언어를 제안한다.
- •정책과 메커니즘을 분리하고 검증 토큰·역량 경계로 프로세스 비결정성을 제한한다.
- •구조적 강제는 실패율을 에이전트×검증자 가중곱으로 한정하지만 행동적 준수는 실패 누적을 허용한다.
- •'2+N'(인간 통제 2 + 에이전트 N) 팀 패턴으로 고전적 직무 분리를 형식화한다.
Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries
본문 미리보기
arXiv:2606.20615v1 Announce Type: new Abstract: AI agents now participate as first-class team members across the software development lifecycle, yet no specification language exists for expressing the human-agent responsibility boundaries, approval gates, and governance constraints this collaboration requires. Existing approaches encode process in agent prompts (subject to drift), target adjacent domains (workflow management, business processes), or address only fragments (access control, appro
전체 내용이 궁금하다면?
원문을 직접 읽어보세요