• Annual Conference of KIPS
• /
• 2011.04a
• /
• pp.1371-1374
• /
• 2011

MDA(Model Driven Architecture)는 추상적인 모델 계층을 사용하기 때문에 다양한 플랫폼에 적용가능하고, 각 모델 계층과 코드 생성의 자동화를 통해 개발의 효율성을 극대화한다. 본 연구에서는 XML 형태로 저장된 설계정보를 분석하여 MDA 기반 컴포넌트 설계 정보를 관리하는 도구를 개발하였다. 이 도구는 UML로 작성된 설계모델를 XMI(XML Metadata Interchage) 형태로 저장하여 각종 설계도구에서 Java, C++과 같은 언어에 대한 실제 프로그램 골격코드가 자동으로 생성되도록 하였다. 역으로 골격코드를 기반으로 구현된 콤포넌트의 원시코드를 수집하여 다시 컴포넌트 설계모델 정보를 추출하는 기능을 구현하였고, 이를 다시 시각적 정보로 재구성 하였다. 이러한 기능들은 기존의 단방향적 개발 구조 방식에서 벗어나 이미 개발되거나 개발 중인 프로그램에 대한 분석 및 평가 등을 통해서 재사용성을 높여주는 순환적인 개발 구조 방식을 제공한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.11
• /
• pp.1247-1263
• /
• 1992

VHDL, which is the IEEE standard HDL, has gradually become popular in the area of hardware design, the VHDL Environment developed in this study consists of VHDL Support Environment and VHDL Using Environment. The VHDL Support Environment is composed of Analyzer, CDFG Generator for synthesis, Synthesizer, and VHDL Generator converting CDFG to VHDL. The VHDL Using Environment provides users with more convenient access to the VHDL Support Environment. The VHDL Using Environment allows accessing the tools in the VHDL Support Environment through Graphical User Interface. VHDL program can be automaticaly generated from schematics in the VHDL Using Environment.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.05a
• /
• pp.143-149
• /
• 2000

본고에서는 불어 자동처리 연구의 기초이면서, 불어 초·중급 학습에 가장 큰 걸림돌로 여겨지는 불어 굴절 변화형의 분석 및 생성 교육 시스템 Inflection-edu를 소개한다. inflection-edu는 부산대학교 언어 정보 연구실에서 개발한 불어 형태소 분석-생성기를 기반으로 하였으며, 동사 8,249개, 명사 29,059개, 형용사 9,957개와 그 굴절 변화형을 모두 분석 및 생성할 수 있으며, 학습자를 위한 굴절 규칙 231개를 포함한다. 제 2 장에는 분석과 생성을 위한 모델화(modelling) 방법론을 제시하고, 제 3 장에서는 이 결과를 불어 교육 시스템에 연동하기 위한 인터페이스를 제시하고, 제 4 장에서는 Inflection-edu의 인터페이스를 소개한다. 제 5 장에서는 남은 문제와 향후 응용 방향을 알아본다. 형태소 분석기와 생성기능이 교육 시스템에 통합된 Inflection-edu는 70년대 개발된 프로그램과 같이 단순하고 반복적인 교수-학습 작업을 제공하는 것이 아니다. 학습자의 요구에 정확하고 빠르게 피드백을 줄 수 있으며, 좀 더 큰 단위의 분석 및 생성이 가능하도록 하여, 좀 더 지능적인 언어 교육 시스템을 구현하는 것을 그 개발 목표로 하고 있다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.5
• /
• pp.473-487
• /
• 2000

SDL-92, the language for specification and description of system, has held on to the communication method that based on processes and signals in the adoption of object-oriented concept to embrace the previous documents of system specification and description and users. It has caused problems, not only the absence of corresponding concepts in automatic generation to object-oriented language program based on method and object, but also some side effects accompanied by them like visibility and communication method. So, in this paper, we present a general object-oriented language model, which based on method and object, make a study of problems in the transformation fromSDL-92 to proposed model, and then propose conceptual transformation methods to solve them. The proposed transformation method can utilize the built-in parallelism in objects and guarantee the compiler level portability in translated program by providing translation into the syntax of target language.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.519-521
• /
• 1999

본 논문은 인터넷상에서 사용이 가능하며 확장성이 뛰어난 XML을 이용하여 B2B (Business to Business) 사이에 사용되는 EDI(Electronic Data Interchange) 문서를 표현함으로써 이기종 시스템과 응용 프로그램간의 원활한 문서 유통을 이룰 수 있는 시스템의 설계 및 구현에 관한 것이다. 이를 위해 기존 EDI 표준인 UN/EDIFACT 메시지 전송 항목에 기반하여 문서형 정의부(Document Type Definition, DTD)를 개발했으며 메시지 수행 지침서(Message Implementation Guide, MIG)를 이용하여 템플리트를 구성하였다. 동적인 XML/EDI 문서를 생성하기 위하여 트랜잭션 처리기 및 생성된 XML 문서의 표현을 위하여 XML 스타일 언어(eXtensible Stylesheet Laguage, XSL)를 자동으로 생성, 변경할 수 있는 XSL 편집기를 개발하였다. 또한 변환 처리기를 두어 기존 EDI 시스템과 원활하게 문서를 교환할 수 있도록 설계 구현하였다.

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

