• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.109-116
• /
• 2022

Recently, a model-based development method centered on highly readable and standardized UML (Unified Modeling Language) models has been applied to solve unclear communications in large-scale software development. However, it is difficult to apply consistent UML models depending on software developers' proficiency, understanding of models and modeling tools. In this paper, we propose a method for developing a Model Verification System to apply an consistent UML model to software development. Then, the developed Model Verification System is partially applied to the Naval Combat System Software development to prove its function. The Model Verification System provides automatic verification of models created by developers according to domain characteristics. If the Model Verification System proposed in this paper is used, It has the advantage of being able to apply the consistent UML model more easily to Naval Combat System Software Development.

• Journal of Internet Computing and Services
• /
• v.5 no.4
• /
• pp.95-113
• /
• 2004

RUP(Rational Unified Process) is a development process which is based on object-oriented, use case centric, architecture centric, and iterative approach. Public projects performed previously adopt waterfall lifecycle model for development of large scale software. However, recently various projects adopt an iterative approach to minimize risks of a project and to enhance quality of software. But few research result on practices of RUP as the subprocess of system development process is available. This paper presents a system development process which uses RUP as the subprocess for a subset of the system. Thus we introduce a tailored RUP for K-CIS(Korean Core Instrumentation System). Moreover, we assess the application result of K-CIS with typical waterfall lifecycle model and RUP. We believe that the results of our work are useful for tailoring a system development process with RUP, reducing risks of development, and enhancing the quality of a final product.

• Journal of KIISE:Software and Applications
• /
• v.35 no.11
• /
• pp.653-660
• /
• 2008

Recently, Service-oriented computing is the emerging computing paradigm. In this paradigm, we require the practical process model to support service oriented software development. The well-known development methods e.g., Unified Software Development Process, UML components have been proposed focused on component. So, these methods cannot support service-oriented computing concepts such as service definition, binding and composition concepts using Business Process Execution Language (BPEL). Also, a few proposed service-oriented approach, for example Service Oriented Unified process (SOUP), and Service Oriented Modeling and Architecture (SOMA) have appeared. However, these approaches do not explicitly represent detailed guideline, artifacts and approach. Therefore, in this paper we propose a practical and simple process model to support service oriented software development. Also, we explicitly represent process model and artifact using Software Process Engineering Metamodel (SPEM) which is proposed by OMG. By using our approach, it can enhance systematization and effectiveness for service-oriented software development.

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

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

• Magazine of the Korea Concrete Institute
• /
• v.9 no.2
• /
• pp.133-144
• /
• 1997

Concrete plasticity models fol the analysis of reinforced concrete members in plane stress are studied. The proposed plasticity model for reinforced concrete provides a unified approach combining plasticity theory and damage models. It addresses strength mhancement under rnultiaxial compression. and tensile cracking damage. The model uses multiple failure criteria for compressive crushing and tensile cracking. For tensile cracking behavior. rotating-crack and fixed-crack plasticity models are compared. As crushing failure criterion, the Drucker-Prager and the von Mises models are used for comparison. The model uses now and existing damnge models fbr tension softening, tension stiffening. and compression softening dup to tensilt. cracking. Finite element analyses using the unified method are compatxd with existing rxpcrimcntal r.esults. To vei.ify the proposcd crushing and cracking plasticity models, the experiments have load capacities govc11.nc.d either by compressive crushing of'concrete or by yi~lding of' reinforcing steel.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.11 no.4
• /
• pp.262-271
• /
• 2011

In this work, we present a unified analytical surface potential model, valid for both PD and FD SOI MOSFETs. Our model is based on a simplified one dimensional and purely analytical approach, and builds upon an existing model, proposed by Yu et al. [4], which is one of the most recent compact analytical surface potential models for SOI MOSFETs available in the literature, to improve its accuracy and remove its inconsistencies, thereby adding to its robustness. The model given by Yu et al. [4] fails entirely in modeling the variation of the front surface potential with respect to the changes in the substrate voltage, which has been corrected in our modified model. Also, [4] produces self-inconsistent results due to misinterpretation of the operating mode of an SOI device. The source of this error has been traced in our work and a criterion has been postulated so as to avoid any such error in future. Additionally, a completely new expression relating the front and back surface potentials of an FD SOI film has been proposed in our model, which unlike other models in the literature, takes into account for the first time in analytical one dimensional modeling of SOI MOSFETs, the contribution of the increasing inversion charge concentration in the silicon film, with increasing gate voltage, in the strong inversion region. With this refinement, the maximum percent error of our model in the prediction of the back surface potential of the SOI film amounts to only 3.8% as compared to an error of about 10% produced by the model of Yu et al. [4], both with respect to MEDICI simulation results.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.12 no.4
• /
• pp.551-561
• /
• 2001

In this paper, the large signal unified model is established for H4O GaAs pHEMT of GEC-Marconi using modified Curtice model. This unified model includes DC characteristic, small signal, and noise characteristic as various bias. Particularly, the model can simply and physically explain trans-conductance $(g_m)$ of pHEMT using modified Curtice model, and can tell the difference $g_m$, $R_ds$ at DC and these at AC through inclusion of internal RF-choke. The results of the established model built up using SDD in HP-Eessof show good agreement to the S/W measured data in DC, small signal, and noise characteristic. This model can also be applied to various computer aided analysis, such as linear simulation, 1-tone harmonic balance simulation, and multi-tone harmonic balance simulation, so the LNA(Low Noise Amplifier), oscillator, and mixer design has been shown using this model library.

• Structural Engineering and Mechanics
• /
• v.2 no.1
• /
• pp.1-16
• /
• 1994

A unified theory has recently been developed for reinforced concrete structures (Hsu 1993), subjected to the four basic actions - bending, axial load, shear and torsion. The theory has five components, namely, the struts-and-ties model, the equilibrium (or plasticity) truss model, the Bernoulli compatibility truss model, the Mohr compatibility truss model and the softened truss model. Because the last three models can satisfy the stress equilibrium, the strain compatibility and the constitutive laws of materials, they can predict not only the strength, but also the load-deformation history of a member. In this paper the five models are summarized to illustrate their intrinsic consistency.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.6
• /
• pp.531-536
• /
• 2007

This paper presents a power quality assessment model based on the Analytic hierarchy process. This model can assess unified power quality index which provide an overall performance of the distribution system. To obtain the unified power quality index, we propose the use of the AHP model which has three states: [Ideal]-[Actual]-[Worst]. The proposed method is especially useful and effective for planning. We have applied the proposed method to an actual relatively large system, and verified the usefulness.