• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1677-1680
• /
• 2003

RUP(Rational Unified Process)의 Unified Process Model 에는 Use Case Model, Analysis Model, Design Model, Deployrnent Model, Implementation model, Test Model의 6가지 모델이 있다. 이 모델들은 다음단계의 모델에 대한 일관성 및 의존성을 가진다. 한 모델에서 발생되는 요소들은 전, 후 단계에서 다른 모델들과 Trace Dependencies 를 갖는다. 이러한 의존적인 관계들은 각각의 요소들 사이의 진행, 기록 관계를 나타낸다. 그러나 대부분의 시스템은 이러한 관계 및 의존성 없이 설계되어져 전체적인 일관성을 이루지 못 하였다. 본 논문에서는 이러한 관계를 유지 하면서 사용자의 요구사항에 일관성 있는 Use Case 모델을 설계하고자 한다. 따라서 본 논문에서는 대학 종합정보시스템 구축의 일부분인 구매관리 시스템을 분석하여 컴포넌트 시스템 모델을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.481-483
• /
• 1999

본 논문에서는 객체 지향 소프트웨어 개발 생명주기에서 생성된 객체 모델들간의 일관성 유지를 위한 관계성 분석 도구 설계 방법을 제시한다. 이 방법에서는 객체 지향 모델의 산출물들간의 관계성을 분석하여 소프트웨어가 개발됨과 동시에 부품화 되어 저장된다. 그리고 소프트웨어 유지 보수 및 재사용이 가능한 검색 시스템으로 되어 있으며, 객체 지향 CASE 시스템의 정보 저장소 기능을 부분적으로 지원한다. 따라서 시스템 분석가 및 설계자에게 유용한 지침을 제공하고, 개발자에게 산출물들간의 일관성 검증을 쉽게 하도록 하여 소프트웨어 재사용 및 유지보수가 용이하다.

• Nuclear industry
• /
• 제19권6호통권196호
• /
• pp.42-47
• /
• 1999

원자력발전소의 안전성분분석보고서(SAR) 작성시 이용되어온 USNRC의 RG 1.70을 참고로 하고, 신형 원자로와 관련된 최신의 규제 정보와 차세대 원자로의 설계 특성에 근거하여, 차세대 원자로 표준 설계용 SAR 작성 지침(안)을 개발하였다. 개발된 지침(안)은 RG 1.70에 비해 상당히 많은 추가적인 안전 설계 정보를 제시하도록 구성하였으므로, 이 지침을 표준 설계에 대한 안전성 심사에 이용할 때 효율적이고 일관성 있는 안전성 판단을 할 수 있고, 이에 근거하여 향후 통합 허가(COL)용 SAR 작성 지침을 쉽게 개발할 수 있을 것으로 기대된다. 또한 일부 산업 기술 기준의 준용을 제외하고는 국산화를 실현함으로써 우리 고유의 지침 역할을 할 수 있게 되었다. 본 연구를 통해 개발된 지침(안)의 객관성과 일관성을 보장하기 위하여 향후전문가 검토가 수행될 예정이며, 검토 의견을 반영하여 내용을 보완한 후 차세대 원자로 표준 설계의 인$\cdot$허가 심사에 활용될 예정이다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
• /
• pp.154-158
• /
• 2003

RUP의 Unified Process Model에는 Use Case Model, Analysis Model, Design Model, Deployment Model, Implementation model, Test Model의 6가지 모델이 있다. 이 모델들은 모두 일관성이 있다. 한 모델에서 나오는 요소들은 전, 후 단계에서 다른 모델들과 Trace Dependencies를 갖는다. 이러한 관계들은 각각의 요소들 사이의 진행, 기록 관계를 나타낸다 그러나 일반적인 데이터간의 관계와 데이터 모델 설계는 이러한 관계없이 설계되어져 전체적인 일관성을 이루지 못 하였다 본 논문에서는 이러한 관계를 유지하면서 요구사항에 맞는 데이터 모델을 설계하고자 한다. 따라서 본 논문에서는 대학 종합정보시스템 구축의 일부분인 자산관리 시스템을 분석하여 데이터 모델을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.30-32
• /
• 1998

