• 한국정보통신학회논문지
• /
• 제7권2호
• /
• pp.214-227
• /
• 2003

어플리케이션을 개발하는 데 있어서 전통적인 텍스트 기반의 방법으로는 정확한 요구사항을 파악하기 어렵다. 그리고 각 개발 단계에서의 분석과 확인에 관한 문제점이 있다. 그러므로 만약 검증에서 에러와 요구사항의 교환이 요구된다면 모든 시스템에 나쁜 효력이 발생할 수 있다. 이 경우 개발비용과 기간에 불리하게 작용한다. 따라서 분석과 검증은 에러가 자주 일어나는 것을 방지하기 위해서 수행한다. 본 논문에서는 각 개발 단계에 대한 분석과 확인 그리고 그래픽 인터페이스를 제공하는 SDL을 이용한 TCP/IP 혼잡제어 알고리즘에 대해서 논한다. SDL을 사용함으로써 각 개발 단계에 대한 명확한 표현과 정확한 에러 또는 요구사항 교환에 검증을 쉽게 할 수 있다. 추가적으로 프로토콜의 단계는 MSC의 확인을 통해서 시뮬레이션으로 확인하고 결론에서는 TCP/IP 프로토콜보다 개발의 가능성을 보인다.