워크플로우 결정성 판단을 위한 상호 간섭 액티비티 검출 메커니즘

프로세스 결정성은 워크플로우 프로세스의 관련데이터(relevantdata) 관점에서 볼 때, 동일한 입력 데이터를 가지고 프로세스 인스턴스를 생성하여 수행하면, 모든 프로세스 인스턴스가 항상 같은 결과의 데이터를 산출하는 프로세스의 일관적인 성질을 의미한다. 만약 프로세스 인스턴스가 수행되는 동안 어떤 순간에 참조되는 데이터의 값에 따라 처리결과가 매번 달라지고, 각각의 업무들을 처리하면서 서로 다른 업무들의 진행에 간섭하게 된다면, 이것은 기업이나 조직의 입장에서 원활한 업무의 진행을 방해하는 요소가 될 수 있다. 이에 시스템 내부적으로 비즈니스 프로세스가 올바르게 운용될 것인지에 대한 검증이 필요하다. 본 논문에서는 실행 시점에서 워크플로우 결정성을 판단 할 수 있도록, 액티비티들 간의 상호 간섭 조건을 검출하는 메커니즘을 개발한다. 이를 통해 실행 시점에서 워크플로우 프로세스의 결정성 여부의 판단이 가능하다.