• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.

• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2007.11a
• /
• pp.82-82
• /
• 2007

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.805-807
• /
• 2004

음차표기란 외국어의 단어를 글자나 발음을 이용하여 자국어로 표기하는 것으로 정의된다. 자동음차표기는 기계번역과 정보검색 등의 자연언어처리 응용에서 사용된다. 기계번역에서는 번역사전에 등재되어 있지 않은 고유명사나 전문용어를 번역하는 방법으로 사용되며, 정보검색에서는 단어불일치 문제의 해결과 질의확장 등에 사용된다. 하지만 지금까지의 영-한 자동 음차표기 연구들은 대부분 주어진 원어에 대하여 가장 적합한 음차표기를 생성하는 연구에 초점을 맞추었다. 또한, 원어로부터 가능한 음차표기를 파악하는 연구에서도 해당 음차표기에 대한 적합성을 파악하지 않고 단순 리스트형태로 음차표기를 생성함으로써, 음차표기생성 결과에 대한 품질이 낮았다. 본 논문에서는 이러한 문제점을 해결하기 위하여, 주어진 원어로부터 가능한 음차표기를 생성하고 이들에 대한 적합성을 자동으로 파악하는 음차표기 모델을 제안한다. 본 논문의 기법은 약 72%의 단어 정확률을 나타내었으며 기존의 기법보다 최고 31%의 성능향상을 나타내었다.

• 한국정보교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.269-274
• /
• 2008

초등 음악에서 전통 국악이 차지하는 비중이 점차 커지고 있다. 하지만 정간보라는 대표적인 국악보가 있지만 제재곡의 대부분을 서양 악보인 오선보로 표기하고 있다. 제7차교육과정에서 단소 연주를 위한 한글 율명의 가로 정간보를 도입하였지만 오션보로 표기된 제재곡과는 별개로 등장하여 연관성이 부족하다. XML은 고정되지 않은 마크업 언어이며 확장성이 높고 재사용하기가 쉬운 보편적인 포맷으로 차세대 인터넷 표준 언어라고 불린다. 이에 본 논문에서는 단순히 그래픽 형식의 오선보와 정간보를 동시에 제시하는 것이 아니라 초등 국악보의 공통된 정보를 찾아내어 연관성을 제시하고 XML을 이용하여 표준화된 초등 국악보 정보를 제공하고 플래시 스크립트를 활용하여 웹으로 표현하는 시스템을 설계하고자 한다. 이런 표준화된 정보로 국악교육에서 오선보와 정간보가 일관성 있게 사용이 될 것을 기대하며 나아가 동일한 표준정보를 활용하여 세로 한자 정간보의 표현 등으로 확장될 것을 기대한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.474-476
• /
• 2000

소프트웨어 프로젝트의 비용의 대부분이 구현(implementation) 단계나 테스트 단계에서의 에러 수정에 소모되고 있으며, 이러한 에러들의 대부분은 프로젝트 개발 초기 단계에서의 부정확(imprecision)에 기안한 것이다. 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z나 VDM과 같은 정형 표기법에 의해 쓰여진다. 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP(Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 연구에서는 Z와 같은 범용 목적의 명세 언어가 병행성(concurrency)을 표현할 수 있도록 하기 위해서, 병행 프로세서(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.8
• /
• pp.902-911
• /
• 2000

A language module is the collection of language constructs whose concepts and operations are closely related. This paper demonstrates how to use action semantics to define and extend language modules. We first define a language module for an expression language core, and then language modules for bindings, block structures, parameters, and higher-order expressions. Finally, we show that the language modules can be combined, if there is no violation of uniformity and orthogonality, to become a more complex language module.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.16 no.12
• /
• pp.1423-1434
• /
• 1991

This paper extends TTCN, a conformance test notation, using object oriented concepts including object, class and inheritance. In distributed system environments, since test systems that should test the implementations for application protocols whether they conform to the standard protocol include protocol test behaviours executed in parallel, the converntional TTCN can't describe whole thest suites explicitly. ISO is working the extension of TTCN including parallel notations, but concurrently if TTCN could be applied by the object model that regards a parallel test component as a object, we would gain the advantages of reliability and software reusability, and make TTCN a test language.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.2
• /
• pp.101-111
• /
• 2005

The present web informations are mainly described in terms of HTML, which users obtain through input devices such as mouse, keyboard, etc. Thus the existing GUI environment have not supported human's most natural information acquisition means, that is, voice. To solve the problem, several vendors are developing voice user interface. However these products are deficient in man -machine interactivity and their accommodation of existing web environment. This paper presents a VUI(Voice User Interface) supporting web browser by utilizing more and more maturing speech recognition technology and VoiceXML, a markup language derived from XML. It provides users with both interfaces, VUI as well as GUI. In addition, XML Island technology is applied to the bowser in a way that VoiceXML fragments are nested in HTML documents to accommodate the existing web environment. Also for better interactivity, dialogue scenarios for menu, bulletin, and search engine are suggested.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.55 no.5
• /
• pp.216-219
• /
• 2006

This paper presents an XML based standard specification of remote control protocol for home appliances. In the framework level, the XML protocol provides a useful bridge between services and platforms. The proposed protocol has been implemented into a personal video recorder for remote recording service. The results imply the potential of global standards for remote control by its minimum overhead in network and processor. The proposed XML is designated RCXML in this paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.148-150
• /
• 2001

MusicXML, ScoreML과 같은 포맷은 음악을 XML로 표현한 것으로 음정, 박자, 조성, 리듬, 화음 등 모든 정보를 표현하기 위해 고안되었다. 즉, XML이 가지고 있는 간단성, 확장성, 재사용성의 장점을 가지며 분석, 검색, 표기법에 훨씬 큰 장점을 가진 마크업 언어들이다. 기존의 음악 검색에 대한 연구들이 음악파일에 대한 것에 행해졌던 것에 비해 본 논문은 음악을 덱스트로 표현한 XML에서 효과적인 선율 검색을 위해 계이름을 사용한 검색시스템을 제안한다.