본 논문은 상호작용 지향 프로그래밍(IOP)을 이용한 다중 에이전트 시스템 구축을 위한 소프트웨어 도구 모음을 제시한다. IOP는 유연한 상호작용 프로토콜을 통해 에이전트 역할 간의 상호작용을 모델링하고, 에이전트는 해당 프로토콜에서 수행하는 역할의 상호작용을 구현하는 방식이다. 논문에서는 생존성 및 안전성과 같은 속성에 대한 프로토콜을 효율적으로 검증하는 도구와 에이전트 구현을 단순화하는 미들웨어를 포함한 소프트웨어 도구 모음의 일부를 소개한다.