• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.1371-1374
• /
• 2011

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

• 한국통신학회논문지
• /
• 제17권11호
• /
• pp.1247-1263
• /
• 1992

IEEE에서 표준화된 하드웨어 설계언어인 VHDL은 하드웨어 설계분야에서 그 사용이 점차 확산되고 있다. 본 연구에서 개발된 VHDL환경은 VHDL지원환경(Support Environment)과 VHDL 사용환경(Using Environment)으로 구성되었다. VHDL 지원환경은 분석기, 상위수준합성을 위한 CDFG(Ccontrol/Data Flow Graph) 생성기, CDFG를 입력으로 하는 합성기, CDFG로부터 VHDL을 생성하는 VHDL생성기로 구축되었다. 이러한 지원 환경을 사용자가 보다 편리하게 사용할 수 있게 VHDL 사용환경을 개발하였다. VHDL사용환경은 VHDL 지원환경의 각 도구들을 그래피컬 사용자 인터페이스를 통하여 사용할 수 있게 하였고, 설계된 하드웨어의 구조로부터 VHDL프로그램을 자동생성한다.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 춘계 학술대회
• /
• 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년대 개발된 프로그램과 같이 단순하고 반복적인 교수-학습 작업을 제공하는 것이 아니다. 학습자의 요구에 정확하고 빠르게 피드백을 줄 수 있으며, 좀 더 큰 단위의 분석 및 생성이 가능하도록 하여, 좀 더 지능적인 언어 교육 시스템을 구현하는 것을 그 개발 목표로 하고 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권5호
• /
• pp.473-487
• /
• 2000

시스템의 명세 및 기술 언어인 SDL-92는 객체지향 개념의 도입에서 기존의 시스템 명세 및 설계 문서들과 사용자들을 포용하기 위해 프로세스와 시그널에 기반한 통신 방법을 고수하였다. 이러한 객체지향 개념의 도입은 메소드와 객체 기반의 객체지향 언어 프로그램의 자동 생성에 있어 대응 개념의 부재라는 문제점뿐만 아니라 이에 따르는 가시성 및 통신 방법과 같은 부수적인 문제점들까지 유발하고 있다. 따라서 본 논문에서는 메소드와 객체에 기반한 일반적인 객체지향 언어 모델을 제시한 후, SDL-92에서 제시된 모델로의 변환에서 발생하는 문제점들을 고찰하고 이를 해결할 수 있는 개념 변환 방법들을 제시한다. 제시된 변환 방법은 목적 언어의 구문으로의 사상 방법을 제공함으로써 객체들에 내장된 병렬성을 활용할 수 있고 변환된 프로그램에 대해 컴파일러 수준의 이식성을 보장할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• 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 시스템과 원활하게 문서를 교환할 수 있도록 설계 구현하였다.

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

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

• 컴퓨터교육학회논문지
• /
• 제3권1호
• /
• pp.1-12
• /
• 2000

최근 리눅스 운영체제가 웹 서버용으로 많이 사용되고 있으나, 웹 서버를 구축하기 위한 여러 가지 소프트웨어의 설치 및 데이터베이스 연동 등의 번거로운 작업들이 필요하다. 특히 국내 초, 중, 고교에서는 학교의 여건상 컴퓨터를 전문적으로 활용하여 웹 서버 구축이나 사이버스쿨을 구축 할 인원도 흔하지 않다. 본 논문은 리눅스 상에서 웹서버 프로그램의 설치와 데이터베이스의 연동 및 웹 프로그래밍 언어를 이용하여 웹 기반 사이버 스쿨을 자동으로 구축해 주는 시스템의 설계 및 구현에 관한 것이다. 이 시스템의 설계 개념은 컨텐츠가 없는 웹 기반 사이버 스쿨의 생성과 컨텐츠의 구축 과정을 분리한 2단계(phase) 구축방법이다. 즉, 몇 개의 명령어로 웹 기반 사이버 스쿨을 구축하고, 컨텐츠는 적재기능(upload)을 이용하여 이미 만들어진 파일을 간단히 적재한다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2009년도 추계학술대회
• /
• pp.198-201
• /
• 2009

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

• 한국컴퓨터산업학회논문지
• /
• 제3권12호
• /
• pp.1697-1712
• /
• 2002

UML(Unified Modeling Language)은 소프트웨어 시스템의 명세화, 시각화, 생성, 그리고 문서화를 목적으로 하는 언어이다. 또한 UML은 소프트웨어 생성을 위한 청사진을 만들어줌으로써 소프트웨어 설계의 복잡한 과정을 단순화시킨다. 본 연구에서는 Rational Rose, BizWiz와 같은 자동화된 응용프로그램 생성 도구들을 실제의 사이버 쇼핑몰에 적용하여 UML 관점에서 비교 및 분석한다. 그리고 위의 결과를 바탕으로 고객관리 업무에 UML을 적용하여 체계적인 시스템 분석, 설계 및 구현방안을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.1281-1284
• /
• 2000

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