• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.1185-1187
• /
• 1998

The object of this study shows a program for supervisory control of the electric power distribution, approach to the more easy manipulations and hangulization that could be easily familiar to the domestic operators whereas the program, up to now, displayed only in English. This program is consist of a skeleton-diagram designer and a state-displayer of the electric power distribution To make skeleton-diagram data available in state-displayer, the designer must be performed with the proposed format in the program manual. States display executes downloading S/Ws-state-data externally and display the S/W informations at that times, and also power distribution simulation of voluntary S/W manipulations performed by the internal operators is possible.

• 인터넷정보학회논문지
• /
• 제4권4호
• /
• pp.35-44
• /
• 2003

XML이 웹에서 사용하는 문서와 데이터의 표준이 되고 있다. XML의 문서를 정의하는데 사용되는 것이 스키마다. 이 중 마이크로소프트사가 중심이 되어 개발하고 있는 스키마인 XDR은 스키마 중에서 실제적인 활용을 주도하고 있다. UML은 객체지향 개발 방법론에서 나온 표기법으로 시스템의 구조를 나타내는데 유용한 도구이다. 본 논문은 XDR의 스키마의 구조를 UML 클래스 다이어그램으로 변환하는 방법과 알고리즘을 제안한다. 이 변환으로 XML의 문서구조를 시각화하여 XML문서의 구조를 쉽게 파악할 수 있게 되었고 재사용성과 유연성을 높여 XML문서 개발을 효율적으로 하게 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제7권1호
• /
• pp.54-61
• /
• 2002

본 연구는 UML을 이용해 유스 케이스에 의한 순차 다이어그램을 도출하여 클래스 다이어그램을 만든 후 그 클래스 다이어그램에 의해서 XML 모델링과 데이터 모델링을 구현하고자 한다. XML 모델링을 위해 UML 클래스를 XML문서로 변환시키는 가이드라인을 제시하고, 제시한 방법에 따라 UML클래스를 XML DTD로 도출하는 예를 보일 것이며, 한편 데이터 모델링은 UML 클래스를 객체지향 데이터베이스로 변환시키기 위한 변환 방법을 제시하며, 제시한 변환 방법에 따라 구현 예를 보일 것이다.

• International journal of advanced smart convergence
• /
• 제13권1호
• /
• pp.92-98
• /
• 2024

The current software industry has an emerging issue with natural language-based requirement specifications. However, the accuracy of such requirement analysis remains a concern. It is noted that most errors still occur at the requirement specification stage. Defining and analyzing requirements based on natural language has become necessary. To address this issue, the linguistic theories of Chomsky and Fillmore are applied to the analysis of natural language-based requirements. This involves identifying the semantics of morphemes and nouns. Consequently, a mechanism was proposed for extracting object state designs and automatically generating code templates. Building on this mechanism, I suggest generating natural language-based comic images. Utilizing state diagrams, I apply changes to the states of comic characters (protagonists) and extract variations in their expressions. This introduces a novel approach to comic image generation. I anticipate highly productive comic creation by applying software processes to Cartoon ART.

• 산업공학
• /
• 제16권1호
• /
• pp.70-84
• /
• 2003

Recently, object-oriented techniques have been used more and more for developments of an information system. But, established object-oriented methodologies are hard to express a business process of various abstract degrees in the analysis level and independent components of the system. They have difficulties in developing a large-scale information system of manufacturing industry such as PDM and CIM. This paper proposes an information system development methodology that imports the object-oriented IDEF0 (OOIDEF0) function model in analysis level. This methodology is made up of requirements gathering, system analysis, system design, and implementation. In requirements gathering level, organization diagram and interview technique are used for input data of OOIDEF0 function model. The OOIDEF0 function model, the interface model and function descriptions are made out in analysis level. Information objects and implementation objects are designed on the basis of the OOIDEF0 function model in design level. The database is built and programming is accomplished in implementation level. In order to prove the consistency and efficiency of the proposed methodology, the PDM system for ship production is modeled and prototyped.

• 물과 미래
• /
• 제19권3호
• /
• pp.249-258
• /
• 1986

본 연구는 수공구조물의 계획설계와 물관리 계획시 계획강우량의 결정기준이 되는 우리나라 전역의 최대하강수량 추정을 위한 최대하강수량 빈도계수 산정에 관한 내용이다. PMP 빈도계수 산정에 있어서는 연속기록년 20년의 자기우량기록지 보유지점을 대상으로 하였으며, 지속기간별(10분, 1,2,4,6,12,24시간) 연최대치 강우자료집단을 이용하여 연최대평균강우량에 따른 PMP 빈도계수를 결정할 수 있는 상관도를 작성하였다. 최대하강수량은 최대평균강우량과 빈도계수 및 지속기간 상관도상에서 얻어진 PMP 빈도계수와 통계치를 사용하여 통계학적 방법으로 산정하였으며, 포락선에 의해서 지점 최대하강수량과 지속기간 관계식을 유도하여 산정하였다. 산정된 지점 최대하강수량으로부터 전국에 대한 24시간 최대하강수량 분포도와 PMP·DAD 곡선을 작성하였다. ^ The purpose of this study is to estimate the PMP frequency factor for evaluation of the Probable Maximum Precipitation (PMP) in Korea. The value of PMP is the criterion of the determination of design rainfall in Planning and designing hydraulic structures, and water resources management. To obtain the object, 12 key stations were selected in which have the automatic rain0recording paper of 20 years, and the annual maximum rainfall values were calculated for each 7 durations(10 min., 1,2,4,6,12,24 hr.). The statistics(mean, standard deviation)were estimated, and diagram which shows the relationship between mean annual maximum rainfall($$) and frequency factor for each durations were drawn. PMP was estimated by statistical method using the PMP frequency factor obtained from the diagram and statistics($$, Sn). The PMP-Duration Equation was derived from the envelope curve in order to obtain the PMP for an arbitrary duration. The isohyetal map of 24 hours PMP and PMP. DAD curve for the whole of Korea were drawn in accordance with the point PMP values.

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

