• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 Proceeding
• /
• pp.50-56
• /
• 2003

In the development of complex software system, it is important to use hierarchical use case model due to the complex scope of development procedure. The use case model is core factor of the OMG (Object Management Group)'s UML (Unified Modeling Language) diagrams. In this paper, we propose a novel method to check syntactic consistency automatically in use case models at the different level of abstraction. This method is a rule-based approach which utilizes actor tree, use case tree and use case description. The proposed method is simulated on ITS (Intelligent Transportation System) architecture for the verification.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1685-1688
• /
• 2003

객체지향 환경에서 복잡한 소프트웨어 시스템을 개발하기 위해서는, 그것의 복잡성과 대규모성 때문에 추상화에 의한 다계층적인 use case model 의 사용이 불가피하다. 이러한 경우 모델의 consistency 유지가 매우 주요하고 어려운 이슈가 된다. 본 논문에서는 각 추상화 단계에 따른 use case model 들 사이에서 자동적으로 형식적인 consistency 를 체킹할 수 있는 방법을 제안한다. 이 접근 방법은 rule 을 기반으로 하여 actor tree, use cose composition diagram를 use case description을 활용한다. 본 접근법을 검증하기 위하여, ITS 아키텍처 (Intelligent Transportation System architecture)의 한 파트를 예로 들어 적용하였다.

• 한국전자거래학회지
• /
• 제8권4호
• /
• pp.239-252
• /
• 2003

품질 좋은 소프트웨어란 성능이 뛰어나고 가격 이 저렴한 소프트웨어를 일컫는 말이다. 또한, 시장 요구에 부응하는 서비스를 지원하면서도 오류가 적고 유지보수하기 쉬운 구조를 가져야 한다. 이 모든 것을 충족하는 소프트웨어를 개발하기 위한 방법으로 최근 CBD (Component Based Development)가 각광 받고 있다. CBD (Component Based Development) 확산과 더불어 컴포넌트 구성, 기능, 호환성, 신뢰성을 위한 컴포넌트 테스트를 수행하고 있으나 이것만으로는 CBD (Component Based Development) 기반 소프트웨어 품질을 보장할 수 엄다. 높은 신뢰성, 유지보수성, 재활용 성을 가지는 단위 컴포넌트라도 조립, 통합 후에는 의도한 요구사항을 만족시키지 못하고 문제를 일으킬 수도 있으므로 이에 대한 통합 테스트 기법이 필요하다. 본 논문은 UML (Unified Modeling Language)기반 소프트웨어 개발에 컴포넌트 통합 테스트를 위한 것이고, 테스트 기법은 UML (Unified Modeling Language)의 순차다이어그램과 협력다이어그램을 참조하여 컴포넌트 사이 인터페이스에 존재하는 결점을 추출하는 테스트기법이다.

• Journal of the korean society of oceanography
• /
• 제32권1호
• /
• pp.28-37
• /
• 1997

Two marine bivalve shells were collected from the eastern and western coastal regions of Korea, respectively. Stable oxygen and carbon isotope profiles are constructed using the incremental sampling along the axis of maximum growth to provide the continuous ${\delta}^{18}$O and ${\delta}^{13}$C records, which register the physical, biological and chemical properties of seawater where the organisms live. Cycles in the ${\delta}^{18}$O profiles are interpreted as annual along with the identification of annual growth bands; the maximum ${\delta}^{18}$O values correspond with the coldest temperature of seawater whereas the minimum ${\delta}^{18}$O values with the warmest temperature. The primary control on the amplitude of the ${\delta}^{18}$O profiles is seasonal variation of seawater temperature. The offset of the baseline between ${\delta}^{18}$O values of the two specimens is attributed to differences in both temperature and seawater ${\delta}^{18}$O values between two localities. The ${\delta}^{13}$C profiles show the similar seasonality of carbon cycling associated with phytoplankton productivity. The offset in the ${\delta}^{13}$C profiles between two specimens may be, as in the case of oxygen isotope profile, attributed to the different ${\delta}^{13}$C value of the seawater DIC (dissolved inorganic carbon) between the western coast and the eastern coast. Relationships between the shell isotopic composition and the coastal water properties of shell growth are readily interpreted from the ${\delta}^{18}$O-${\delta}^{13}$C pair diagram of the shell isotope data, similar to the use of salinity-${\delta}^{18}$O diagram for identifying water masses. The preliminary stable isotope results of this study suggest that mollusk shell isotope geochemistry may be useful to monitor the properties of water masses in the coastal and inner shelf setting around Korea and improve the interpretation of paleoceanography, provided the fossil mollusks are well preserved.

• 디지털콘텐츠학회 논문지
• /
• 제8권3호
• /
• pp.269-277
• /
• 2007

최근에 웹 서비스는 비즈니스 간 e-commerce 응용을 위한 중요한 기술이 되었다. 시장적시성이 요구되는 비즈니스 관점에서, 동적 진화는 예측 불가능하고 자주 변화하는 비즈니스 요구사항에 대응할 수 있는 유연성을 제공한다. OWL-S는 OWL에 기반 한 서비스 온톨로지 언어이다. OWL에 의해 제공되는 의미성은 서비스의 발견, 수행, 조합의 자동화를 제공한다. 본 논문에서는 OWL-S를 이용하여 서비스지향 애플리케이션의 동적 진화를 지원하기 위한 프레임워크를 제안한다. 본 프레임워크에서는 표준 요구사항 분석 방법인 유즈케이스를 확장한 요구사항 개념과 활동도로의 매핑을 정의한다. 그리고 프로토타입을 구현하여 프레임워크의 유효성을 보인다.

• 한국물환경학회지
• /
• 제34권5호
• /
• pp.447-461
• /
• 2018

To realize river restoration that ecological characteristics of the river are reflected, we classified the river into four reaches of valley stream, upstream, midstream, and downstream based on substrate as well as riverbed gradient obtained from the relationship between distance from the river mouth, and above sea level. Considering that the rivers of Korea have been dominated by various and intense artificial interferences over a lengthy period, we determined cross sectional range of the river based on the geological map and clarified transformation degree by reach. Vegetation profile diagram was prepared by depicting horizontal range and vertical stratification of major vegetation appearing in a belt transect of 10 m breadth installed between weirs constructed in both sides of the river. Restoration models by river reach were prepared based on breadth of waterway, bare ground, herb, shrub, and tree dominated vegetation zones on vegetation profiles wherein a flooding regime was reflected. Species composition information collected from vegetation established in each zone was systematized to use for restoring each reach ecologically. Further, background that longitudinal reaches and horizontal zones were divided, was discussed by comparing with case studies in foreign countries. In addition, necessity of ecological restoration of the river was discussed based on degree of integrity of Korean rivers, ecological significance of riparian vegetation, and importance of reference information for ecological restoration of the river.