• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.6
• /
• pp.1291-1299
• /
• 2012

UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.8
• /
• pp.2072-2087
• /
• 1999

As software size ever increases and user's requirements become more and more sophisticated., the importance of software quality is more and more emphasized. However, we are not satisfied for the present techniques on detecting errors and checking consistency in the object-oriented design model. This paper proposes a systematic approach which produces implementable rules to detect errors and check consistency. At first, the meta-models for UML diagrams are constructed, generalized meta-rules are reduced from the meta-models, and then the meta-rules are applied to produce the implementable rules. This approach enables to pursue the completeness of the rules and the automation of rule application. An example of rule application shows the feasibility of the rule application.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.380-392
• /
• 1999

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.495-497
• /
• 2000

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

• 월간 기계설비
• /
• s.295
• /
• pp.93-95
• /
• 2015

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.327-330
• /
• 2002

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.403-405
• /
• 2004

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.396-398
• /
• 2000

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

• Journal of the Korean Society for Library and Information Science
• /
• v.51 no.1
• /
• pp.125-146
• /
• 2017

According to the article of inventory in the act of public records management from $29^{th}$ January on 1999, record repository, special repository and the archives have been doing inventory totally once every two years. As the archives have acquisited incredibly and explosively lots of archives, this has induced a lot of problem in inventory activity due to legacy inventory acts. To solve these problems, the author have revised and legislated on $29^{th}$ Oct. 2016. The purpose of this study is to point out the problems that prior uniformal inventory cycle and to explain in detail that the contents of the newly revised article, and a benefit and expectations of practical inventory activity. The major revision of article is inventory cycle of at least totally once every four years and the act of obligation on a after-process of inventory.

• Journal of the Korean Data and Information Science Society
• /
• v.25 no.6
• /
• pp.1345-1352
• /
• 2014

Data mining is the representative methodology to obtain meaningful information in the era of big data.By Wikipedia, association rule learning is a popular and well researched method for discovering interesting relationship between itemsets in large databases using association thresholds. It is intended to identify strong rules discovered in databases using different interestingness measures. Unlike general association rule, inverse association rule mining finds the rules that a special item does not occur if an item does not occur. If two types of association rule can be simultaneously considered, we can obtain the marketing information for some related products as well as the information of specific product marketing. In this paper, we propose a balanced attributable relative accuracy applicable to these association rule techniques, and then check the three conditions of interestingness measures by Piatetsky-Shapiro (1991). The comparative studies with rule accuracy, relative accuracy, attributable relative accuracy, and balanced attributable relative accuracy are shown by numerical example. The results show that balanced attributable relative accuracy is better than any other accuracy measures.