• Proceedings of the KAIS Fall Conference
• /
• 2003.11a
• /
• 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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• 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)의 한 파트를 예로 들어 적용하였다.

• The Journal of Society for e-Business Studies
• /
• v.8 no.4
• /
• pp.239-252
• /
• 2003

High quality software is the one that has an excellent performance with a low price, consumer's request satisfaction and less bug. In addition, it should have structure easily maintainable. CBD(Component Based Development)technology is getting more popular as a method for software development which can satisfy all above conditions. Although there are a lot of test methods about component for composition, function, compatibility and reliability, it's not enough to ensure that the component has reliability, maintainability, and reusability, so an integated method are necessary. In this paper, we are going to propose the solution model for integrating components, which are based on UML (Unified Modeling Language) technologies. This model can extract existing faults in the component interfaces by referencing sequence diagram and collaboration diagram.

• Journal of the korean society of oceanography
• /
• v.32 no.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.

• Journal of Digital Contents Society
• /
• v.8 no.3
• /
• pp.269-277
• /
• 2007

Web service is an important technology to develop business to business e-commerce application. From a business perspective of time to market, dynamic evolution offers flexibility that software can adapt to unforeseen and fluctuating business requirements. OWL-S, based on OWL, is a service ontology language. The semantics provided by OWL support automation of service discovery, invocation, and service composition. In this paper we propose a framework to support dynamic evolution of service-oriented applications. We extend use-case analysis method to derive service description by defining requirements concept and mapping from requirement concept to activity diagram. A prototype is provided to show the validity of this framework.

• Journal of Korean Society on Water Environment
• /
• v.34 no.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.