[논문 리뷰] Dynamic Role Binding in Blockchain-Based Collaborative Business Processes

Orlenys López‐Pintado, Marlon Dumas외 2명|arXiv (Cornell University)|2018. 12. 07.

Blockchain Technology Applications and Security참고 문헌 11인용 수 9

한 줄 요약

이 논문은 블록체인 기반 공동 비즈니스 프로세스를 위한 동적 역할 바인딩 모델과 정책 언어를 제안하며, Petri 네트워크 의미론을 통한 형식적 일관성 검증을 통해 런타임 시 동적으로 액터를 역할에 공동으로 바인딩할 수 있도록 한다. 이 접근법은 정책을 스마트 컨트랙트로 컴파일하며, 이더리움에서 역할 수와 제약 조건에 비례하여 선형적인 비용 증가를 보이며, 신뢰할 수 없는 동적 환경에서 확장 가능한 액세스 제어를 지원한다.

ABSTRACT

Blockchain technology enables the execution of collaborative business processes involving mutually untrusted parties. Existing platforms allow such processes to be modeled using high-level notations and compiled into smart contracts that can be deployed on blockchain platforms. However, these platforms brush aside the question of who is allowed to execute which tasks in the process, either by deferring the question altogether or by adopting a static approach where all actors are bound to roles upon process instantiation. Yet, a key advantage of blockchains is their ability to support dynamic sets of actors. This paper presents a model for dynamic binding of actors to roles in collaborative processes and an associated binding policy specification language. The proposed language is endowed with a Petri net semantics, thus enabling policy consistency verification. The paper also outlines an approach to compile policy specifications into smart contracts for enforcement. An experimental evaluation shows that the cost of policy enforcement increases linearly with the number of roles and constraints.

연구 동기 및 목표

• 신뢰할 수 없는 당사자가 참여하는 블록체인 기반 공동 비즈니스 프로세스에서 정적 역할 바인딩의 한계를 해결하기 위해.
• 신뢰 관계의 변화를 반영하여 런타임 시 액터를 역할에 동적으로 공동으로 바인딩하거나 해제할 수 있도록 지원하기 위해.
• 배포 이전에 일관성 검증이 가능한 형식적 정책 명세 언어와 의미론을 제공하기 위해.
• 블록체인 플랫폼(예: 이더리움)에서 실행 가능한 스마트 컨트랙트로 정책을 컴파일하여 시행 가능하게 하기 위해.
• 이더리움에서 정책 시행의 성능과 비용을 가스 소비 및 확장성 측면에서 평가하기 위해.

제안 방법

• 논문은 블록체인 계정(신원)을 역할에 동적으로 할당할 수 있도록 지원하는 역할 바인딩 모델을 도입하며, 신뢰와 협업 기반으로 액터가 바인딩 또는 해제될 수 있도록 한다.
• 역할 바인딩 규칙(노미네이션, 바인딩, 승인 등)을 표현할 수 있는 정책 명세 언어를 설계하였으며, 일관성 검사를 위한 Petri 네트워크 기반의 형식적 의미론을 제공한다.
• 다중 당사자 승인 및 조건부 바인딩과 같은 복잡한 제약 조건을 지원하여 세밀한 액세스 제어를 가능하게 한다.
• 정책 명세를 이더리움 스마트 컨트랙트로 컴파일하는 방법을 사용하여, 런타임 시 액세스 제어 논리를 시행한다.
• 컴파일 이전에 정책 일관성을 공식적으로 검증하기 위해 Petri 네트워크 의미론을 활용하며, 모순되거나 일관성 없는 액세스 규칙을 방지한다.
• 구현는 케터피라 블록체인 실행 엔진에 통합되어 있으며, 이더리움에서 BPMN 기반의 프로세스 모델링 및 실행을 지원한다.

실험 결과

연구 질문

• RQ1 신뢰 관계가 시간이 지남에 따라 변화하는 블록체인 기반 공동 비즈니스 프로세스에서 동적 역할 바인딩는 어떻게 모델링할 수 있는가?
• RQ2 일관성과 정확성을 확보하기 위해 동적 역할 바인딩 정책을 명세하고 검증하기 위해 필요한 형식적 언어와 의미론은 무엇인가?
• RQ3 블록체인 플랫폼에서 시행하기 위해 동적 역할 바인딩 정책을 실행 가능한 스마트 컨트랙트로 컴파일하는 방법은 무엇인가?
• RQ4 이더리움에서 이러한 정책을 시행할 경우 가스 소비 및 거래 비용 측면에서 성능 오버헤드는 얼마나 되는가?
• RQ5 역할 수와 제약 조건의 복잡도에 따라 정책 시행 비용은 어떻게 증가하는가?

주요 결과

• 가장 단순한 정책(1개의 역할이 케이스 생성자에 바인딩됨)을 배포하는 데에는 154,167 가스가 소요되며, 주 액세스 제어 컨트랙트의 고정 배포 비용은 1,340,098 가스이다.
• 정책 시행 비용은 역할 수와 제약 조건의 복잡도에 비례하여 선형적으로 증가하며, 승인 제약 조건이 가장 큰 비용 증가를 유발한다(추가된 제약 조건당 16.0–19.0%).
• 바인딩 제약 조건을 추가하면 가스 비용이 4.0–5.7% 증가하고, 제약 조건에 논리합(CONJUNCTION)을 추가하면 2.4–3.5%의 오버헤드가 발생한다.
• 노미네이션 작업은 111,407에서 168,270 가스 사이의 비용을 가지며, 투표 작업은 76,845에서 78,184 가스 사이의 비용을 가지며, 정책 내에서 문장이 더 뒤에 위치할수록 비용이 더 높아진다.
• canPerform 함수의 비용은 작업 수가 증가함에 따라 31,693에서 33,066 가스로 선형적으로 증가하여 예측 가능한 런타임 성능을 보인다.
• 프로세스 케이스를 실행하는 총 비용은 정책 배포 비용의 분할 처리와 변동 가능한 런타임 비용으로 구성되며, 후자는 정책 복잡도에 따라 예측 가능하게 증가한다.