이 논문에서는 기존의 강력한 분산을 위한 소프트웨어 설계 개념을 가지고 있으나 기호로만 표기되어 자동화 될 수 없었던 CODARTS/DA(Concurrent Design Approach for Real -Time Systems/Distrubuted Application) 방법을 위한 설계 명세언어를 제안한다. 특히 정적인 구조보다는 동적인 행위표현에 주력하여 각 타스크가 CODARTS/DA 모듈들, 즉 , 다수 클라이언트/서버 모듈, 단일 클라언트/서버 모듈, 그룹 통신모듈, 우선 순위 모듈등과 통신을수행하는데 있어 동기, 비동기 문제들을 제안된 방법으로 쉽게 명세가능하여 자동화를 위한 문법으로 사용될 수 있다. 또한 제안된 명세 방법은 C언어와 비슷한 문법구조를 제공하므로 설계 문서들을 구조적 프로그램으로 사용할 때 유용하다.