• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.394-396
• /
• 1999

사용자와 개발자의 컴퓨터 환경은 시간이 지날수록 객체지향 환경으로 변화하고 있다. 초기에는 소프트웨어 개발단계에 객체지향 기술이 적용이 되었으나, 최근에는 운영체제와 같은 사용환경에도 기술이 적용되고 있다. 또한 과거 운영체제에서는 순차적이고 반복적인 작업을 쉽게 하기 위해 스크립트 언어를 많이 사용하였으나 이와 같은 스크립트 언어는 객체지향 방법이 적용된 사용환경에서는 적합하지 않은 무제점이 있다. 따라서 객체지향 기술을 사용할 수 있는 스크립트 언어에 대한 요구가 증가하였고, 자바스크립트도 그런 요구의 일부를 만족시키는 언어이다. 그러나 현재까지 사용되는 자바스크립트 해석기는 시스템에서 제공되는 객체만이 사용가능했으며 언어명세에도 기능확장을 위한 방법이 정의되어 있지 않다. 따라서 추가적인 기능확장을 위한 방법이 제공되지 않는 단점이 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.561-563
• /
• 1998

객체지향기술의 주요 목표는 구조화된 소프트웨어를 생산하는 것과, 좀더 확장가능하고 재사용가능한 시스템을 구축하는데 있다. 본 논문은 재사용이 가능한 시스템 구축에 d있어 현재 활발히 연구되고 있는 객체지향 프로그래밍 분야 중 객체지향 프레임워크의 설계 지원도구에 대해 연구하였다. 객체지향 프레임워크는 분석과 설계 정보의 재사용을 포함하는 넓은 스케일의 재사용을 제공하는 재사용가능한 소프트웨어 아키텍쳐라고 할 수 있다. 이에 대한 설계 프로세스로 우선 3개의 어플리케이션에 대한 분석으로 객체를 추출하고, 객체에 대한 책임을 부여하며, 객체들간의 연결관계를 정의함으로써 이들에 대한 공통구조를 추출한다. 객체에 대한 책임을 부여하며, 객체들간의 연결관계를 정의함으로써 이들에 대한 공통구조를 추출한다. 여기에 영역 전문가로부터의 영역지식과 기존의 해결안인 디자인 패턴을 적용하여 프레임워크의 구조를 설계한다. 그리고 이런 설계 프로세스를 지원하기 위한 지원도구들이 필요한데 이들 설계 지원도구로는 공통구조를 모델링하기 위한 모델링 도구와 영역지식에 대한 관리도구, 디자인 패턴 지원도구가 포함된다.

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

데이터 변환은 데이터 재사용, 데이터 교환 및 통합 등에 사용되는 중요한 기술이다. 본 논문에서는 이러한 데이터 변환 기술 중 객체지향 데이터베이스에 저장된 데이터를 XML 문서로 변환시키는 기술을 제시한다. 먼저 객체지향 데이터베이스의 스키마와 데이터, DTD와 XML 문서를 정의한 뒤 이 정의를 기반으로 스키마를 DTD로 변환하는 알고리즘과 데이터를 XML 문서로 변환하는 알고리즘을 제시한다. 그리고 변환에 의한 결과 XML 문서가 잘 구성된 문서이고 결과 DTD에 대해서 유효한 XML 문서임을 보임으로써 제시한 변환 기술의 유용성을 보인다.

• Journal of Aerospace System Engineering
• /
• v.16 no.2
• /
• pp.13-24
• /
• 2022

As the scale of airborne system software increases, the use of OOT (Object-Oriented Technology) is increasing for functional expansion, efficient development, and code reuse, but the verification method for airborne object-oriented software is conducted from the perspective of the existing procedure-oriented program. The purpose of this paper was to analyze the characteristics of OOT and the vulnerabilities derived from the functional characteristics of OOT, and present a verification method applicable to each software development process (Design, Coding and Testing) to ensure the functional safety integrity of aviation software to which OOT is applied. Additionally, we analyzed the meaning of the static analysis results among the step-by-step verification measures proposed by applying LDRA, a static analysis automation tool, to PX4, an open source used to implement flight control software.

• Asia pacific journal of information systems
• /
• v.6 no.2
• /
• pp.53-76
• /
• 1996

최근 들어 많은 정보 시스템들이 클라이언트/서버 환경에서 개발되고 있다. 클라이언트/서버 정보 시스템은 기존의 정보 시스템에 비해 복잡도가 높은 시스템이므로, 시스템 개발 시 체계적인 개발 방법론의 적용이 필요하다. 객체 지향 개발 방법론은 객체 지향 개념에 기반하여 시스템의 재사용성, 확장성, 신뢰성, Scalability를 증진시킬 수 있는 방법론이다. 본 연구에서는 객체 지향 방법론에서 클라이언트/서버 정보 시스템 설계 작업을 체계적으로 수행하기 위한 기법과 절차를 제시한다. 이러한 기법은 설계 작업시 사용자 인터페이스에 대한 충분한 고려가 가능하고, 설계 객체의 규명을 체계적으로 지원하고, 응용 시스템 논리를 일관성 있게 배분할 수 있도록 도와준다. 한국과학기술원의 인텔리전트 캠퍼스 프로젝트에서 개발된 학사 시스템의 적용 사례와 함께 본 연구에서 제시하고 있는 객체 지향 설계 기법에 대해 소개한다.

