초록

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

소프트웨어 프로젝트의 비용의 대부분이 구현(implementation) 단계나 테스트 단계에서의 에러 수정에 소모되고 있으며, 이러한 에러들의 대부분은 프로젝트 개발 초기 단계에서의 부정확(imprecision)에 기안한 것이다. 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z나 VDM과 같은 정형 표기법에 의해 쓰여진다. 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP(Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 연구에서는 Z와 같은 범용 목적의 명세 언어가 병행성(concurrency)을 표현할 수 있도록 하기 위해서, 병행 프로세서(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다.

소프트웨어 프로젝트의 비용의 대부분이 구현(implementation) 단계나 테스트 단계에서의 에러 수정에 소모되고 있으며, 이러한 에러들의 대부분은 프로젝트 개발 초기 단계에서의 부정확(imprecision)에 기안한 것이다. 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z나 VDM과 같은 정형 표기법에 의해 쓰여진다. 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP(Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 연구에서는 Z와 같은 범용 목적의 명세 언어가 병행성(concurrency)을 표현할 수 있도록 하기 위해서, 병행 프로세서(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다.

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법
• 연구 결과

문제 정의

• 본 연구에서는 기존의 Z로 병행성을 명세하기 어렵다는 것에 초점을 두고, 병행성을 명세하기 위한 확장된 Z 를 제안하였다. 이를 위해서 병행 프로세스 개념의 도입과 이에 따른 프로세스 기술과 프로시듀어 기술의 사용, 그리고 모니터 메커니즘을 이용하여 공유 자원에 대한 프로세스의 접근을 제어하여 확장된 Z 를 사용하여.

제안 방법

• 그리고, 병행 프로세스 개념을 도입하고, 이를 나타내기 위해서 표기를 사용하여 병행 프로세스들을 기술한다.
• 마지막으로, 각 프로세스 스키마에서 정의된 프로시듀 어들을 기술하고, 프로시듀어에 관련된 스키마들을 기술한다. 따라서 여기에서는 monitorprocedure 스키마를 명세 한다.
• 모니터 메커니즘을 응용한 모니터 스키마를 선언하고, 이를 ADT 형태로 제공한다. 모니터에 대한 접근은 기술된 프로시듀어 스키마 만이 허용된다.
• 본 연구에서는 Z 와 같은 보편적인 목적의 명세 언어가 병행성을 표현할 수 있도록 하기 위해서, 병행 프로세스 (concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한 병행성의 제어를 위해서 프 로시듀어 기술부의 도입 및 관련 스키마(schema)들을 정의하고, 특히 프로세스들의 공유 자원(shared resource)에 대한 접근의 제어는 ADT (Abstract Data Type)로 정의된 스키마를 사용하기로 한다.
• 본 연구에서는 기존의 Z로 병행성을 명세하기 어렵다는 것에 초점을 두고, 병행성을 명세하기 위한 확장된 Z 를 제안하였다. 이를 위해서 병행 프로세스 개념의 도입과 이에 따른 프로세스 기술과 프로시듀어 기술의 사용, 그리고 모니터 메커니즘을 이용하여 공유 자원에 대한 프로세스의 접근을 제어하여 확장된 Z 를 사용하여.병행성 을 명세할 수 있다는 것을 보였다.

성능/효과

• 이상의 “Bounded Buffer's Problem" 명세 예에서 보는바 와 같이 확장된 Z를 사용하여 병행성의 명세와 제어가 가능하다는 것을 보였다. 그러나, 완전한 명세를 위해서 확장된 Z의 명세가 모호성을 포함하지 않는지 검증되어 야 한다.

후속연구

• 다음으로 선언된 모니터 스키마를 초기화하는 스키마와 모니터 내에서 사용될 세마포어(semaphore)를 명세한다. 세마포어 스키마는 모니터 내부 접근에 대한 상호 배타 접근을 보증하기 위해 사용된다.
• 그러나, 명세의 목적이 구현의 방법인 어떻게(how)가 아니라 명세의 대상인 무엇(w뵤t)을 명세하는 것임에도 불구하고, 병행성을 제어함에 있어서 구현의 방법이 불가피하게 일부 포함되어 있어 명세의 목적면에서 확장된 Z 로 작성된 명세서는 명세서의 본질에 어긋난다고 말할 수 있다. 본 연구에서는 이러한 결점을 줄이기 위해 어떻게 (how)에 해당하는 병행성의 명세 부분을 최소화하는데 역점을 두었으나, 향후 이러한 결점이 보완 및 완전히 제거될 수 있는 연구가 계속되어야 할 것이다.
• 병행성 을 명세할 수 있다는 것을 보였다. 앞으로 이러한 연구 결 과를 바탕으로, 실제 어플리케이션들의 명세에 확장된 Z 를 사용하여 그 유효성(validity)을 면밀히 검중하고, 확인 해야 한다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기