• 한국정보통신학회논문지
• /
• 제16권6호
• /
• pp.1291-1299
• /
• 2012

UML은 풍부한 문법이 제공되어 다양한 표현이 가능하지만, 사용자가 작성한 다이어그램의 일관성을 보장하지는 못한다. 따라서, 본 논문에서는 UML다이어그램 사이의 일관성을 개선할 수 있는 상호점검규칙을 제안하며, 특히 UML 동적 다이어그램과 정적다이어그램의 일관성에 중점을 둔다. UML 다이어그램의 구성요소와 상호관계를 보다 명확하게 상호점검규칙에 반영하기 위하여 메타모델을 이용하고, 규칙의 정확한 표현을 위하여 UML 표준 제약언어인 OCL을 사용한다. 상호점검규칙은 UML 명세의 well- formedness -rule과 비교하여 일관성에 중점을 두어 유도하였으며, 정적 다이어그램과 동적 다이어그램의 메타모델을 유도하고 다이어그램 사이의 관계성분석 과정을 거친다. 마지막으로 사례 다이어그램에 제안된 점검규칙을 적용하여 그 유용성을 검증한다.

• 한국정보처리학회논문지
• /
• 제6권8호
• /
• pp.2072-2087
• /
• 1999

소프트웨어의 대형화와 사용자 요구사항의 복잡화에 따라, 소프트웨어 개발 초기 단계에서의 산출물의 정확성과 일관성은 중요해지고 있다. 하지만, 객체지향 방법을 기반으로 한 설계 문서에 대한 오류 검출 및 일관성 점검을 위한 기법은 만족할 만한 수준에 이르지 못하고 있다. 본 논문은 UML(Unified Modeling Language)의 다이어그램들에 대한 메타모델을 작성하고, 메타모델의 각 요소들에 대하여 적용할 일반화된 메타규칙을 도출하고, 메타규칙들을 각 다이어그램에 적용한 세부규칙 도출에 활용하였다. 이 방법은 오류 검출과 일관성 점검에 활용할 세부규칙들을 체계적으로 도출하므로, 규칙의 완전성을 도모하고 규칙적용의 자동화를 가능하게 하였다. 또한, 도출된 세부규칙을 적용한 사례를 통하여 그 효용성을 확인하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권3호
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.495-497
• /
• 2000

분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출물로 관리되어야 한다. 본 논문은 이를 지원하기 위해 정형명세를 위한 New FST를 정의하고, 분석 모델의 정확성과 일관성 검증 규칙을 제안하며, 사례 연구를 통하여 적용하여 이 규칙들을 시험하였다.

• 월간 기계설비
• /
• 통권295호
• /
• pp.93-95
• /
• 2015

지난 2013년 7월 25일 도시가스사업법 시행규칙 개정에 따라 도시가스 은폐배관 설치 시 천정에 가스누출점검을 위한 점검구를 뚫거나 값비싼 다기능가스안전계량기를 설치해야 한다. 이에따라 수많은 민원이 발생하여 대한설비건설협회(이하 협회)는 실내 미관을 위해 점검구의 크기를 축소하고, 가스누출 점검을 위한 대체방법으로 다기능가스안전계량기 뿐만 아니라 가정에서 저렴하게 설치할 수 있는 가스누출확인배관용밸브 설치도 허용해 줄 것을 건의해 왔다. 협회 건의에 대해 가스기술기준위원회는 지난 1월 27일 질의회신을 통해 가스누출확인배관용밸브 설치 시 은폐배관의 가스누출이 탐지 가능하므로 가정 내에서 이 밸브를 설치할 경우 점검구를 뚫지 않아도 된다고 회신했다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (상)
• /
• pp.327-330
• /
• 2002

네트워크와 컴퓨터시스템의 보안을 강화하기 위해서는 보안상의 취약성이 발견되는 대로 파악하고 점검해 주어야 한다. 그러나 대부분의 네트워크기반 침입탐지 시스템은 취약성을 파악하기 위해서는 국내외 관련 사이트들을 수동적인 방법으로 검색하기 때문에, 취약성 규칙을 갱신하는 것은 매우 어렵다. 본 논문에서는 에이전트가 스스로 관련 사이트에서 취약성 정보를 검색하여 새로운 취약성 정보를 추출한 후, Snort의 최적 규칙 형태로 변환하고 취약성 규칙을 갱신해주게 된다. 본 에이전트에 의해 갱신된 취약성 규칙 DB는 많은 규칙이 추가될지라도 침입을 탐지하는 속도가 떨어지지 않고, 확장성 및 이식성이 용이하다는 특징을 가진다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.403-405
• /
• 2004