멀티프로세서 시스템을 설계할 경우에는 공유메모리 구조와 메시지 전달방법의 두 가지의 패러다임을 바탕으로 하게 된다. 데이터 분할과 동적 부하 분산 문제를 단순화시틸 수 있으며 확장성을 용이하게 지원하는 장점을 가지고 있는 공유메모리 구조의 멀티프로세서 시스템에서 각 프로세서가 자신의 전용 캐시를 가지는 경우에는 메인 메모리와 이러한 전용 캐시내에 존재하는 데이터사본간에 일관성 문제가 발생한다. 본 논문에서는 일관성 유지를 위해 제안되어 있는 여러 알고리즘 중 처리 노드와 고대역 저지연 인터커넥션 네트워크로 구성되는 공유메모리 구조의 멀티프로세서 프로토타입인 DASH 프로토콜을 지원하기 위한 전용 버스 시스템을 완전 개방형인 IEEE Futurebus+ 스탠다드에 준비하여 설계한 다음, 이 시스템이 DASH 프로토콜을 지원하려 캐시의 일관성을 유지하기 위해 필요한 각종 행동과 기존의 범용 버스 시스템이 수행하는 행동의 병렬 처리를 지원할 수 있음을 시뮬레이션으로 증명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.454-456
• /
• 2004

데이터베이스에 대한 제약사항들은 소프트웨어의 개발 및 사용에 있어 개발자와 사용자가 모두 참고해야 하는 중요한 사항임에도 불구하고 데이터베이스 모델링괴 소프트웨어 모델링의 불일치 및 표현 방법의 차이로 인해, 일관성 있는 제약사항 명세 및 설계에 많은 어려움을 겪어왔다. OCL(Object Constraint Language)은 객체의 제약사항을 표현하는 언어로서 UML(Unified Modeling Language)의 일부분이다. 본 논문은 객체의 제악사항을 표현하는데 사용하던 OCL을 데이터베이스의 제악사항을 설계에 일관성 있게 표현, 반영하기 위하여 사용하는 기법을 제시하고, 이에 대한 검증을 수행하는 방법에 대한 연구이다. 본 논문에서는 요구사항에서 추출한 데이터베이스의 제악사항을 정의한 규칙에 따라 추출해내고, 이를 OCL의 표현법을 이용하여 정형적으로 표현한다. 그리고 그 OCL의 형식적 표현을 ODL(Object Description Language)로 정의하는 기법을 정의함으로서 이에 대한 일관성 검증을 수행하는 기법을 제안한다.

• Bulletin of the Society of Naval Architects of Korea
• /
• 제30권4호
• /
• pp.33-36
• /
• 1993

본 과제는 의장설계 분야의 기본설계, 기능설계, 상세설계 및 생산설계 단계를 전산화하여 설계 생산성을 향상시키고 우수한 품질의 생산정보 및 생산관리 기초정보를 적기에 제공할 수 있는 의장설계일관시스템(Fig. 8.1)의 구축을 최종 목표로 하고 있으며, 다음과 같이 3개의 세부과제로 분담, 수행되었다. .CSDP-의장설계시스템 개발 : KRISO의장설계 일관시스템의 설계 및 관련 요소시스템의 통합 화를 위한 기반시스템의 개발'5' .CSDP-의장CAD응용기술 개발 : 현대중공업 범용 CAD시스템의 조선 전용화를 위한 의장설계 각 분야별 요구기능의 분석 및 정의'12' .CSDP-배관배치모델링기법 개발 : 대우조선 범용 CAD시스템을 토대로 한 배관설계시스템의 초기 계? 단계의 배치모델링 기법 개발'15' 본 고에서는 의장설계 일관시스템의 기본개념, 범용 CAD시스템을 중심으로한 분야별 일관시스 템의 구축을 위한 기능분석 및 기법 개발, 시스템 통합환경 구축, 그리고 향후 조선CIMS를 목 표로한 제품모델 개념의 생산지향 의장시스템 모델에 관한 개념설계 결과를 중심으로 서술하 였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.525-527
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.477-480
• /
• 2001

최근 객체지향 설계에 UML을 많이 사용하게 되면서 개발자들은 작성된 UML 다이아그램들이 일관성이 있고 완전한가를 검증할 필요성이 대두되기 시작하였다. 본 논문에서는 [1]에서 제공된 다이아그램의 일관성과 완전성 검증 규칙을 사용하여 작성된 UML 다이아그램의 일관성과 완전성을 검증하기 위한 검증 시스템을 설계하였다. 검증 시스템의 설계에는 UML 다이아그램을 활용하였으며 프레임을 이용하여 검증 시스템의 다이아그램에 대한 내부표현을 제시하였다.

• Journal of Internet Computing and Services
• /
• 제2권5호
• /
• pp.71-79
• /
• 2001

Replication in distributed databases is to improve efficiency, availability, and autonomy, But applying the strict consistency in real systems is very difficult. In this paper, I introduce a hybrid protocol permitting group update through eager update propagation and weakening consistency through lazy update, This protocol manages replica version number for the group update consistency and generates partially ordered replica spanning tree for the serializability of lazy update transactions. It preserves weak consistency by combining synchronous and asynchronous update mechanism. Study of performance analysis for the efficiency of the protocol be included in next paper.