• Journal of the Korean Association of Geographic Information Studies
• /
• v.11 no.3
• /
• pp.1-12
• /
• 2008

This study was to develop the analyzing system for watershed characteristics data. The developed system has laid the foundation for preparing the input data in various hydrological models. The algorithms and items included in the system were derived from benchmarking of the GIS WEASEL, which used to prepare the input data of PRMS (Precipitation-Runoff Modeling System). The system was designed to develop and maintain the organized system using both object-oriented UML (Unified Modeling Language) and GIS component-based ArcObjects.

• Journal of KIISE:Software and Applications
• /
• v.27 no.7
• /
• pp.742-758
• /
• 2000

Some local governments in Korea are currently developing various Urban Information Systems (UIS) to computerize their work. But they have spent too much money on their own UIS development because they have not reused the existing UIS of others. It has caused the central government to invest money repeatedly. The work of some local governments is generally very similar to those of others. The purpose of this paper is to suggest a solution to the reinvestment problem. To solve the problem, this paper suggests that they could model a city's business using Unified Modeling Language and Component-Based Development Process (CBD). They could also develop a UIS from the existing models, and then other municipalities can reuse the developed UIS. This paper illustrates the water supply business of P City in Korea and Rational Unified Process as a CBD. This paper also describes methods to apply CBD, to establish a reusable business model, analysis model, and design model, and to develop the software components of ActiveX Controls form for the water supply business.

• Journal of Internet Computing and Services
• /
• v.3 no.1
• /
• pp.29-40
• /
• 2002

The information exchange on the using of XML such as B2B electronic is common. So the efficient method to store XML message in database is needed. Because the ORDBMS is extended to ORDBMS for supporting multimedia application such as Oracle8i, 9i, Informix and SQL2000 server, SQL2, the standard RDB is extended to SQL3 for ORDB, And the XML application based on java such as J2EE is extended. Therefor it is necessary for the efficient connection methods based on JDBC between XML application and database system. In this paper, the methodology a transformation XML DTD to SQL3 schema is proposed. For the transformation, first the methods of transformation XML DTD to object model in UML class diagram are proposed. And then the methods of mapping transferred object models to SQL3 schema are proposed. This approach for transform::1lion XML. DTD to SQL3 schema such as Oracle8i, 9i, Informix and SQL2000 server based on java is proposed in this paper, can be used in database design to build XML applications based on ORDB.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.39 no.6
• /
• pp.371-380
• /
• 2021

This study aims to design a tunnel part model for underpass and subway lines that correspond to tunnel sector among the underground facilities(structure types) covered in the integrated map of underground spaces. For this purpose, we compared and reviewed the characteristics of international standards related to tunnel data models. As a result, it was found that CityGML 3.0 - Tunnel module was the most suitable for designing a 3D tunnel data model. Afterwards we reviewed the legal and institutional regulations to derive the standard elements of the 3D tunnel data model. Then we conducted a demand survey targeting experts in related fields to derive standard elements for addition and extension of underpasses and subway lines. Based on the above process, we designed and presented a 3D tunnel data model using UML. This study is expected to be meaningful as a basic study to improve the utilization of tunnel model in the integrated map of underground spaces.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.264-265
• /
• 2011

현재까지 중전기기 분야의 전력기기들은 주로 단위기기들의 성능이 시장경쟁력을 좌우하였으며, 대용량화 및 경제적 설계 등이 대표적인 성능요소로 평가되었으나, 앞으로는 전력감시.제어 및 보호의 효율화를 위한 시스템화의 관점이 많은 비중을 차지하게 될 것이며 이에 따라 2차적인 기능적 측면들이 강조되고, 이러한 기능적 성능들이 시장경쟁력을 크게 좌우하게 될 것으로 사료된다. 따라서 IED의 전기 접점을 통해 이루어지던 예전의 시험방식에서 네트워크를 통한 시스템 차원의 시험방식으로 변화가 요구되고 있다. 본 논문에서는 배전선로 IED를 시스템적으로 시험할 수 있도록 UML을 이용한 성능 시험절차서의 구현 내용을 다루고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.423-426
• /
• 2005

시맨틱 웹은 시스템이 더욱 효과적으로 정보를 액세스하고 이용이 가능하도록 하는 의미적 정보로서의 웹을 풍부하게 하는데 목적을 두며, 이는 온톨로지의 개념표현과 추론기능을 기반으로 한다. 온톨로지는 지식의 상호 커뮤니케이션을 위하여 개념적으로 명확하고 간결한 토대를 수립하기 위한 의미를 제공한다. 그런데 현재의 온톨로지 개발환경은 강력한 모델링 툴이나 경험이 풍부한 전문적인 온톨로지 구축 인력이 부족한 현실이다. 따라서 본 논문에서는 기존의 많은 개발자들에게 친숙해 있는 UML 또는 ER 도구를 이용하여 획득된 정보가 온톨로지 언어인 OWL의 정보와 커뮤니케이션이 가능하여 온톨로지 모델링 작업의 효율성을 높일 수 있도록 이들 사이의 메타모델 매핑변환을 시도하였다. 매핑의 기반에서는 DL을 이용하였다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1999.10a
• /
• pp.343-350
• /
• 1999

This study introduce how distributed object technology can be applied effectively to use in a integrated structural design systems environment with the rapid increasement in the use of network technology. The architecture and management models of the developed systems are described by the CORBA(Com mon Object Request Broke Architecture) distribution standard and objects in Java language. The proposed system can be used for communicating with data between remote designers, regardless of the H/W or S/W platforms they use. Introduction of distributed objects methodologies to a Integrated structural design systems provide advanced levels of integration in structural design environment.

• IE interfaces
• /
• v.20 no.1
• /
• pp.79-86
• /
• 2007

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.

• 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.