• 지능정보연구
• /
• 제19권1호
• /
• pp.111-123
• /
• 2013

개념간의 의미적 유사도 및 관계도(Semantic Similarity/Relatedness)를 구하는 연구는 고전적인 연구에서는 데이터 베이스 통합이나 시스템 통합, 그리고 현대의 연구에 있어서는 태그 및 키워드 추출, 연관 단어 추천 등에 걸쳐 다양한 분야에서 활용되어 온 연구이다. 그 연구는 역사가 오래되었을 뿐만 아니라, 경영정보와 컴퓨터 공학, 계산 언어학에 걸쳐 여러 분야에서도 많은 관심을 가져왔던 연구 분야라고 할 수 있다. 그러나, 지금까지의 개념간의 관계도 계산 방식은 미리 만들어진 사전이나 참조할 수 있는 다른 시맨틱 네트워크(Semantic Network)를 이용하여 계산하는 방법이 주를 이루었다. 이러한 접근 방법의 경우, 개념간의 의미적 관계가 변화에 대한 가능성을 고려하지 않는 것이 일반적이다. 하지만, 정보 기술의 발달과 빠른 사회변화는 개념간의 의미관계 등에 변화를 가져오고 있는 것이 현실이다. 사회적으로 일어나는 사건이나, 문화적 변화 등이 개념간의 의미관계를 변화시키는 것을 물론이며, 이러한 변화가 정보 통신 기술의 도움으로 빠르게 공유되고 있다. 이렇게 개념간의 의미 관계가 시간이나 맥락에 따라 빠르게 변화할 수 있는 가능성이 있음에도 불구하고, 기존의 개념간 의미적 유사도 및 관계도에 대한 연구들은 이러한 '의미관계의 변화'에 대한 새로운 문제에 대해 해답을 제시하지 못한 것이 사실이다. 따라서, 본 연구에서는 개념간의 유사도 연구에 있어 지금까지 있어왔던 '정적인 의미간 관계도 패러다임'에서 '동적인 의미간 관계도 패러다임'으로의 전환의 필요성과 그 당위성을 인지 의미론적(Cognitive Semantics)의 관점에서 역설하고자 한다. 인간이 인지하는 개념간의 의미관계가 변화할 수 있는 이론적 근거를 인지 의미론에서 찾아봄으로써, 패러다임 변화의 방향을 구체적으로 제시하였다. 또한 이러한 패러다임의 변화에 맞추어 개념간의 의미적 유사도 및 관계도에 대한 연구가 어떠한 방향으로 나아가야 할지 구체적인 연구 방향을 제시함으로써 관련 연구자들에게 새로운 연구의 가이드라인을 제시하였다.

• 정보처리학회논문지D
• /
• 제11D권7호
• /
• pp.1367-1374
• /
• 2004

XML 트리를 공유하면서 여러 사용자가 동시에 수정할 수 있게 하기 위해서는 부분 트리의 삽입/삭제가 공유될 수 있어야 한다. 이를 위해서는 트리 데이터의 구소 변경 행위에 대한 통시성 제어가 가능해야 한다. 본 논문에서는 DTD 문서 타입 정보를 이용하여 XML 트리의 반복부에 대해서만 부분 트리의 삽입/삭제가 가능한 리스트 데이터 공유 모델을 제안한다. 제안된 리스트 데이터 공유 모델은 구조 변경 행위의 적용 결과가 항상 유효하며, 여러 사용자가 동시에 접근하는 경우에도 문서의 유효성을 보장할 수 있다. 리스트 데이터 공유 모델에서 반복부 자식 노드 리스트를 잠금의 대상으로 하는 리스트 잠금 프로토콜을 제안하였다. 이 잠금 프로토콜은 기존의 방법들과 비교하여 훨씬 간단하면서 적은 수의 잠금 객체만을 다루며, 높은 접근성을 가능하게 한다. 일반적으로 공유되는 XML 트리의 삽입 및 삭제는 흔히 반복부 데이터에 대해서 적용되는 경우가 많으므로 제안된 모델은 터미널 노드 데이터 값에 대한 기존의 접근제어 방법과 함께 사용하였을 때 효과적인 데이터 공유 방법을 제공할 수 있을 것으로 기대된다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권4호
• /
• pp.231-243
• /
• 2009

