• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Journal of Internet Computing and Services
• /
• v.2 no.2
• /
• pp.71-93
• /
• 2001

Commonly to design a database system. a conceptual database has to be designed and then it is transformed into a logical database schema prior to building a target database system. This paper proposes a method which transforms a Temporal Entity-Relationship Model(TERM) into a Temporal Object-Oriented Model(TOOM) to build an efficient database schema. I formalize the time concept in view of object versioning and specify the constraints required during transformation procedure. The proposed transformation method contributes to getting the logical temporal data from the conceptual temporal events Without any loss of semantics, Compared to other approaches of supporting various properties, this approach is more general and efficient because it is the semantically seamless transformation method by using the orthogonality of types of objects, semantics of relationships and constraints over roles.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.4
• /
• pp.607-612
• /
• 2003

This paper has been designed extend object-orientid database model that introducted new class basing the Heurilistic Classfication model. In order to implement this model, we have introducted heurilistic class to traditional object-orinted database. And we designed querry for search data that basis on the heurilistic classficasion model using stored data in extened object-oriend data model.

• Annual Conference of KIPS
• /
• 2004.11a
• /
• pp.389-392
• /
• 2004

객체지향 프로그래밍 초보자도 수월하게 좋은 품질의 객체지향 프로그램을 작성할 수 있도록 하기 위한 개발 도구 및 프로그래밍 교육지원 도구에 대한 요구가 증가하고 있다. 본 논문에서는, 객체지향 프로그래밍 초보자를 위한 자바 개발 환경으로서 널리 사용되고 있는 BlueJ의 Extension 기능을 이용하여 클래스 품질 평가 기능을 설계/구현하였다. 본 연구결과는 객체지향 프로그래밍 교육자 및 피교육자가 손쉽게 클래스 품질 평가를 수행할 수 있음으로써, 프로그래밍 교육에 활용될 수 있으며, 객체지향 프로그래밍 초보자에게 있어서, 자신이 작성한 클래스에 대한 품질 평가론 반복적/즉각적으로 수행함으로써 보다 좋은 품질의 객체지향 프로그램을 작성할 수 있는 프로그래밍 환경을 제공한다.

• Journal of Korea Game Society
• /
• v.16 no.3
• /
• pp.17-26
• /
• 2016

In the domestic game development field, game system planning is the work that game designers design the gameplay mechanics system to satisfy the game concepts in the perspective of creative design by data structural methods. But the programmers work to design the game system based on the results of the game system planning in the perspective of engineering design by object-oriented methods. This work process is a high risky way for high occurring probability of communication errors between the game designers and programmers, and mismatching errors in their work results. In this study, we propose an object-oriented design method of game system for the game designers in order to resolve this problem. The proposed method is a customized one of GRAPPLE object-oriented SW development guidelines to suit the game system planning. To investigate the effectiveness of the proposed planning method for the game designers, we carried out a survey targeting 10 game system designers working in the domestic game industry. The survey results show that the necessity and effectiveness of the proposed method is "a little over" for almost the game designers.

• Journal of Astronomy and Space Sciences
• /
• v.15 no.2
• /
• pp.475-484
• /
• 1998

The object-oriented approach is a difficult method for engineers who are accustomed to other software development methods although it is an excellent software development approach. This paper presents a method for object-orineted modeling re-using DFD(Data Flow Diagram) and SC(Structure Chart) of structured analysis and design approach. This paper suggests an easy method for analysis and design using structured approach for object abstraction, which is one of the most difficult things in object-oriented approach.

• Journal of KIISE:Software and Applications
• /
• v.28 no.6
• /
• pp.414-428
• /
• 2001

객체 지향 설계를 재구조화하기 위해서는 메소드와 속성들 사이의 관계를 파악해야 한다. 메소드와 속성들이 동일한 클래스에 속하는지를 추론하는 과정은 클래스 자료 참조 분석과 메소드 호출 분석에 의존한다. 최근의 많은 소프트웨어들은 규모가 방대하고 복잡하여 개발자가 도구를 사용하지 않고 수작업으로 설계를 재구조화기 어려우며 또한 너무 많은 시간과 노력이 요구된다. 본 논문에서는 메트릭을 이용하여 객체 지향 설계를 자동적으로 재구조화하는 방법을 기술한다. 먼저 메소드, 속성, 클래스, 그리고 그들의 관계츨 추상화된 모델로 표시한다. 이 모델을 기반으로 객체 지향 설계를 정량적으로 측정할 응집도와 결합도 메트릭을 정의한다. 본 논문의 메크릭은 재고조화 과정 동안에 여러 다른 설계들을 효율적으로 비교하기 위한 유용한 기준을 제공한다. 기본 재구조화 행위들과 그 의미(semantics)를 정의하고 메트릭과 행위들을 사용하여 설계를 자동적으로 재구조화한다.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.4
• /
• pp.817-833
• /
• 1996

Most object-oriented analysis and design methodologies are based on structured analysis and information modeling and are using for intuitive analysis and design models based on object-oriented programming languages. Therefore there are many problems such as when a system is implemented incorrect semantics and inconsistency between models.This paper submits a decomposition and design method for object, dynamic and functional module of the methodology of a new system development life-cycle. Thus, we present a new system development life cycle, and suggestsa object-oriented design methodand standards of module decomposition for the decomposition of object, dynamic, functional models due to object-oriented design procedures and specifications. This proposed method enables developers to reflect user's software requirements conveniently. We prove the validity and practicality of this object-oriented design method through implementing a real-system.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.371-374
• /
• 2011

UML is a very good description of object-oriented concepts and supports the use case diagram for analyzing the system functionality, the class diagram for representing the domain object in the analysis step, the sequence diagram for connecting the action in the class. The visual-based, object-oriented LabVIEW OOP is an intuitive design tool that can be executed at the same time as a development tool. However, even the system developer using LabVIEW OOP is needed known about the object-oriented concept in the design stage. In this paper, we suggest the method to applying the UML modeling diagram to LabVIEW OOP design.

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

본 논문은 객체 관계형 실시간 DBMS인 Tachyon이 제공하는 데이터 타입과 객체지향 질의의 설계 및 구현을 기술한다. Tachyon은 고성능 데이터 처리를 지원하는 객체 관계형 메모리상주 데이터베이스 시스템(Main-memory resident ORDBMS)로 Tachyon의 데이터 타입과 SQL은 ANSI SQL 3 draft를 기반으로 설계되었으며, 객체 관계형 질의 처리를 위한 OID 데이터 타입을 추가하였다. Tachyon은 클래스 간의 수직적 관계(상속)와 수평적 관계를 정의하고 조작할 수 있는 객체지향 질의를 통하여 융통성있는 데이터 조작이 가능하며, OID를 기반으로 경로식(path expression)을 이용한 향해 질의(navigational query)를 통하여 죠인(join) 비용을 절감하고, index를 통한 인스턴스 접근 등을 통하여 효율적인 데이터베이스 접근을 시도할 수 있다.