[논문 리뷰] Software (Re-)Engineering with PSF III: an IDE for PSF

Bob Diertens|ArXiv.org|2007. 12. 19.

Formal Methods in Verification참고 문헌 21인용 수 5

한 줄 요약

이 논문은 프로세스 대수와 ToolBus 조율 아키텍처를 사용하여 개발된 Process Specification Formalism (PSF) 전용 통합 개발 환경 (IDE)를 제시한다. PSF를 사용하여 IDE의 아키텍처를 명시하고 이를 ToolBus 응용 프로그램으로 정밀화함으로써, 기존의 PSF Toolkit 도구들을 수정하지 않고도 생성된 스크립트와 사용자 정의 GUI를 통해 원활한 통합을 실현한다.

ABSTRACT

We describe the design of an integrated development environment (IDE) for PSF. In the software engineering process we used process algebra in the form of PSF for the specification of the architecture of the IDE. This specification is refined to a PSF specification of the IDE system as a ToolBus application, by applying vertical and horizontal implementation techniques. We implemented the various tools as specified and connected them with a ToolBus script extracted from the system specification.

연구 동기 및 목표

• 형식적 방법을 활용한 상호작용 소프트웨어 공학을 지원하는 PSF 전용 IDE를 설계하고 구현하는 것.
• 프로세스 대수(PSF)를 체계적인 방식으로 소프트웨어 아키텍처를 명시하고 정밀화하는 데 효과적으로 활용할 수 있는지 보여주는 것.
• 기존의 PSF Toolkit 도구들을 최소한의 수정으로 통합된 IDE 환경에 통합하는 것.
• 개별 도구 인터페이스를 통합하면서도 모듈성과 확장성을 유지하는 통합 GUI를 개발하는 것.

제안 방법

• 통신(snd/rec) 및 컴포onent 캡슐화를 위한 PSF 기반 원소를 사용하여 IDE 아키텍처를 명시하는 것.
• 수직적 및 수평적 정밀화 기법을 적용하여 아키텍처 명세를 ToolBus 응용 프로그램 명세로 전환하는 것.
• 정밀화된 명세에서 수작업으로 ToolBus 스크립트를 추출하여 도구 간 상호작용을 조율하는 것.
• 각 IDE 컴포넌트(에디터 매니저, 컴파일러, 오류 뷰어, 시뮬레이터, 애니메이션 생성기)를 기존의 PSF Toolkit 컴포넌트를 사용하여 독립형 도구로 구현하는 것.
• 컨테이너 및 패널 창 메커니즘을 활용하여 컴포넌트 창을 집합하고 레이아웃하는 Tcl/Tk를 사용한 사용자 정의 GUI 도구를 개발하는 것.
• 컨테이너 창 식별자를 ToolBus 스크립트에 초기화하여 적절한 창 계층 구조와 도구 간 통신을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 프로세스 대수(PSF)가 복잡한 IDE 아키텍처의 명시와 정밀화를 효과적으로 지원할 수 있는가?
• RQ2 기존의 PSF Toolkit 도구들이 최소한의 수정으로 새로운 IDE에 얼마나 잘 재사용될 수 있는가?
• RQ3 기존 도구의 동작을 변경하지 않고도 다수의 독립된 도구 인터페이스를 통합하는 통합 GUI는 어떻게 구성할 수 있는가?
• RQ4 확장 가능한 IDE를 구축하는 데 있어 ToolBus와 같은 조율 아키텍처의 실용적 이점은 무엇인가?
• RQ5 PSF 명세의 시뮬레이션 및 애니메이션은 IDE 개발 과정에서 설계 검증과 이해 당사자 간 소통에 어떻게 기여할 수 있는가?

주요 결과

• PSF의 사용은 IDE 아키텍처의 형식적이고 시뮬레이션 가능한 명세를 가능하게 하여 조기에 검증하고 정밀화할 수 있도록 했다.
• PSF 명세에서 유도된 ToolBus 스크립트는 기존 도구의 수정 없이도 IDE 컴포넌트 간의 상호작용을 성공적으로 조율했다.
• 에디터 매니저 컴포넌트는 외부 에디터(예: Emacs, Vim)를 수정하지 않고도 원활한 통합을 가능하게 하여 사용자 유연성을 향상시켰다.
• 컴파일러 컴포넌트는 Perl로 구현되었으며, 모듈-파일 일관성을 보장하기 위해 사전 파서 검사를 포함하여 원본 파서의 수정 없이 기능을 유지했다.
• 오류 뷰어 및 시뮬레이터는 경량 래퍼로 Tcl/Tk에 구현되어 원래 도구의 기능을 유지하면서도 GUI 통합을 실현했다.
• Tcl/Tk의 컨테이너 및 패널 창 기능을 활용하여 구성된 통합 GUI는 동적 크기 조절과 모듈식 레이아웃을 지원하여 사용성 향상을 이뤘다.