내장형 신호처리 시스템의 상당 수는 스트리밍(streaming) 어플리케이션의 특성을 지니고 있다. 데이터플로우(dataflow) 계산모델을 이용하면 스트리밍 프로그래밍 패러다임을 손쉽게 표현할 수 있다. 데이터플로우 계산모델에서는 프로그램의 병렬성이 드러나므로 멀티코어를 위한 병렬 프로그램으로의 컴파일 과정 또한 용이해진다. 우리는 내장형 신호처리 시스템의 스트리밍 특성을 데이터플로우 계산모델에 기반하여 표현하기 위한 언어 확장으로서 SPEX(Signal Processing Extension)을 제안하고자 한다. SPEX는 기존의 명령형언어(imperative language)상에 스트리밍 프로그램밍 패러다임을 표현할 수 있게 한다. SPEX 언어 확장은 매개변수 데이터플로우 계산모델(parameterized dataflow)에 기반하고 있으며, 이를 위해 몇몇의 키워드를 기존의 C++ 언어 더하는 방식으로 이루어져 있다. 본 논문에서는 하나의 필터내에서의 스트리밍 계산 특성 및 필터 간의 스트리밍 데이터 전달을 표현하는 SPEX의 기능에 초점을 맞추고자 한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권1호
• /
• pp.1-13
• /
• 2003

본 논문은 객체지향 데이타베이스 시스템에서의 내용 의존적 권한부여 기법을 제시한다. 현재까지 객체지향 데이타베이스를 위한 많은 권한부여 모델들이 제안되었으나 대부분 데이타베이스의 내용에 기반한 권한부여를 지원하지 못하였다. 본 논문은 객체지향 데이타베이스를 위한 기존의 내용 독립적 권한부여 모델을 클래스의 애트리뷰트의 값에 대한 술어를 이용하여 확장한 내용 의존적 권한부여 모델을 제시하였다. 제시된 모델은 객체의 값에 대한 명시된 조건을 만족하는 객체들을 집단화하여 그러한 객체들에 대해 하나의 권한을 부여할 수 있게 한다. 또한 부정 권한을 지원하며 긍정 권한과 부정 권한 사이의 충돌을 해결하기 위하여 강성 권한과 약성 권한의 개념을 지원한다. 또한 권한에 술어를 결합시킴으로써 생기는 여러 가지 문제점들을 지적하고 이를 해결한다. 특히 내용 독립적 권한부여 모델에서의 권한 연산들이 본 논문에서 제시하는 모델에서 그대로 적용될 수 없음을 보이고 연산들의 의미를 재정의 하였다.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.23-36
• /
• 2018

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

• International Journal of Computer Science & Network Security
• /
• 제21권5호
• /
• pp.139-150
• /
• 2021

Object orientation has become the predominant paradigm for conceptual modeling (e.g., UML), where the notions of class and object form the primitive building blocks of thought. Classes act as templates for objects that have attributes and methods (actions). The modeled systems are not even necessarily software systems: They can be human and artificial systems of many different kinds (e.g., teaching and learning systems). The UML class diagram is described as a central component of model-driven software development. It is the most common diagram in object-oriented models and used to model the static design view of a system. Objects both carry data and execute actions. According to some authorities in modeling, a certain degree of difficulty exists in understanding the semantics of these notions in UML class diagrams. Some researchers claim class diagrams have limited use for conceptual analysis and that they are best used for logical design. Performing conceptual analysis should not concern the ways facts are grouped into structures. Whether a fact will end up in the design as an attribute is not a conceptual issue. UML leads to drilling down into physical design details (e.g., private/public attributes, encapsulated operations, and navigating direction of an association). This paper is a venture to further the understanding of object-orientated concepts as exemplified in UML with the aim of developing a broad comprehension of conceptual modeling fundamentals. Thinging machine (TM) modeling is a new modeling language employed in such an undertaking. TM modeling interlaces structure (components) and actionality where actions infiltrate the attributes as much as the classes. Although space limitations affect some aspects of the class diagram, the concluding assessment of this study reveals the class description is a kind of shorthand for a richer sematic TM construct.

• 한국전자거래학회지
• /
• 제10권2호
• /
• pp.21-41
• /
• 2005

엔터프라이스 아키텍처 (EA) 프레임워크는 기업의 정보기술 요소들 사이의 상호 운영성을 증가시키기 위해 활용되는 EA를 구축하기 위한 도구이다. 본 논문은 엔터프라이스 아키텍처 유닛(AU), 참조모델, 그리고 도메인 모델 사이의 연관관계를 조합하여 정의한 ENAE (ENterprise Architecture Framework)이라는 엔터프라이스 아키텍처 프레임워크의 설계 기법을 정의한 것이다. 이 기법에서 정의하는 AU는 하나의 비즈니스 프로세스와 이를 지원하는 시스템 및 기술요소들을 연관관계를 포함하여 조합한 최소단위의 EA로서. 서로 연관이 있는 AU들의 조합을 통하여 EA의 구축이 가능하도록 하였다. UML과 같이 범용성있는 모델링 언어의 사용은 비즈니스 도메인을 표현하는데 한계가 있으므로, 비즈니스 도메인의 기술에 적합한 DSM의 개념을 도입하였으며, DSM으로 정의된 AU 들은 토픽 맵을 이용하여 EA를 생성할 수 있다. 논문의 2장은 EA 관련 연구 및 DSM, 토픽 맵에 대하여 기술하였으며, 3장은 본 연구에서 제안하는 EA 프레임워크의 설계 방법에 대하여 설명하였으며, 4장에서는 본 설계 기법을 적용한 사례에 대하여 설명하였다.

