• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.10
• /
• pp.2676-2683
• /
• 2009

The objective of this thesis is to improve the quality of a software product based on the enhancement of a software design quality using a better error detecting method. Also, this thesis is based on a software design method called as MOA(Methodology for Object to Agents) which uses an ontology based ODES(A Method based on Ontology for Detecting Errors in the Software Design) model as a common information model. At this thesis, a new format of error detecting method was defined. The method is implemented during a transformation process from UML model to ODES model using a ODES model, a Inter-View Inconsistency Detection technique and a combination of ontologic property of consistency framework and related rules. Transformation process to ODES model includes lexicon analysis and meaning analysis of a software design using of multiple mapping table at algorithm for the generation of ODES model instance.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.8
• /
• pp.2072-2087
• /
• 1999

As software size ever increases and user's requirements become more and more sophisticated., the importance of software quality is more and more emphasized. However, we are not satisfied for the present techniques on detecting errors and checking consistency in the object-oriented design model. This paper proposes a systematic approach which produces implementable rules to detect errors and check consistency. At first, the meta-models for UML diagrams are constructed, generalized meta-rules are reduced from the meta-models, and then the meta-rules are applied to produce the implementable rules. This approach enables to pursue the completeness of the rules and the automation of rule application. An example of rule application shows the feasibility of the rule application.

• Journal of Korean Society of Transportation
• /
• v.23 no.5 s.83
• /
• pp.35-45
• /
• 2005

The speed enforcement camera has been regarded as one of the most important safety countermeasures. Drivers decelerate in front of the speed enforcement camera and gain speed up after passing the camera. So there is a strong need to develop the method how to place the camera to overcome this problem. This study applied the concept of design consistency to the installation of the camera, so speed difference along the road sections should be controlled within the predetermined boundary. Specially, this study also regarded camera as the one of the elements of the road alignments which can change the speed of drivers abruptly, and suggested the way to put this concept into the selection of the placement of the camera.

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

시스템 개발 단계 중 분석 단계는 이후의 설계, 구현 및 유지 보수 단계를 지원하기 위한 가장 중요한 단계로, 이후 단계에 미치는 영향이 크다. 그러므로, 분석단계의 산출물이 정확한지, 산출물간의 일관성을 검증하는 작업이 필요하다. 이에, 본 논문에서는 비즈니스 업무 개발에 초점을 두어, 사용자의 참여가 이루어지는 단순한 표기법을 사용하는 정보구조 모델링의 분석 단계의 여러 구조도 들간의 일관성 검증 방법을 제시한다. 이로써 분석 단계 중에 범하기 쉬운 오류들을 최소화하여, 정확한 분석 모델을 통한 사용자 만족도가 높은 시스템을 만들 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.682-684
• /
• 2001

주어진 도메인에 대한 설계 및 구현 이전 단계인 분석 과정에서 객체지향의 방법을 적용할 수 있는 모델링 언어인 UML(Unified Modeling Language) 다이어그램 중 Use Case 다이어그램, 클래스 다이어그램, 순서도 등 3가지 모델들 간의 일관성(consistency)을 유지하기 위한 기준이나 구체적인 지침에 관한 여러 가지 형태의 연구들이 이미 행해져 왔지만, 본 논문에서는 이러한 다이어그램들 간의 일관성을 유지하는데 있어서 지켜져야 하는 기준과 checklist를 예제를 통해서 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.40-42
• /
• 2002

캐쉬 일관성 유지 프로토콜은 공유 메모리 다중 프로세서 시스템의 정확하고 효율적인 작동에 중요하다. 시스템이 점점 복잡해짐에 따라 시뮬레이션 방법만으로는 프로토콜의 정확성을 확인하기는 어렵다. 본 논문에서는 CC-NUMA용 디렉토리 기반 캐쉬 일관성 프로토콜인 RACE 프로토콜을 정형기법 도구인 ESTEREL을 이용하여 프로토콜이 안정적으로 동작함을 검증하였다.

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