본 연구는 미들웨어 기반의 OSGi(Open Service Gateway initiative) 서비스 플랫폼과 규칙 기반 생성 시스템 기술을 응용하여 유연하고 효율적인 홈 서버 아키텍처를 제안한다. 미들웨어 컴포넌트인 서비스를 엔진은 서비스로부터 요청된 호출을 정해진 규칙에 따라 평가 판단하여 홈 기기들을 제어하고 관리한다. 서비스 룰 엔진은 실행 규칙이 명세 되어 있는 프로파일을 참조하여 처리하고, 홈 기기 접근 권한과 현재 서로 상충되는 홈 기기가 작동 중인지 점검하며, 우선순위와 충돌 방지 조건 및 제약조건을 조회하여 홈 기기를 제어한다. 이때 방제, 보안에 관련된 홈 기기의 작동이 요구되는 경우 정해진 방재, 보안 규칙에 따라 가장 먼저 수행된다. 프로파일은 사용자가 서비스를 매니저를 통해 관리하거나 외부의 접근 허가된 사용자가 관리할 수 있으며, 여러 형태의 프로파일이 제공되어 사용자의 성향에 따라 프로파일을 선택하여 홈 서버에 적용할 수 있다

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.396-398
• /
• 2000

본 논문에서는 기존의 저작 도구에서 볼 수 있는 시간 중심 저작의 단점을 극복하고자 규칙 기반의 저작을 가능하게 함으로써 객체 상호간의 행위 관계를 지원하는 Genesis 시스템이라는 저작도구를 소개한다. Genesis 시스템은 사용자가 구현하고자 하는 하나의 세계를 만들고 그 세계 속에서 행동하게될 객체들과 그 객체들간의 행동 관계를 규칙을 통해서 정의할 수 있다. 변수, 모양, 행동 등이 정의된 하나의 객체는 시간의 흐름, 사용자의 이벤트 등에 의해서 자신에게 정의된 위치 검사와 변수 검사등의 규칙을 점검한 뒤 그 규칙을 만족을 하게 되면 정의된 행동을 수행한다. 이러한 객체에 대한 규칙의 정의, 객체가 존재할 공간에 대한 환경 설정 등을 통해서 사용자는 자신이 원하는 가상 세계, 시뮬레이션, 게임 등을 제작할 수 있다.

• 한국문헌정보학회지
• /
• 제51권1호
• /
• pp.125-146
• /
• 2017

1999년 1월 29일 제정된 공공기록물관리법 정수점검 관련 조항에 따라 기록관, 특수기록관, 영구기록물관리기관은 '매2년 전수1회' 주기로 정수점검을 실시해 왔다. 특히 영구기록물관리기관은 그 동안 적극적인 수집활동을 통해 보존기록물이 폭발적으로 증가하였으나, 기존 정수점검 관련 법령 조항으로 인해 정수점검 수행 시 많은 문제점과 실효성에 의문이 제기되어 왔었다. 본고는 영구기록물관리기관의 정수점검 업무에 대해 새롭게 제 개정된 법령의 개정사유, 내용, 목적 및 입법취지 등을 소개하고 기존 업무의 문제점과 변경된 업무의 개선사항을 분석하였다. 필자는 다년간 정수점검 업무를 담당하면서 발견된 문제점과 근본적 해결을 위해 시행규칙 제 개정 작업에 착수하여 초안 및 최종안 작성과 법제처 법률검토를 거쳐 2016년 8월 29일부터 새로운 정수점검 관련 법 조항을 제 개정하였다. 제 개정된 정수점검 관련 법조항의 가장 핵심적인 내용은 '최소 매4년 전수1회'라는 탄력적 정수점검 주기적용과 '사후조치 의무화' 규정이다.

• Journal of the Korean Data and Information Science Society
• /
• 제25권6호
• /
• pp.1345-1352
• /
• 2014

데이터마이닝 기법 중에서 연관성 규칙은 연관성 평가 기준을 기반으로 하여 데이터베이스에 포함되어 있는 항목들 간의 관련성을 탐색하는 기법이다. 일반적인 연관성 규칙 기법과는 달리 역의 연관성 규칙은 하나의 항목집합이 발생하지 않으면 다른 항목집합도 발생하지 않는다는 규칙을 찾아내는 것이다. 이러한 역의 연관성 규칙을 일반적인 연관성 규칙과 함께 생성하면 기업체에서 특정 제품을 판매하기 위해서는 그 제품만의 마케팅뿐만 아니라 더 나아가 어떤 제품의 마케팅이 필요한 지에 대한 정보를 파악할 수 있다. 이를 위해 본 논문에서는 이러한 두 종류의 연관성 규칙에 적용 가능한 균형화된 기여 상대적 규칙 정확도를 연관성 평가 기준으로 제안하고자 한다. 또한 Piatetsky-Shapiro (1991)가 제안한 흥미도 측도가 가져야 할 조건들을 점검한 후, 예제를 통하여 제안된 측도와 연관성 규칙에 적용 가능한 의학진단분야의 평가 측도들의 유용성을 비교하였다. 그 결과, 기여 상대적 정확도와 역의 기여 상대적 정확도의 크기가 다르게 나타나면 연관성의 정도를 명확하게 설명하기가 어려우므로 이들 두 측도를 동시에 고려한 균형화된 기여 상대적 규칙 정확도를 이용하는 것이 가장 바람직하다는 사실을 확인하였다.