• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.4
• /
• pp.227-238
• /
• 2013

The business based existing BPMN model is a lack of service oriented modeling techniques. Therefore, it requires a layered technique of service oriented business modeling so that can meet the design for a complex application system, developing a system based on SOA. In order to enhance reusability and modularity of BPMN business model, this paper proposes a metamodel and business modeling process based on this metamodel that can hierarchically build a BPMN model. Towards this end, the XL-BPMN metamodel hierarchically established based on MDA and MVS styles are first defined. Then a BPMN service modeling process is constructed based on modeling elements of this metamodel according to the modeling phases. Finally, the result of a case study in which the proposed method is applied to an online shopping mall system is discussed. With the use of well-defined metamodel and modeling process, it is hoped that it can be shown that a service dominated and layered BPMN business model can be established, and that the modularity and reusability of the constructed BPMN business model can be maximized.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.6
• /
• pp.42-50
• /
• 2006

This paper addresses the optimized thermal modeling methodology for spacecraft board level thermal analysis. A direct thermal modeling of external and internal structure of active parts which have high power dissipation is newly proposed, based on conventional plate modeling for Printed Circuit Board(PCB). The parts thermal modeling results were compared with other generic methodologies and verified by thermal vacuum test. This parts thermal modeling was directly applied to thermal analysis of CS(Communication Subsystem) board of HAUSAT-2 small satellite. As a result, it was confirmed that the parts thermal modeling can complement other conventional modeling methodologies. A parts thermal modeling is very effective for thermal control design, since the existing thermal problems can be solved at the parts level in advance.

• Journal of the Society of Naval Architects of Korea
• /
• v.31 no.4
• /
• pp.23-31
• /
• 1994

The compartmentation model is represented by the characteristics and geometric information of the spaces defined by the structural members which are used for the boundary planes of the compartment. For the efficient compartment modeling a program performing the compartmentation design by the chopping and merging method was presented by authors. In this research, the development of an interactive ship compartmentation modeller is introduced. It is natural that the value of the program lessens if the input process is complicated and uneasy, even though the internal techniques for the compartmentation modeling are superior. In this paper, a method for the convenient input is proposed and implemented with the help of a graphical user interface technique. The modeling method introduced in this paper performs an efficient compartmentation modeling fast and conveniently by the solid modeling concept and the graphical user interface.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.39 no.3
• /
• pp.261-268
• /
• 2011

Generally, modeling procedure of cross section of composite rotor blade is complicated and time-consuming, because it is made up of various stiffeners and multiple layers of composite materials. For efficient modeling of cross section of composite rotor blade, a modeling program so called KSec2D, which provides a user friendly GUI, is developed by using a 2D modeling algorithm based on set operation. By the developed program KSec2D, a modeling of complicated cross section of rotor blade is carried out. Through the demonstration, the usefulness of developed program in modeling procedure of cross section of composite rotor blade is verified.

• Journal of the Korean Chemical Society
• /
• v.67 no.1
• /
• pp.42-53
• /
• 2023

The purpose of this study is to obtain basic data for constructing a modeling practice program integrated with meta-modeling knowledge by analyzing the cognition level for each meta-modeling knowledge components through modeling practice in the context of the chemistry discipline content. A chemistry teacher conducted inquiry-based modeling practice including anomalous phenomena for 16 students in the second year of a science gifted school, and in order to analyze the cognition level for each of the three meta-modeling knowledge components such as model variability, model multiplicity, and modeling process, the inquiry notes recorded by the students and observation note recorded by the researcher were used for analysis. The recognition level was classified from 0 to 3 levels. As a result of the analysis, it was found that the cognition level of the modeling process was the highest and the cognition level of the multiplicity of the model was the lowest. The cause of the low recognitive level of model variability is closely related to students' perception of conceptual models as objective facts. The cause of the low cognitive level of model multiplicity has to do with the belief that there can only be one correct model for a given phenomenon. Students elaborated conceptual models using symbolic models such as chemical symbols, but lacked recognition of the importance of data interpretation affecting the entire modeling process. It is necessary to introduce preliminary activities that can explicitly guide the nature of the model, and guide the importance of data interpretation through specific examples. Training to consider and verify the acceptability of the proposed model from a different point of view than mine should be done through a modeling practice program.

• Journal of the Korean School Mathematics Society
• /
• v.15 no.4
• /
• pp.747-770
• /
• 2012

In this study, we develop the mathematical modeling teaching materials focused function units of mathematics textbooks and establish the appropriate teaching and learning model. Using mathematical modeling materials and developed instructional materials for teaching high school students is aimed to improve the academic achievement, mathematical attitude and fear. The problem of this study is as follows : First, between the groups using mathematical modeling and a traditional textbook teaching academic achievement groups showed that there is a difference? Second, between the groups using mathematical modeling and a traditional textbook teaching mathematics between groups showed that there is a difference of mathematical attitude and fear? Third, what are the lessons for the students' responses using mathematical modeling?

• Journal of Internet Computing and Services
• /
• v.6 no.6
• /
• pp.107-115
• /
• 2005

A workflow procedure has recently become more complicated and large scaled. In this paper, we propose an advanced workflow modeling methodology, called a fragment driven cooperative workflow modeling methodology. which enables several real workflow designers to cooperatively define a workflow model. The methodology is a Bottom-Up approach in terms of integrating a set of fragment ICNs to compose a complete workflow model. Each fragment ICN is defined by each participant in the cooperative modeling session, We also use the ICN based formal description and the ICN based graphical notation as well. Finally, we prove the feasibility of the methodology by implementing a cooperative workflow modeling system.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.30 no.1
• /
• pp.87-94
• /
• 2017

Reliability analysis(RA) and Reliability-based design optimization(RBDO) require statistical modeling of input random variables, which is parametrically or nonparametrically determined based on experimental data. For the parametric method, goodness-of-fit (GOF) test and model selection method are widely used, and a sequential statistical modeling method combining the merits of the two methods has been recently proposed. Kernel density estimation(KDE) is often used as a nonparametric method, and it well describes a distribution function when the number of data is small or a density function has multimodal distribution. Although accurate statistical models are needed to obtain accurate RA and RBDO results, accurate statistical modeling is difficult when the number of data is small. In this study, the accuracy of two statistical modeling methods, SSM and KDE, were compared according to the number of data. Through numerical examples, the RA results using the input models modeled by two methods were compared, and appropriate modeling method was proposed according to the number of data.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.14 no.2
• /
• pp.26-30
• /
• 2000

In this paper, we obtain a mathematical model of a gas turbine control system from experimental data. The gas turbine in Gunsan power plant is selected as controlled system. The recursive least square algorithm is used to model the plant. For parameter estimation, plant is assumed as second order system and forgetting factor is 0.98 and the period of input and output signal period is 1sec. As a result, input and output characteristics of real system and modeling are identified.

• Journal of the Korea Society for Simulation
• /
• v.25 no.4
• /
• pp.21-30
• /
• 2016

Recently manufacturing companies have used PLC control programs popularly for their automated production systems. Since the life cycle of production process is not so long, the change of the production lines occur frequently. Most of changes happen with modification of the position information and control process of the equipment. PLC control program is also modified based on the fundamental process. Therefore, to verify new PLC program by configuring virtual space according to real environment is needed. In this paper we show a logical modeling method, based on Timed-FSA useful for sequence control and dead-lock prevention. There is a problem wasting user's labor and time when defining a variety of states in a device. To overcome this problem, we propose an extended I-O model based on existing methods by adding a token concept of Petri Nets. Also we will show the usability of the extended I-O modeling through user study.