Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2001.04a
  • /
  • Pages.519-522
  • /
  • 2001
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

Formal Verification for Business Rule Safety

비즈니스 룰의 안전성을 위한 증명기법

  • Shin, Yong-Nyuo (Formal Methods Lab., Dept. of CSE, Korea University) ;
  • Cha, Ree-Seo (Formal Methods Lab., Dept. of CSE, Korea University) ;
  • Choi, Jin-Young (Formal Methods Lab., Dept. of CSE, Korea University) ;
  • Bai, Min-O (Dept. of Computer Science, Dongduk W University)
  • 신용녀 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 차리서 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 최진영 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 배민오 (동덕여자대학교 전자계산학과)
  • Published : 2001.04.13
Download PDF
⟨ Previous Next ⟩

Abstract

바람직한 비즈니스 룰의 기본은 어디에 어떠한 형태로 구현되더라도 유일하고, 일관적인 모델 이여야 한다는 것이다. 또한 비즈니스 룰 자체의 정립은 의사결정 시스템을 사용함으로써 경영 전략이 바뀌어도 시스템 담당자에게 의뢰할 필요 없이 기획자가 바로 코드 값만 변경시키면 기존의 시스템을 그대로 사용할 수 있을 정도의 유연성을 가지게 된 현실에 비추어 볼 때 매우 요원한 일이다. 즉, 비즈니스 룰은 DRM(Digital Rights Management) 시스템뿐만 아니라 e-CRM을 실현하는 모든 시스템에서 사용되며, 이 비즈니스 룰의 충돌로 인해서 시스템의 작동 여부가 결정될 수 있다. 룰 자체가 자연어로 기술되고 언젠가는 모순을 유발할 가능성이 높기 때문에 먼저 명확한 논리식으로 표현하고 LEGO라는 정형기법 도구를 통해 검증하도록 한다.

Keywords