• 인터넷정보학회논문지
• /
• 제8권6호
• /
• pp.135-144
• /
• 2007

특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통된 개념들과 서로 다른 개념들을 모델링하는데 널리 사용된다. 특성 모델로부터 특정 제품에 포함될 특성들을 선택한 결과를 특성 구성(Feature Configuration)이라고 하며, 이것은 특정 제품에 대한 요구 사항을 나타낸다. 현재 소프트웨어 제품 라인 개발 시 특성 모델과 특성 구성을 어떻게 구축하고 이용하는지에 대한 연구는 많이 되어 있지만, 이들에 대한 정형적 시맨틱과 논리적 추론에 대한 연구는 부족하다. 본 논문에서는 소프트웨어 제품 라인 공학에서의 표준 문제로 제안된 Graph Product Line을 예제로 하여 규칙 기반 시스템인 JESS를 이용한 특성 구성 검증 기법을 제안한다. 본 논문의 기법은 특성 구성의 불일치성을 일으키는 원인을 명확히 제시하는 장점을 가지며, 자바 언어와의 결합성이 뛰어난 JESS 시스템에 기반을 두었기 때문에 다른 소프트웨어 제품 라인 개발 환경과 쉽게 통합될 수 있다.

• 자연과학논문집
• /
• 제8권1호
• /
• pp.115-121
• /
• 1995

기존의 상업용 데이타베이스 시스템들은 복잡한 오브젝트 들의 계층 구조에 의존하며 방대한 양의 데이타를 반복적으로 접근하는 CAD 데이타의 특성을 효과적으로 지원하지 못하여 CAD 데이타베이스의 중요성과 이의 효율적인 관리를 위한 연구의 필요성이 대두되었다. 본 논문에서는 CAD 데이타베이스의 효율적인 관리와 설계 도구들의 통합을 위한 좋은 환경을제공하기 위하여, 계층적 인터페이스 시스템을 설계하고 이의 구현을 위해 CAD 데이타베이스의 특성을 고려한 GROCO 모델을 제시하고자 한다. 배치기와 변환기의 두 개의 서브시스템으로 구성된 계층적 인터페이스 시스템은 CAD 데이타의 효율적인 관리를 위한 빠른 실용화를 위해 기존의 상업용 데이타베이스 관리 시스템과 CAD 도구들을 인터페이스 시키는시스템으로 개발되어 실제 CAD 도구들에 적용하고자 한다. GROCO 모델은 데이타의 의미들을 나타내기 위한 5개의 노드 타입들이 연결되어 방향 주기 그래프를 구성하고 있다. 이 모델은 이질적인 데이타들의 다양한 형태의 모임으로 구성된 복잡한 오브젝트들의 계층구조에 의해 이루어진 CAD 데이타의 특성을 효과적으로 지원하고자 한다.

• 한국비블리아학회지
• /
• 제25권4호
• /
• pp.235-263
• /
• 2014

미국국회도서관에서 서지레코드의 웹 접근성을 확보하고 웹 환경으로의 통합을 목적으로 새로운 서지기술형식인 BIBFRAME을 제시하였다. 본 연구는 BIBFRAME 모델 및 경과를 소개하고, BIBFRAME 클래스와 속성어휘를 살펴보고, MARC21과 BIBFRAME 어휘간 매핑, MARC 목록레코드의 BIBFRAME 전환사례를 제시함으로써 BIBFRAME 활용방안에 대한 이해를 높이고자 하였다. BIBFRAME은 서지개체를 저작-인스턴스 관계로 구분하고 데이터의 시맨틱을 이해할 수 있는 RDF/XML과 식별자를 사용하며, 주석 개체를 제시하여 이용자 및 외부 기관에서 생산한 정보를 서지데이터상에 제시하고 있다. 이를 통해 서지데이터의 링크드 데이터로의 활용가능성을 제시하고 이용자의 정보탐색가능성을 향상할 수 있다는 점에서 그 의의가 있다. 그럼에도 불구하고 콘텐트 모델에 상관없는 적용 및 다양한 자료유형의 수용을 보완하기 위한 계속적인 테스트가 요구되며 복잡한 구조의 사용성을 높이기 위한 BIBFRAME 모델 및 어휘 수정 그리고 가이드라인 구축이 요구된다.