Invariant 제약조건을 관리하기 위해서는 주로 데이터베이스 트리거를 사용하여 왔다. DB 트리거를 이용해서 제약조건을 관리하는 방법은 개념은 좋지만 시스템에 상당한 부하를 초래하며 성능 측면에서 비현실적이다. 또한, 현실적으로 Invariant는 항상 체크하는 것이 아니라 필요한 시점에서만 체크되어 관리되고 있다. 보통 Invariant는 관련된 비즈니스 프로세스 또는 단위업무를 수행할 때 체크된다. 더욱이 Invariant의 체크시점은 인력 및 장비의 가용성에 관계된 여러 경제적인 이유들로 인해 변경될 수 있다. 본 연구에서는 워크플로, BPMS등의 환경에서 비즈니스 Rule을 포함하는 Invariant 형태의 비즈니스 프로세스 제약조건을 통합 관리할 수 있는 방법론을 제시한다.

Abstract
 1. 서론
 2. 관련 연구
 3. Invariant Constraints Management
  3.1 Construct for Invariant Constraints
 4. 결론
 참고문헌

• 박철순(창원대학교)
• 최인준(포항공과대학교)