• Journal of the Korea Safety Management & Science
• /
• v.19 no.4
• /
• pp.231-240
• /
• 2017

The paper explores the relationship among the personnel characters, organizational formalization and organizational commitment in Korean firms in Shandong province of China. In this paper, the employee's personnel characters include the sexual, job, college graduate, collectivism(value attitude), Power distance(value attitude). The results of anaysis shows that College gratuate have negative effects on the organizational commitment, and the collectivism have positive effection on the affective commitment, the perception of organizational formalization have positive effects on the affective commitment. And, the perception of organizational formalization have moderlate effects among the job, college gratuate, collectivism, power distance with organizational commitment. Based on the these results, the paper described the theoretical and practical implications.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.800-807
• /
• 2008

We introduce some well-known approaches to formalization and automatization of the meta-theory of a programming language with binders. They represent the trends in POPLmark Challenge. We demonstrate some characteristics of each approach by showing how to formalize some basic notations and concepts of Lambda-calculus using the proof assistant Coq.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.3
• /
• pp.119-127
• /
• 2006

In this paper, we present a systematic approach to translating BPML(Business Process Modeling Language) into the ${\pi}-Calculus$. BPML is an executable business process modeling language, like BPEL4WS(Business Process Execution Language for Web Services). It is difficult to find a systematic approach to formalizing these languages; but, by formalizing them, the behavior of the processes can be analyzed and compared so that optimal processes can be designed. For this formalization, we analyzed the activity types and contexts of BPML and suggested the definitions of semantics for each type and context by using the ${\pi}-Calculus$. In addition, we have shown the usefulness of our formalization scheme in that a typical order fulfillment process represented in BPML can be translated into the ${\pi}-Calculus$.

• Journal of Distribution Research
• /
• v.4 no.1
• /
• pp.71-92
• /
• 1999

The basic purpose of this study is to investigate how the traits of the buyer-seller transaction-relationship relate to relationship performance, including relationship performance explicitly in the proposed model. The traits examined include relational norm, formalization, market uncertainty, and relationship investment. It is hypothesized that relational norm and formalization have positive impacts on relationships performance while market uncertainty has a minus impact. In addition, it is hypothesized that relational norm has a positive moderating impact on the effect of relationship investment--the investment and efforts for maintaining a relationship to relationship performance. A mail-survey to the manufacturers of machinery and equipment about their relationships with the parts suppliers was performed. Data provided a strong support for the hypotheses. As hypothesized, relationship performance and formalization generally had positive impacts on relationship performance and formalization generally had positive impacts on relationship performance while market uncertainty showed negative impacts. Also, there is a good evidence for the positive moderating effect of relational norm to the impact of relationship investment on relationship performance.

• School Mathematics
• /
• v.15 no.4
• /
• pp.847-866
• /
• 2013

The purpose of this study was to analyze students' various solution methods revealed in the lessons of finding out the area of plane figures, and to explore instructional implications on how to draw meaningful formalization out of such multiple methods. The teacher in this study tended to select a few solution methods that were easy for students to understand and to induce formalization. An analysis of students' solution methods and the process of formalization showed that students need to understand what parts of the length of the given plane figure they should know, and to identify the base, height, and diagonal line of the figure. The analysis also showed that it was effective to choose the solution methods that were used by many students and that could be easily transformed into a concise formula. Based on these results, this paper provides instructional suggestions for a teacher to orchestrate classroom discussion toward formalization based on students' multiple solution methods.

• The Journal of Information Technology
• /
• v.4 no.4
• /
• pp.1-14
• /
• 2001

The Purpose of this study is to determine whether the fitness between the formalization of logistics organization and information technology(IT) activities enhances the logistics performance. Successful participation in the global marketplace demands the formalization of the logistics organization and the integration of a firm's logistics activities, which can be enhanced by electronic linkage. The electronic linkage is improved by IT activities, which are divided into three subcontracts. Those are hardware system developments, software developments and system operation. Specifically this study tries to answer the following questions: First, relationship of the formalization of logistics organization iud logistics performance, second, relationship of IT activities and logistics performance.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.17 no.3
• /
• pp.79-99
• /
• 1992

The DEVS (Discrete Event system Specification) formal model for discrete event simulation is a hierarchical, modular model. Because the DEVS formal model has a mathematical structure, it provides a theoretic background of discrete event simulation model. However, the DEVS formal model is difficult to understand because of its mathematical structure. Also, since the DEVS formal model is often constructed by heuristic, subjective method of model designer from the model, a systematic model built-in methodology does not exist. In this paper, we propose the model formalization methodology from an informal model to the DEVS formal model. For this formalization methodology, we introduce formal tools for model construction based on the DEVS ( from an informal model : Event Dependency Graph (EDG) for the event analysis and State Representation Graph(SRG) for the system state analysis.

• Journal of Korea Multimedia Society
• /
• v.21 no.3
• /
• pp.423-431
• /
• 2018

In this paper, we try to verify a normative module based house design procedure consisted of several sequential steps. The first step is to suggest formalization of designing so that we could clarify each phase and operation we are adopting in our design process. The second step is the clearing up the conceptual schema of traditional skills that we adopt and utilize from traditional Hanok framing techniques. The third step is to formulate adequate modular kits for the assembly of house design solutions for the schematic, conceptual and preliminary phases of designing. The fourth step is to implementing our ideas and methods to a proper computational platform such as Unity3D. The final step is to verify our symbolic descriptions of design formalization with the output of our experiments so that we have better understanding of design reasoning characteristics such as in house design.

• Journal of Digital Contents Society
• /
• v.17 no.3
• /
• pp.197-202
• /
• 2016

This paper suggested that medical image database construction technique that generated and recognized from variable medical device and professional medical experts for the formalization and pattern extraction from informal medical images. And then we transformed informal image characteristics to digital data, and generated the meaningful pattern matching informations. Through this experienced works, so many related researchers can easily access the medical images database and use this formalized image informations on the variable fields.

• Asia pacific journal of information systems
• /
• v.9 no.4
• /
• pp.1-21
• /
• 1999

This study intends to find the empirical relationship between the environmental and organizational characteristics and the strategic use of information systems(SUIS). Sixty-five firms in Korea are surveyed and analyzed to understand the impact of these characteristics on SUIS. As environmental characteristics, we select dynamism, hostility, and heterogeneity. As organizational characteristics, we select centralization, formalization, and IS maturity. The result of correlation analysis shows that formalization and information systems maturity are correlated significantly with SUIS. The result of regression analysis reveals that formalization is a major determinant to influence on SUIS of organization. Also, additional analysis shows that service industry have higher extent of SUIS than manufacturing industry.