[논문 리뷰] Filling the Gap between Business Process Modeling and Behavior Driven Development

Rogério Atem de Carvalho, Rodrigo Soares Manhães외 1명|arXiv (Cornell University)|2010. 05. 27.

Business Process Modeling and Analysis참고 문헌 7인용 수 9

한 줄 요약

이 논문은 비즈니스 프로세스 모델링(BPM)과 행동 기반 개발(BDD)을 통합하기 위해 UML 상태도 다이어그램—특히 유한 상태 기계(FSM)를 사용하여 비즈니스 프로세스를 모델링하고 BDD 테스트를 자동으로 생성하는 방법을 제안한다. 이 접근법은 고수준의 프로세스 모델과 실행 가능한 사양 사이의 격차를 메우며, 기업 정보 시스템 개발에서 추적 가능성과 품질을 향상시킨다.

ABSTRACT

Behavior Driven Development (NORTH, 2006) is a specification technique that is growing in acceptance in the Agile methods communities. BDD allows to securely verify that all functional requirements were treated properly by source code, by connecting the textual description of these requirements to tests. On the other side, the Enterprise Information Systems (EIS) researchers and practitioners defends the use of Business Process Modeling (BPM) to, before defining any part of the system, perform the modeling of the system's underlying business process. Therefore, it can be stated that, in the case of EIS, functional requirements are obtained by identifying Use Cases from the business process models. The aim of this paper is, in a narrower perspective, to propose the use of Finite State Machines (FSM) to model business process and then connect them to the BDD machinery, thus driving better quality for EIS. In a broader perspective, this article aims to provoke a discussion on the mapping of the various BPM notations, since there isn't a real standard for business process modeling (Moller et al., 2007), to BDD. Firstly a historical perspective of the evolution of previous proposals from which this one emerged will be presented, and then the reasons to change from Model Driven Development (MDD) to BDD will be presented also in a historical perspective. Finally the proposal of using FSM, specifically by using UML Statechart diagrams, will be presented, followed by some conclusions.

연구 동기 및 목표

• 엔터프라이즈 정보 시스템(EIS)에서의 비즈니스 프로세스 모델링과 애자일 개발에서의 실행 가능한 테스팅 간의 괴리를 해소하기 위해.
• BDD에 대한 공식적인 매핑을 제안하여 BPM 표기법의 표준화 부족을 해결하기 위해.
• 비즈니스 프로세스 모델을 직접적으로 테스트 가능한 행동 사양과 연결하여 소프트웨어 품질을 향상시키기 위해.
• 더 나은 테스트 가능성과 개발자와의 일치성을 위해 모델 기반 개발(MDD)을 BDD로 대체하기 위해.
• FSM를 통해 비즈니스 프로세스 모델과 소프트웨어 행동 간에 공식적이고 실행 가능한 연결 고리를 구축하기 위해.

제안 방법

• 비즈니스 프로세스를 유한 상태 기계(FSM)의 공식적 표현으로서 UML 상태도 다이어그램을 사용하여 모델링하기 위해.
• 상태도의 상태와 전이를 자연어 기반의 기술을 사용하여 BDD 스타일의 시나리오로 매핑하기 위해.
• 사전 정의된 변환 규칙을 사용하여 상태 기계 모델에서 BDD 테스트 케이스를 자동으로 생성하기 위해.
• BDD 프레임워크를 사용하여 테스트를 실행하고, 구현이 모델링된 비즈니스 행동을 충족하는지 검증하기 위해.
• BDD의 텍스트 기반 사양 기능을 활용하여 비즈니스 요구사항과 코드 간의 일치를 보장하기 위해.
• MDD에서 BDD로의 전환 과정을 역사적 관점에서 설명하여 행동 중심 개발로의 전환를 정당화하기 위해.

실험 결과

연구 질문

• RQ1 비즈니스 프로세스 모델을 실행 가능한 BDD 사양으로 공식적으로 매핑할 수 있는 방법은 무엇인가?
• RQ2 기존의 BPM 표기법이 자동 테스팅 및 검증을 지원하는 데에 있어 어떤 한계를 지니는가?
• RQ3 UML 상태도 형태의 FSM을 사용할 경우 비즈니스 프로세스와 소프트웨어 행동 간의 추적 가능성은 어떻게 향상되는가?
• RQ4 MDD를 BDD로 대체할 경우 엔터프라이즈 소프트웨어 시스템의 품질과 유지보수성은 어떻게 향상되는가?
• RQ5 상태 기계 모델을 BDD 테스트 케이스로 변환하기 위해 필요한 변환 패턴은 무엇인가?

주요 결과

• UML 상태도의 사용은 자동 테스트 생성에 적합한 정확하고 공식적인 비즈니스 프로세스 표현을 가능하게 한다.
• FSM를 BDD에 매핑함으로써 비즈니스 프로세스 모델에서 실행 가능한 테스트 케이스를 자동으로 유도할 수 있다.
• 제안된 접근법은 비즈니스 요구사항과 구현 간의 추적 가능성을 향상시켜 사양 간 격차를 줄인다.
• MDD에서 BDD로의 전환는 인간이 읽을 수 있는 행동 중심의 사양을 통해 개발자 참여도와 테스트 커버리지를 향상시킨다.
• 이 방법은 엔터프라이즈 시스템에서 비즈니스 프로세스 모델링과 테스트 주도 개발을 통합할 수 있는 실용적인 길을 제공한다.
• BPM 표기법의 표준화 부족 문제는 잘 정의된 공식적 기반(FSM을 통한 UML 상태도)을 통해 해결된다.