에이젼트 기반 공대공 교전모델의 서비스 지향 설계