• Journal of KIISE:Databases
• /
• v.28 no.2
• /
• pp.131-139
• /
• 2001

데이터 변환은 데이터 재사용, 데이터 교환 및 통합 등에 사용되는 중요한 기술이다. 본 논문에서는 객체지향 데이터베이스를 유효한 XML 문서들로 변환시키는 두 가지 알고리즘을 제시한다. 먼저 객체지향 데이터베이스의 스키마, 객체지향 데이터베이스, DTD 그리고 XML 문서를 정의한 뒤 두 가지 알고리즘, 즉 객체지향 데이터베이스의 스키마를 DTD로 변환시키는 알고리즘과 객체지향 데이터베이스를 XML 문서들로 변환시키는 알고리즘을 제시한다. 그리고 제시한 두 가지 알고리즘의 결과는 항상 잘 구성된 XML 문서들이고 유효한 XML 문서들임을 증명한다. 잘 구성된 XML 문서는 XML문서가 갖추어야 하는 필수 조건이므로 반드시 필요하다. 또한 유효성은 유효한 XML 문서들을 필요로 하는 XML 응용에 유효한 XML 문서를 제공할 수 있도록 한다.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1102-1111
• /
• 2003

Spreadsheet is one of the most widely used programming tool because of its ease of use, however there have been few researches on applying object-oriented techniques in developing spreadsheet applications. Generally, spreadsheet applications contain a lot of errors, and spreadsheet has some drawbacks such as low reusability and hard maintenance. In order to solve these problems, we introduce an object-oriented spreadsheet system, named XCEL. It enables users to develop applications using systematic techniques with data modelling method, and allows users to apply object-oriented technologies to spreadsheet programming. The data modelling method allows to define classes using XML and flowchart, and the spreadsheet represents an object with contiguous cells. XCEL has advantage that users can apply object-oriented technology to spreadsheet programming.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.699-702
• /
• 2002

분산 객체 컴퓨팅은 인터넷의 활성화와 더불어 각광받고 있는 분야중의 하나이며 많은 응용 소프트웨어들이 분산객체 기술을 이용한 컴포넌트 형태로 개발되고 있다. 분산 객체 컴퓨팅 기술을 기반으로 한 CORBA는 새로운 세대의 분산 컴퓨팅 플랫폼이며, 보안은 항상 분산 컴퓨팅 플랫폼의 기본적인 문제이다. 따라서, CORBA 플랫폼에서의 보안 서비스의 적용은 매우 중요하다. 본 논문에서는 보안의 표준들과 분산 계산 플랫폼의 보안 모델들을 참조하여 CORBA 보안 서비스 규약에 따르는 객체지향 분산환경에서의 객체보안 서비스를 제시한다.

• Journal of Information Technology Application
• /
• v.1 no.3_4
• /
• pp.133-152
• /
• 1999

생산 시스템은 일반적으로 규모가 크고 복잡하며 동시 발생적인 특성을 가지는 경우가 많다. 이러한 특징은 시스템의 행태를 사전에 분석하고 시뮬레이션하기 위한 모델링에 많은 어려움을 가져오게 한다. 본 논문은 이러한 어려움을 해결하기 위하여 객체지향 페트리네트를 이용한 생산시스템 모델링 및 분석 도구를 제사한 것이다. 기본적인 구조는 페트리네트를 객체의 개념으로 구성하는 것이다. 객체의 개념으로 페트리네트를 구성하고 시스템의 행태는 객체간의 메시지 교환과 객체내의 행태로 표현된다. 시스템 분석에 있어서는 객체간의 메시지 전달관계와 객체내의 행태 분석 등이 가능하다. 대상 시스템이 객체의 클래스 개념으로 구성되기 때문에 복잡도가 많이 감소될 수 있다. 특히 본 논문에서는 상속성의 개념을 객체 지향 페트리네트에서 어떻게 구현할 것인가에 대한 방법과 분석 방법이 제시되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.567-569
• /
• 1998

기업내 분산 이기종 시스템들을 통합하는 문제를 해결하기 위해 객체지향개발방법론을 이용해 분석 및 설계를 진행하고 그 결과를 개체 기술을 이용해 구현하려는 노력이 활발하게 진행되고 있다. 그러나 아직까지 객체지향 분석 및 설계에 대한 이해와 경험의 부족으로 인해 실제 업무에서 사용될 수 있는 시스템보다 실험적인 시스템의 개발에만 적용되고 있다. 본 논문에서는 주문자가 공장에 주문한 제품에 대한 생산 및 조달의 현재 상황을 주문자 및 공장에서 실시간으로 모니터링 할 수 있는 실제적인 시스템의 개발을 위한 분석 및 설계에 초점을 맞추고 있다. 이를 위해 UML 방법론을 선택하고 UML을 지원하는 CASE 도구를 이용해 분석 및 설계를 수행했으며, JAVA와 CORBA 기반의 분산 객체 기술을 이용한 시스템 구현을 위해 OMG IDL을 산출물로 획득했다. 본 논문을 통하여 제시된 객체지향 분석 및 설계의 예는 객체지향 개발 방법론을 이용해 분산 객체 시스템을 개발하고자 하는 개발자들에게는 방법론의 안정성 및 실무 적용 경험에 대한 정보를 제공한다.