컴퓨터 통신이 확대되면서 심각하게 대두된 문제 중 하나는 보안 프로토콜의 설계와 구현이라 할 수 있다. 현재 안전한 보안 프로토콜을 설계하기 위해 정형 기법을 적용하여 검증하는 연구가 많이 진행되고 있다 하지만 프로토콜을 설계 할 때 나타날 수 있는 보안적 취약 사항들을 정형 기법을 이용하여 제거한다 하더라도 구현된 프로토콜 상에서 프로그래머의 코딩 실수나 프로그램 언어의 특성상 보안 취약점이 존재할 수 있다. 따라서 보안 프로토콜 구현 시 나타날 수 있는 문제를 해결하기 위해 정형 검증된 프로토콜을 실제 구현 코드를 생성할 수 있는 도구의 필요성이 높아지고 있다. 본 논문에서는 Casper에서 보안 프로토콜을 검증한 후 검증된 프로토콜을 AISP-C2에 입력하여 C#으로 구현 코드를 자동 생성하도록 하고 정형 검증에서 검증한 수 없는 실제 컴퓨팅 환경에서 발생할 수 있는 보안성 취약점을 제거하기 위한 기능을 추가하였다.

• The Journal of Korean Association of Computer Education
• /
• v.3 no.1
• /
• pp.1-12
• /
• 2000

Recently, Linux operating system is used for web server environment, but to build web server applications need to be operated many related softwares, such as installing web server, web and database system integration and programming for script language. Most of schools in korea do not have computer specialist for building web server or cyber school. In this paper, we describe design and implementation of an automated building system(AnyBuilder) for cyber school. AnyBuilder build web-based cyber school system, just clicking a few of button and some commands. Especially, it has two phases to build cyber school, one is to generate empty web-based cyber school and the other is to upload contents of lecture.

• 한국IT서비스학회:학술대회논문집
• /
• 2009.11a
• /
• pp.198-201
• /
• 2009

오늘날 운영체계와 미들웨어는 수많은 API를 제공하고 있다. 최종 사용자들이 사용하는 응용 프로그램들은 이러한 API를 활용하여 개발되어지고 있다. 기존의 문서와 같은 형태의 API에 대한 기술은 기계가 자동적으로 처리하기 힘들며 개발자 입장에서도 API를 이해하기 위해서 책을 직접 읽고 이해해야 한다는 단점이 있다. 이를 극복하기 위하여 docgen과 같은 도구들이 있으나 결국은 개발자 관점에서는 API를 직접 숙지하여야 하며 응용 프로그램 상에서 직접 운영체계에서 제공하는 API 호출 부분을 작성하여 개발하여야 한다는 부분은 동일하다. 또한 서로 다른 다양한 운영체계에서는 형식은 다르지만 유사한 기능을 제공을 하는 API들이 있으나 개발자는 특정 운영체계의 API에 맞추어서 각각의 운용체계에 맞는 응용 프로그램을 개발하여야 하는 문제점이 있다. 본 연구에서는 API에 대한 정보에 대한 규격을 정의하고 각각의 API의 기능 및 특성에 대하여 메타 기술언어를 사용하여 기술하여 저장소에 저장해두고 실행시에 이러한 API정보를 사용하여 응용 프로그램과 동적으로 바인딩시켜서 실행시키는 체계에 대해서 논의한다. 응용 프로그램에서 사용하려고 하는 API와 운영체계에서 제공하는 API를 동적으로 결합시키는 엔진에서는 운영체계별 API의 차이에 의한 부분을 상쇄시키는 역할을 담당한다. 이러한 체계를 활용하면 동적으로 재구성 가능한 응용을 개발하는데 있어서 하부 시스템으로 활용될 수 있다. 향후 표준 API를 기술하는데 있어서도 본 연구에서 제시하는 메타 방식의 API 기술표현을 활용하면 보다 정확한 표준 규약 준수 여부를 확인할 수 있는 방법을 제공할 수 있다.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.12
• /
• pp.1697-1712
• /
• 2002

Unified Modeling Language (UML) is a standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems. It simplifies the complex process of software design, making a blueprint for construction. In this paper, we apply automated application generation tools such as Rational Rose and BizWiz to a realistic cyber shopping mall and then compare and analyze them in the view of UML. We also propose some methods for the systematic system analysis, design, and implementation by applying UML to a customer management system based on above results.

• Annual Conference of KIPS
• /
• 2000.10b
• /
• pp.1281-1284
• /
• 2000

능동 데이터베이스 시스템은 일반적인 데이터베이스 시스템과 달리 어떤 사건이 발생하면 조건의 성립 여부에 따라 적절한 반응을 자동적으로 실행하는 시스템이며, 능동성은 사건, 조건 그리고 조치로 이루어진 능동규칙에 의해 수행된다. 그러므로 능동 데이터베이스는 규칙의 개념이 중심이 된다. 규칙은 사용자와 응용프로그램 또는 데이터베이스 관리자에 의해 정의되며, 대부분 일반적인 형태인 ECA로 이루어져 있다. 따라서 본 논문에서는 에너지관리 시스템에 적용하기 위한 능동 규칙 시스템의 구조에 따른 능동규칙을 일반적인 규칙언어 형태를 바탕으로 설계하고, 다양한 응용시스템에서의 확장성을 제시한다.