• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.10
• /
• pp.1509-1516
• /
• 2022

This paper presents a method to generate a model of the code implementation for UML state diagrams. First, it promotes the states of a state machine into objects, and then it structures the behavior model on the mechanism of a state diagram based on State design pattern. Then, it establishes the rules of generating the code implementation, and using the rules, the Java code mode is generated for the implementations of State Diagrams in Java syntax grammar. In addition, Structuring the information of the code model is necessary for generating Java code automatically. The meta information is composed of Meta-Class Model and Meta-Behavior Model, on which we could construct the automatic code generating engine for UML State Diagrams. The implementation model generation method presented in this paper could be used as a stand-alone engine, or included and integrated as a module in the UML tools.

• Korean System Dynamics Review
• /
• v.15 no.1
• /
• pp.5-27
• /
• 2014

The purpose of this study is to analyze the school autonomy policy based on the system thinking perspective using causal loop diagrams. School autonomy was the main educational policy concerning school domain during the last government and was the instrument for school-based management, but it was not implemented effectively in site. The school autonomy policy practically disappeared as an explicit policy agenda in the current government. This study displays causal loop diagrams about the policy's logic and contents of school autonomy, in terms of curriculum, human resource management, and a supportive system. The causal loop diagrams depicting the implementation of the school autonomy policy are suggested concerning excessive enforcement and the confirmative mechanism for policy implementation. The conclusion provides some research implications and future directions.

• Journal of Korean Medical classics
• /
• v.27 no.2
• /
• pp.69-76
• /
• 2014

Objectives : The metastasis among the Five Viscera are given, passim, in the Hwangjenaegyeong (黃帝內經). Generally, the metastasis among the Five Viscera followed 'mutual generation' and 'mutual overcoming' of the Five Elements. But, the metastasis among the Five Viscera on the Gi Gual Ron not followed. The metastasis are connected with the Eight Diagrams. The Eight Diagrams are classified 'Earlier Heaven' and 'Later Heaven'. It also be assigned the Five Elements. Results : The metastasis order and the principle of shift its location from 'Earlier Heaven' to 'Later Heaven' are similar. Conclusions : Therefore, the metastasis among the Five Viscera on the Gi Gual Ron is based on the law of shift its location from 'Earlier Heaven' to 'Later Heaven'.

• Journal of Advanced Navigation Technology
• /
• v.15 no.6
• /
• pp.1180-1186
• /
• 2011

For verifying consistency and completeness of some UML diagrams as a representative of a graphical notations for object-oriented designs, I first give an analysis of some UML diagrams and apply some verifying rules to the UML diagrams. In this paper, I design effective verifying system which possesses both diagramming facility and the consistency and completeness checking capability. The verifying system uses a set of frames to represent internal diagramming information.

• Journal of information and communication convergence engineering
• /
• v.6 no.3
• /
• pp.279-284
• /
• 2008

We propose the iconic animation of the software requirement specifications by using the object and dynamic models of the object modeling technique(OMT) methodology. In order to produce the iconic animation, we use "graphical classes" and "icon transformations." In general, the graphical classes are defined for each class of the object diagram. The icon transformations which show the activities of the application are constructed by considering the meaning of the activities and are defined by either basic or compound icons. The icon transformations are added to the state diagrams to generate extended state diagrams. The animation system generates the header files and the code instantiating GUI from the object diagram having graphical classes. The system also generates "event methods" from the extended state diagrams. When the event methods are executed, the behavior of the events is animated by the icon transformations.

• Journal of The Korean Astronomical Society
• /
• v.42 no.4
• /
• pp.81-91
• /
• 2009

We make a new catalog of AGB stars in our Galaxy from the sources listed in the Infrared Astronomical Satellite (IRAS) point source catalog (PSC) compiling the lists of previous works with verifying processes. We verify the class identification of AGB stars into oxygen-rich and carbon-rich stars using the information from recent investigations. For the large sample of AGB stars, we present infrared two-color diagrams from the observations at near infrared bands and IRAS PSC. On the two-color diagrams, we plot the tracks of theoretical radiative transfer model results with increasing dust shell optical depths. Comparing the observations with the theoretical tracks, we discuss the meaning of the infrared two-color diagrams.

• Journal of The Korean Astronomical Society
• /
• v.38 no.4
• /
• pp.415-422
• /
• 2005

UBVIJHK photometry of the open cluster NGC 2194 are presented. Color-Magnitude diagrams of this cluster show well-defined main sequence and red giant clump. The main sequence also contains clear evidence of binary populations. Based on color-color diagrams, absolute magnitude of red giant clump, ZAMS fitting, and comparisons of observed color-magnitude diagrams with theoretical models, we derive following parameters for the cluster; reddening $E(B-V)=0.44{\pm}0.04$, age of log $t{\sim}8.8$, and finally distance of $(m-M)_0=12.20{\pm}0.18$.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.04a
• /
• pp.405-409
• /
• 1997

Voronoi diagrams are applied in varios field such as NC toolpath generation, VLSI design and robot path planning because of their geometric charcteristics. In this paper, Voronoi diagrams are introduced on polygon constructed by line segments only and with constant offset. Bisector curves for two arbitrary objects, which is the combination of line segment and arc, are defined as parametric fuction where the parameter is used as offset. Offset curves are applied on the generation of laser scanning path for the stereolithography and shows a good result from several examples.

• Structural Engineering and Mechanics
• /
• v.75 no.5
• /
• pp.607-620
• /
• 2020

A numerical study is carried out to assess the dynamic response and damage level of one- and two-way reinforced concrete (RC) panels subjected to explosive loads by using finite element LS-DYNA software. The precision of the numerical models is validated with the previous experimental test. The calibrated models are used to conduct a series of parametric studies to evaluate the effects of panel wall dimensions, concrete strength, and steel reinforcement ratio on the blast-resistant capacity of the panel under various magnitudes of blast load. The results are used to develop pressure-impulse (P-I) diagrams corresponding to the damage levels defined according to UFC-3-340-02 manual. Empirical equations are proposed to easily construct the P-I diagrams of RC panels that can be efficiently used to assess its safety level against blast loads.