고품질의 소프트웨어를 개발하기 위하여, 소프트웨어의 품질을 측정하는 메트릭스가 활발히 개발되었고 근래에는 객체지향 메트릭스도 제시되고 있다. 그러나 개발 과정에서 품질을 관리하기 위하여 메트릭스를 이용하는 방법에 대한 연구는 제대로 이루어지고 있지 않다. 이는 개발 과정에서 적용되는 메트릭스의 의미를 전체적인 품질 관점에서 이해하기가 어렵기 때문이다. 본 논문에서는 제품 특성을 기반으로 정의된 소프트웨어 품질 모형(H-SQM)을 이용하여 개발 과정에 소프트웨어 품질 메트릭스를 적용하는 방법을 제안한다. 이 방법에서는 H-SQM을 표현한 원인-결과 다이어그램을 공정분석도로 바꾼다. 공정분석도에 따라 개발 단계별로 소프트웨어 품질 메트릭스를 적용한다. 이러한 방법으로 개발 과정에서 소프트웨어의 품질을 효율적으로 개선해 나갈 수 있도록 메트릭스를 적용 할 수 있게 된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1158-1171
• /
• 2003

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통해 검증규칙의 유용성을 검증한다.

• 정보처리학회논문지D
• /
• 제16D권4호
• /
• pp.517-526
• /
• 2009

동적 UML 다이어그램은 객체 지향 언어로 구현된 프로그램의 복잡한 실행 동작에 대한 표현이 가능하다. 이로 인하여 동적 다이어그램 중, 순서, 상태, 액티비티 다이어그램을 이용하여 테스트 케이스를 추출하고 테스트 하는 방법이 많이 쓰이고 있다. 그러나 테스트 자원과 시간이 제한되어 있을 때 어떤 명세를 이용하여 테스트 케이스를 만드는 것이 더 효율적인지, 또한 어떤 특성이 있는지 알 필요가 있다. 이 논문에서는 ATM 시뮬레이션 프로그램을 세 가지 다이어그램으로 표현하고 이를 이용하여 서로 다른 테스트 케이스를 생성한다. 또한 뮤테이션 테스팅(Mutation Testing)을 실시하여 각 테스트 케이스에 대한 효율을 평가 하였다. 뮤턴트(Mutant) 생성은 절차적 방식과 객체 지향 방식에 의한 뮤테이션 연산자(Mutation Operator)를 구분해서 적용하였으며 뮤클립스(Muclipse)라는 이클립스(Eclipse) 기반의 플러그인 도구를 이용하였다. 생성된 테스트 케이스와 뮤턴트를 이용해서 뮤테이션 점수(Mutation Score)를 측정하고 이를 기반으로 각 테스트 케이스 및 여러 관점에서 테스트 케이스의 효율을 평가하였다. 이런 과정을 통해 테스트 케이스 생성 방식의 선택에 대한 힌트를 얻을 수 있었다.

• 한국정보통신학회논문지
• /
• 제24권2호
• /
• pp.244-251
• /
• 2020

본 논문에서는 UML 다이어그램의 정보를 구문적으로 분석하여 클래스들의 정보를 구조적으로 구축하는 정보 저장소인 '메타 클래스 레포지토리 (MCR)'의 구현 방법을 제시한다. 구문적으로 분석된 클래스의 정보를 구조적으로 구축하기 위하여 수퍼 클래스인 '메타 클래스 (meta-class)'를 정의하고, 이들 메타 클래스들의 컬렉션으로 구성된 레포지토리를 구축하여 정보를 관리한다. 또한, MCR이 보유하고 있는 메타 클래스 정보에 기반하여 클래스에 상응하는 코드를 생성하기 위하여 '코드 생성 엔진 (CGE)'을 설계하여 제시한다. 코드 생성 엔진의 로직을 구성함에 있어서는 클래스에 대한 정보와 프로그래밍 언어의 구문 규칙이 합법적으로 조합되어 코드가 생성되어야 한다. 따라서, 이러한 클래스 다이어그램으로부터 코드를 생성하는 데에 MCR과 CGE가 통합적으로 협력하여 수행될 수 있도록 구현하는 방법을 제시한다. CGR의 동작 메커니즘에 대한 알고리즘을 유한 상태 머신 형태로 제시함으로써 CGE의 로직을 형식화하여 표현함과 동시에 구현 상의 용이함을 취할 수 있게 하였다.