의무정책의 형식언어적인 강화와 관리

전문가 제언

○ 컴퓨터 분야에서 의무(obligation)는 사용자들이 행동하는 데 필요로 하고 많은 요구사항을 표현하는데 기본이 되는 행동들을 명시하는데 사용된다. 이를테면, 의무 행동은 어떤 특권(선행의무)의 취득과 자원 사용을 위한 어떤 진행 중이거나 사후 요구사항(진행의무 또는 사후의무)의 충족 및 어떤 프라이버시거나 가용 정책에의 지지를 위한 선행조건을 나타낼 수도 있다.

○ 의무는 또한 마땅히 유지되어야 할 관심사의 상태(state of affairs)를 정의할 수도 있다. 의무를 명시하는 데 사용하는 규범을 여기서는 정책(policy)이라는 용어를 사용하고 이 정책을 나타내는 언어를 정책 언어라고 한다. 정책 언어는 자연어가 아닌 형식논리를 사용한 형식언어(formal language)가 사용된다.

○ 최근까지 의무 요구사항은 하드코드(hard-coded)이어서 요구사항이 변경될 때 애플리케이션의 행위를 갱신하기 어렵게 만들고 있다. 의무 정책 언어는 높은 수준의 형식언어를 사용하여 요구사항을 표현하게 함으로써 정책에서 명시된 규칙을 개선할 수 있게 한다. 더욱이 정책 언어의 형식화는 정책의 분석과 성질을 밝히는데 도움을 준다.

○ 이 논문에서는 의무정책의 관리와 강화를 위한 형식언어 프레임워크를 제안한 것으로 프레임워크는 행동 명시 언어와 능동 데이터베이스의 이벤트 행동 패러다임의 개념을 사용하여 만든다. 따라서 이 프레임워크는 의무의 상태에서 변화를 추론하고 동시에 강화를 위한 선언적 형식언어 시맨틱을 제공한다.

○ 국내외에서 형식언어에 관련된 연구는 컴퓨터 언어론, 인지과학 및 인공지능 분야에서 많이 연구되고 있으나 의무정책과 같은 개념을 형식언어로 표현한 연구는 아직 없다. 컴퓨터 융합이 공학뿐만 아니라 인문 사회과학에까지 그 영역을 확장하는 추세와 빅 데이터의 분석을 위한 도구 개발 추세에 따라 의무 정책이라는 추상적 개념을 형식언어로 표현하고 분석하는 방안을 제시하는 이 연구는 이 분야를 전공하는 과학자들에게 참고할 내용이다.

저자

Yehia ELrakaiby, Frederic Cuppens, Nora Cuppens-Boulahia

자료유형

학술정보

원문언어

영어

기업산업분류

정보통신

연도

2012

권(호)

71

잡지명

Data & Knowledge Engineering

과학기술
표준분류

정보통신

페이지

127~147

분석자

김*기

분석물

• 의무정책의 형식언어적인 강화와 관리.pdf [250,329 byte]

이미지변환중입니다.