클라이언트/서버 환경에서 서버의 공간 데이터를 검색, 접근하기 위한 공간 질의는 대용량의 공간 객체에 대해 복잡한 공간 연산을 수행한다. 그러므로 클라이언트가 자주 이용하는 공간 질의를 매번 서버에서 처리하는 경우에 서버의 부하가 증가하며 질의 응답시간도 길어지게 된다. 따라서 이러한 공간 질의를 뷰로 정의하고 클라이언트에 실체화하면 질의를 효율적으로 처리할 수 있다. 이 경우에 공간뷰를 유도한 서버의 소스 객체의 변경에 따라 클라이언트의 실체화된 뷰 객체의 일관성을 유지해야 한다. 본 논문에서는 클라이언트/서버 환경에서 공간뷰 개념을 확장한 클라이언트 공간뷰를 정의하고 일관성 유지를 위한 알고리즘을 제시한다. 그리고 상용 지리정보시스템인 고딕에서 클라이언트 공간뷰 시스템을 설계 및 구현한다. 마지막으로 질의 재수행과 본 논문에서 제시한 클라이언트 공간뷰의 성능을 실제 데이터를 이용하여 비교 평가한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.285-288
• /
• 2004

분석 및 설계단계의 산출물을 작성할 때는 대부분 정형화와 표준화를 따른다. 그러나 실제 시스템 개발현장에서는 단계별 산출물들의 개별적인 특성으로 인하여 모든 산출물간에는 연속적이며 자동화된 과정을 통해 산출물들이 작성될 수는 없다. 그 결과 작성된 개발 산출물간의 일관성이 유지되지 못하는 관계로 최종 산출물에서 여러 가지 문제가 야기됨을 알 수 있다. 그러므로 본 논문에서는 객체지향 방법론에 따라 개발되는 시스템에 대해 분석 및 설계단계의 산출물간 일관성을 유지하기 위한 방안을 제시하고, 이를 지원하기 위한 도구를 개발한다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.1
• /
• pp.215-223
• /
• 2000

The advancements in technology which have lead to higher and higher levels of integration have required advancements in the methods used in designing VLSI chip. A key to enable a complicated chip design is the use of hierarchy in the design process. Hierarchy organizes the function of a large number of transistors ito a particular, easy-to-manage function. For these reasons, hierarchy has been used in the design process of digital functions for many years. However, there exists differences in a design analysis phase, especially in timing analysis, due to multiple views for the same design. In timing analysis of the hierarchical design, every path is analyzed within partitioned modules independently and the global timing analysis is applied to the whole design considering each module as a single timing component. Therefore, timing results of the hierarchical design could not be same as those of non-hierarchical flat design. In this paper, we formulate the timing problem in the hierarchical design and analyze the possible source of timing differences. We define a new terminology of "consistent result" between different views for the same design. We also propose a new partitioning algorithm to obtain the consistent results. This algorithm helps to enhance the design cycle time.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11b
• /
• pp.699-702
• /
• 2003

본 논문에서는 무선 인터넷 주요 기술로 관심을 받고 있는 분산데이터 동기화 표준인 SyncML을 이용한 개인정보관리 시스템의(PIMS) 설계 및 구현에 대한 소개하고자 한다. 객체 지향 설계 기법을 사용하여 분석, 설계하여 최적화 된 시스템을 도출하고 그것을 통해 우선인터넷상에서 경량화 된 동기화 최적의 시스템을 설계와 구현하는데도 목적이 있다. 특히 무선인터넷의 여러 제약 사항 특히 데이터의 관리에 있어서의 문제점을 동기화 기술을 통해 많은 데이터를 효과적으로 관리함으로써 대용량의 데이터 베이스와 디바이스에 상관없이 데이터 일관성을 유지하여 지연성 및 복수성에 신뢰성을 유지 할 수 있도록 시스템을 개발하였다.