[논문 리뷰] Object-Centric Behavioral Constraints

Wil M. P. van der Aalst, Guangming Li외 1명|arXiv (Cornell University)|2017. 03. 14.

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

한 줄 요약

이 논문은 객체 중심 행동 제약 조건(OCBC)을 소개한다. OCBC는 카디널리티 제약 조건을 통합 메커니즘으로 사용하여 데이터 및 행동 제약 조건을 통합하는 통합 모델링 언어이다. 기술적 프로세스 모델링과 데이터 모델링을 결합함으로써, 다수의 상호작용하는 인스턴스에 걸쳐 복잡한 적합성 문제를 탐지할 수 있으며, 적합성 검사 복잡도는 AC₀에 속하여 기존 방법에 비해 다중 인스턴스 행동 이탈을 진단하는 데서 크게 향상된다.

ABSTRACT

Today's process modeling languages often force the analyst or modeler to straightjacket real-life processes into simplistic or incomplete models that fail to capture the essential features of the domain under study. Conventional business process models only describe the lifecycles of individual instances (cases) in isolation. Although process models may include data elements (cf. BPMN), explicit connections to real data models (e.g., an entity relationship model or a UML class model) are rarely made. Therefore, we propose a novel approach that extends data models with a behavioral perspective. Data models can easily deal with many-to-many and one-to-many relationships. This is exploited to create process models that can also model complex interactions between different types of instances. Classical multiple-instance problems are circumvented by using the data model for event correlation. The declarative nature of the proposed language makes it possible to model behavioral constraints over activities like cardinality constraints in data models. The resulting object-centric behavioral constraint (OCBC) model is able to describe processes involving interacting instances and complex data dependencies. In this paper, we introduce the OCBC model and notation, providing a number of examples that give a flavour of the approach. We then define a set-theoretic semantics exploiting cardinality constraints within and across time points. We finally formalize conformance checking in our setting, arguing that evaluating conformance against OCBC models requires diagnostics that go beyond what is provided by contemporary conformance checking approaches.

연구 동기 및 목표

• 기업 시스템과 기존 프로세스 모델 간의 괴리를 해결하며, 이는 인스턴스를 독립적으로 다루고 데이터 및 제어 흐름 관점 간 통합을 실패하기 때문이다.
• 기존 프로세스 모델링 언어의 한계를 극복하며, 이는 복잡한 데이터 종속성이나 여러 유형의 인스턴스 간 상호작용을 표현할 수 없기 때문이다.
• 기존 적합성 검사에서 탐지할 수 없는 미세한 적합성 문제—예를 들어 인스턴스 간 카디널리티 위반—의 탐지를 가능하게 한다.
• 카디널리티 제약 조건을 통해 데이터 모델링(예: UML, ER)과 기술적 프로세스 모델링(예: Declare)을 통합하여, 구조와 행동을 모두 안내한다.
• OCBC 모델에 대한 공식적인 집합 이론적 의미론을 정의하고, 낮은 데이터 복잡도를 갖는 확장 가능한 적합성 검사 방법을 제안한다.

제안 방법

• OCBC 모델을 단일 표기법으로 제안하며, 이는 데이터 구조(UML 유사 클래스 다이어그램에 카디널리티 제약 조건 포함)와 행동 규칙(Declare와 유사한 기술적 제약 조건)을 통합한다.
• '항상'(□) 및 '최소 한 번' (◇) 연산자를 사용하여 카디널리티에 대한 시간적 제약 조건을 표현하며, 지속적 위반과 일시적 위반을 구분한다.
• 이벤트 로그에 대한 불리안, SQL 유사 쿼리 기반의 적합성 검사를 정의하며, 각 제약 조건을 쿼리로 변환하고 최종 검증을 위해 결합한다.
• 시간 포인트에서 제약 조건을 평가하는 집합 이론적 의미론을 정의하여 정적 데이터 무결성과 동적 행동 종속성을 모두 포괄한다.
• 데이터 모델의 카디널리티 제약 조건을 활용해 행동을 안내하며, 캐스케이딩 의무(예: 주문 라인 생성 시 배송 및 처리 이벤트에 대한 의무 발생)를 가능하게 한다.
• 적합성 검사 복잡도가 AC₀에 속한다는 것을 입증하며, 이는 모델이 고정되어 있을 경우 로그 크기에 따라 효율적으로 확장됨을 의미한다.

실험 결과

연구 질문

• RQ1 다양한 유형의 프로세스 인스턴스 간 복잡한 상호작용을 포괄하기 위해 데이터 및 행동 제약 조건을 단일 모델링 언어로 통합하는 방법은 무엇인가?
• RQ2 데이터 종속성과 다중 인스턴스를 포함한 다양한 적합성 문제 중에서, 데이터 및 제어 흐름 제약 조건을 융합한 통합 모델을 통해 탐지할 수 있는 문제의 유형은 무엇인가?
• RQ3 OCBC 모델을 사용하여 적합성 검사를 효율적으로 공식화할 수 있는가? 그리고 그 계산 복잡도는 무엇인가?
• RQ4 일시적 및 영구적 제약 조건 위반이 다중 인스턴스 환경에서 어떻게 나타나며, 어떻게 진단할 수 있는가?
• RQ5 OCBC 모델에 상속 및 다형성 유형을 통합할 경우 행동 패턴과 의무 전파에 어떤 영향을 미치는가?

주요 결과

• OCBC 모델은 기존 방법에서 탐지할 수 없는 아홉 가지의 서로 다른 종류의 적합성 문제를 탐지할 수 있으며, 이는 다중 인스턴스 상호작용 및 캐스케이딩 의무에서 기인한 위반을 포함한다.
• OCBC 모델의 적합성 검사 알고리즘은 데이터 복잡도가 AC₀에 속하여 매우 효율적이며, 대규모 이벤트 로그에 적합하다.
• 데이터 모델의 카디널리티 제약 조건은 구조적 요소를 넘어서 동적 행동을 이끄는 역할을 하며, 시간이 지남에 따라 이행되어야 할 암묵적 의무를 생성한다.
• 해당 주문이 없는 상태에서 주문 라인 객체를 추가하면 영구적 제약 위반이 발생하지만, 유효한 주문이 함께 존재할 경우 일시적 위반이 발생할 수 있으며, 여전히 복구 가능하다.
• 이 방법은 제어 흐름을 초월한 진단을 가능하게 하여, 누락된 관련 인스턴스나 시간에 따라 변화하는 잘못된 카디널리티 관계와 같은 데이터 모델 기반의 이탈을 드러낸다.
• 데이터와 행동의 통합은 기존 프로세스 모델링 언어로는 달성할 수 없는 복잡한 패턴—예를 들어 부모-자식 프로세스 간 협업—의 모델링을 가능하게 한다.