[논문 리뷰] Software (Re-)Engineering with PSF II: from architecture to implementation

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

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

한 줄 요약

이 논문은 소프트웨어 재공학을 위한 PSF II 기반 접근법을 제시하며, 프로세스 명세 형식(PSF)에서의 형식적 아키텍처 명세가 고수준 아키텍처에서 실행 가능한 구현으로의 체계적 정밀화를 가능하게 함을 보여준다. 시뮬레이터 아키텍처를 PSF로 모델링하고 수직 및 수평적 구현 기법을 적용하며 애니메이션과 이력 메커니즘을 통합함으로써, 저자들은 더 유지보수성 있고 재사용 가능한, 그리고 형식적으로 검증 가능한 시스템을 달성하였다. 다만, 높은 수준의 프로세스 동시성으로 인해 성능이 30배 정도 저하되는 비용이 수반된다.

ABSTRACT

This paper presents ongoing research on the application of PSF in the field of software engineering and reengineering. We build a new implementation for the simulator of the PSF Toolkit starting from the specification in PSF of the architecture of a simple simulator and extend it with features to obtain the architecture of a full simulator. We apply refining and constraining techniques on the specification of the architecture to obtain a specification low enough to build an implementation from.

연구 동기 및 목표

• 소프트웨어 공학 및 재공학 분야에서 PSF II의 적용을 탐색하고, 특히 시스템 아키텍처를 구축하고 정밀화하는 데 중점을 두다.
• 기존 PSF 툴킷 시뮬레이터의 한계를 해결하기 위해, 형식적 명세 기법을 사용하여 기존 시스템을 재설계하는 것.
• PSF 기반 아키텍처 명세가 아키텍처에서 실행 가능한 구현으로의 체계적 정밀화를 얼마나 효과적으로 지원하는지 평가하는 것.
• 이력 메커니즘과 개선된 GUI와 같은 새로운 기능을 강화하면서도 형식적 정확성을 유지하는 것.
• 형식적으로 명세된 시스템에서 유지보수성, 재사용성, 성능 간의 상호 교환 관계를 평가하는 것.

제안 방법

• 소프트웨어 아키텍처 기술을 위한 PSF 라이브러리를 사용하여 시뮬레이터 아키텍처를 명세화하고, ToolBus 라이브러리에서 추상화된 방식으로 구현한다.
• 수직 및 수평적 구현 기법을 적용하여 아키텍처 명세를 구체적인 ToolBus 기반 시스템 설계로 정밀화한다.
• PSF 툴킷을 사용하여 명세에서 자동으로 애니메이션을 생성하고, 실시간 동작 검증을 가능하게 한다.
• 아키텍처 및 시스템 수준의 명세를 확장하여 이력 메커니즘을 시뮬레이터에 통합함으로써 확장성의 가능성을 입증한다.
• 기존 컴포넌트 명세를 활용하여 전체 시뮬레이터를 ToolBus 애플리케이션으로 구현함으로써 컴포넌트 재사용을 가능하게 한다.
• 애니메이션과 상호작용 시뮬레이션을 통해 설계를 검증함으로써, 저수준의 구현 지식 없이도 이해관계자가 동작을 점검할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 PSF II는 소프트웨어 아키텍처를 실행 가능한 구현으로 효과적으로 모델링하고 정밀화하는 데 어떻게 활용될 수 있는가?
• RQ2 복잡한 시스템의 재공학에서 형식적 아키텍처 명세를 사용할 경우 실질적인 이점과 상충 관계는 무엇인가?
• RQ3 이력 메커니즘과 같은 새로운 기능을 추가할 때, PSF 기반 명세가 설계를 손상시키지 않고 얼마나 점진적으로 확장 가능한가?
• RQ4 프로세스 대수와 형식적 통신 프리미티브의 사용이 시스템의 유지보수성과 컴포넌트 재사용성에 어떻게 기여하는가?
• RQ5 PSF 접근 방식에서 세밀한 동시성 프로세스를 사용할 경우 발생하는 성능 및 사용성의 상호 교환 관계는 어떠한가?

주요 결과

• PSF를 사용한 아키텍처 명세 덕분에 간단한 시뮬레이터 설계에서 기능이 풍부한 시스템으로의 점진적 전환 과정이 원활했으며, 기능 확장 과정에서 주요 설계 문제 없이 진행되었다.
• 새로운 구현은 코드 복잡도와 코드 라인 수를 크게 감소시켜 유지보수성과 컴포넌트 재사용성 향상에 기여했다.
• 애니메이션과 시뮬레이션의 통합 덕분에 실시간 동작 검증이 가능해져 설계 변경과 기능 추가가 더 투명하고 테스트 가능해졌다.
• 이력 메커니즘은 아키텍처 및 시스템 설계 수준에서 성공적으로 통합되었으며, PSF 기반 정밀화 과정의 유연성을 입증했다.
• 높은 수준의 프로세스 동시성과 프로세스 간 통신 오버헤드로 인해 성능이 30배 정도 저하되었음에도 불구하고, 시스템은 상호작용 및 소규모 시뮬레이션에는 여전히 사용 가능했다.
• PSF 툴킷은 빠른 프로토타이핑, 애니메이션 생성, 검증에 필수적이었으며, 애니메이션은 코드베이스에 익숙지 않은 이해관계자들에게 효과적인 커뮤니케이션 수단으로 기능했다.