[논문 리뷰] A Process Algebra Software Engineering Environment

Bob Diertens|ArXiv.org|2008. 06. 17.

Advanced Software Engineering Methodologies참고 문헌 17인용 수 4

한 줄 요약

이 논문은 PSF(프로세스 명세 형식)와 ToolBus 조율 아키텍처를 사용한 프로세스 대칭 기반 소프트웨어 공학 환경을 제안하며, 통합된 워크벤치를 갖춘 CASE 스타일의 개발 프로세스를 형식화한다. 이는 정교화 단계를 재사용 가능한 소프트웨어 공학 워크벤치로 일반화하여, 시뮬레이션 및 도구 통합 지원을 제공하는 형식적이고 아키텍처 중심의 개발을 위한 모듈러하고 조합 가능한 환경을 가능하게 한다.

ABSTRACT

In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. In this article we summarize that work and describe the software development process more formally by presenting the tools we use in this process in a CASE setting, leading to the PSF-ToolBus software engineering environment. We generalize the refine step in this environment towards a process algebra based software engineering workbench of which several instances can be combined to form an environment.

연구 동기 및 목표

• 시스템 개발의 보다 나은 제어와 자동화를 위해 프로세스 대칭 기반 소프트웨어 공학 프로세스를 형식화하기.
• 기존 아키텍처 기술 설명 언어(ADL)에서 아키텍처 정교화에 대한 형식적 지원의 부족을 해결하기.
• 통합된 워크벤치에서 구성된 소프트웨어 공학 환경을 구축하기 위한 재사용 가능하고 모듈러한 프레임워크를 창출하기.
• ToolBus라는 프로세스 대칭 기반 스크립팅 모델을 통해 도구 통합과 조율을 가능하게 하기.
• 다중 수준의 명세와 시뮬레이션을 통해 설계 재사용과 장기적인 유지보수성을 지원하기.

제안 방법

• ACP와 ASF에서 유도된 프로세스 대칭 기반 언어인 PSF를 사용하여 시스템 구성 요소와 행동을 명세한다.
• ToolBus 조율 아키텍처를 활용하여 프로세스 대칭 수단을 사용해 도구 및 프로세스 간의 통신을 관리한다.
• 수직적 및 수평적 정교화 기법을 적용하여 아키텍처 명세를 실행 가능한 ToolBus 응용 프로그램 명세로 진화시킨다.
• 컴파일러, 시뮬레이터, IDE 등의 도구들을 ToolBus를 통해 CASE 환경에 통합하여 자동 조율를 가능하게 한다.
• 정교화 단계를 재사용 가능한 소프트웨어 공학 워크벤치로 일반화하여, 인스턴스화 및 조합이 가능한 환경을 제공한다.
• 시리얼 또는 파라렐 방식으로 여러 워크벤치 인스턴스를 조합하여 전체 소프트웨어 공학 환경을 구성한다.

실험 결과

연구 질문

• RQ1 프로세스 대칭은 어떻게 체계적이고 재사용 가능한 방식으로 소프트웨어 공학 프로세스를 형식화하고 자동화하는 데 사용될 수 있는가?
• RQ2 ToolBus와 같은 조율 아키텍처는 형식적 개발 환경 내에서 도구 통합과 프로세스 오케스트레이션을 어떻게 가능하게 하는가?
• RQ3 어떤 방법으로 형식적 기법을 사용해 아키텍처 명세를 실행 가능한 응용 프로그램 명세로 체계적으로 정교화할 수 있는가?
• RQ4 일반화된 소프트웨어 공학 워크벤치는 어떻게 조합되어 확장 가능하고 스케일러블한 개발 환경을 형성할 수 있는가?
• RQ5 기존의 또는 비형식적인 소프트웨어 공학 접근 방식에 비해 프로세스 대칭 기반 환경은 어떤 이점을 제공하는가?

주요 결과

• PSF-ToolBus 환경은 시뮬레이터와 IDE와 같은 복잡한 시스템의 개발을 형식적 명세와 도구 조율을 통해 성공적으로 지원한다.
• PSF 명세에서 유도된 시뮬레이션과 애니메이션은 시스템 행동의 이해와 검증을 크게 향상시킨다.
• 설계 및 구현 구성 요소는 유사한 제품이나 아키텍처 패턴이 포함된 경우에 특히 재사용 가능하다.
• 일반화된 워크벤치 모델은 여러 인스턴스를 순차적 또는 병렬로 조합하여 복합 소프트웨어 공학 환경을 구성하는 데 기여한다.
• 형식적이고 다중 수준의 정교화 프로세스는 설계 결정과 그 영향을 추상화 수준 간에 명확하게 드러내어 유지보수성을 향상시킨다.
• 이 환경은 단일 형식적 언어를 통해 아키텍처 기술 설명과 구현을 모두 지원하여 설계와 코드 간 격차를 줄인다.