• The Journal of the Korea Contents Association
• /
• v.18 no.7
• /
• pp.177-193
• /
• 2018

The business process management system that can integrate and manage a medical institution's processes has been increased importance to adapt to constantly changing medical environments and share information with various external medical institutions. The business process management system is an automated process tool that converts the graphic-based BPMN process model into a WS-BPEL, the execution language of the web service environment, and executes it through the process engine. However, the BPMN process model can be difficult to convert into WS-BPEL due to several ambiguities and structural inconsistencies. The process model may also contain structural anomalies that can lead to execution errors during process execution. In this paper, we present business process model formalization and structural anomaly verification techniques for facilitating integrated process management in medical institutions. Through the case study based on the IHE profile, we presented a formalized BPMN process model and verify the structural anomalies. We show the superiority of the proposed technique through comparative experiments with other related works.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.19 no.2
• /
• pp.57-73
• /
• 1994

KADS is currently a best known methodology for expert system development is Europe. KADS world sees the expert system development as a modeling activity and uses models to control complexity of the development process. Four layers KADS expertise model is used to describe expert knowledge. But this expertise model in high abstraction level is conceptual and not formalized. This paper has formalized KADS expertise model using set theory and mathematical semantics combined in order to reduce the ambiguity of informal models of expertise, provide a precise means of communication about the model of expertise and point out incompleteness and inconsistency of the model of expertise. Instead of first order predicate calculs, set theory and mathematical semantics are used because they are a more general and have compositive quality.

• International conference on construction engineering and project management
• /
• 2020.12a
• /
• pp.63-74
• /
• 2020

The assembly of modular construction requires a series of thoroughly-considered decisions for crane lifting including the crane model selection, crane location planning, and lift path planning. Traditionally, this decision-making process is empirical and time-consuming, requiring significant human inputs. Recently, research efforts have been dedicated to improving lift planning practices by leveraging cutting-edge technologies such as automated data acquisition, Building Information Modelling (BIM) and computational algorithms. It has been demonstrated that these technologies have advanced lift planning to some degree. However, the advancements tend to be fragmented and isolated. There are two hurdles prevented a systematic improvement of lift planning practices. First, the lack of formalized lift planning workflow, outlining the procedure and necessary information. Secondly, there is also an absence of a shared information environment, enabling storages, updates and the distribution of information to stakeholders in a timely manner. Thus, this paper aims to overcome the hurdles. The study starts with a literature review in combination with document analysis, enabling the initial workflow and information flow. These were contextualised through a series of interviews with Australian practitioners in the crane-related industry, and systematically analysed and schematically validated through an expert panel. Findings included formalized workflow and corresponding information exchanges in a traditional lift planning practice via a Business Process Model and Notation (BPMN). The traditional practice is thus reviewed to identify opportunities for further enhancements. Finally, a BIM-based lift planning workflow is proposed, which integrates the scattered technologies (e.g. BIM and computational algorithms) with the aim of supporting lift planning automation. The resulting framework is setting out procedures that need to be developed and the potential obstacles towards automated lift planning are identified.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.12
• /
• pp.823-828
• /
• 2013

In this paper, it will improve in quality to adapt a right test process which is formalized from certification of TMMi Level. To do this, we suggest correlative relation through analyzing associations between TMMi and TPI next based on the previous research[10], which provides the guideline for enhancing test process level with measuring Test maturity model. Also schematize test maturity measurement through refining and improving the previous test maturity correlation metrics[6,8,9]. As one example with limited level, it shows the guideline to improve test process of one testing organization through improved correlation metrics with TMMi and TPI next.

• Korea journal of population studies
• /
• v.11 no.1
• /
• pp.97-116
• /
• 1988

This study examines the socioeconomic determinants of fertility behavior in Korea by developing a model which simultaneously takes into account both individual and community-level differences. It especially focuses on the micro-macro nexus of fertility behavior depending on social contexts. This study utilizes micro data obtained from the 1974 Korean National Fertility Survey(KNFS), and macro data obtained from Korean government statistics. The framework of the model is formalized as a set of structural equations modelling the fertility process. The model is formed on a cohort-specific processual basis and is restricted to five-year birth cohorts. Three cohorts of women are studied : those aged 30-34, 35-39, and 40-44. The model includes three fertility-process components : age at first birth, early fertility, and later fertility, which are defined by reference to the age of the mother. The results of this study indicate that socioeconomic development in Korea results in increased age at first birth and reduced numbers of children per couple. In addition to the developmental change, Korea's fertility decline is found to be facilitated by family planning programs. As expected, the effect of family planning on fertility is greater among better-educated women than among poorly educated women. The inconsistent but suggestive result, however, is that the effect of socioeconomic development on fertility is greater among less-privileged women than among more-previleged women.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.10a
• /
• pp.219-222
• /
• 2000

Systematic management of data related to business process, and information exchange within existing information systems or between different companies have recently become an important issue. This paper tries to solve such problems by using form based workflow system using XML(extensible Markup Language), a standard for digital document exchange. In this system, a new model that formalizes documents into XML form documents and manages them is developed. By defining and operating form documents by XML, information exchange within existing information systems such as ERP and SCM or between different companies, and interoperability between different WFMS can be easily achieved. In addition, by matching form, a formalized document, with existing database schema, WFMS can be directly applied to existing information system, thus enabling continuity of data management and business activity.

• Journal of Arbitration Studies
• /
• v.30 no.3
• /
• pp.47-66
• /
• 2020

Due to the division of China's departmental laws, the disconnect between theory and practice, and the influence of traditional academic thinking on the understanding of the knowledge structure of arbitration legal talents in practice, the construction of law school colleges, teaching teams, and research centers mostly revolves around departmental laws, tearing the connection of the arbitration legal system. The student-centered, process-guaranteed, and result-oriented arbitration master of law training model is "virtualized," the shaping of arbitration professionalism is ignored, the coverage of practical teaching is narrowed, and the arbitration legal profession is mostly formalized. The prevalence of specialized curriculum systems shortage, single faculty, formalized practical teaching, outdated curriculum settings, unsuitable curriculum system design for development, and inaccurate professional curriculum standards and positioning renders it difficult to integrate the "Belt and Road." The cutting-edge, the latest research results, and practical experience cannot reflect the connotation, goals, and requirements of "Entrepreneurship" education, as well as arbitral issues such as the ineffective monitoring of practical education and the inconsistent evaluation of standards and scales. Under the background of the "Belt and Road," based on system theory and practice and through training goals that innovate and initiate organizational form, activity content, management characteristics, assessment and support conditions, etc., the arbitration law teaching curriculum system is gradually improved and integrated. Through the establishment of a "Belt and Road" arbitration case file database and other measures, a complete arbitration law theory and practice teaching guarantee system has been established. Third parties are introduced, arbitration law experimental modules are developed, students are guided how to discover new knowledge, new contents are mastered, solidarity, cooperation, and problem-solving capabilities are cultivated in the practice of the "Belt and Road," and quality education, vocational education, and innovation education are organically integrated. In order to implement the requirements of arbitration law education, innovation development and collaborative management of arbitration law teaching practice base should be cultivated, thus giving full play to the effect of collaborative education between universities and arbitration institutions.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.37-44
• /
• 2018

In applying modeling and simulation (M&S) techniques to analyze complex discrete event dynamic systems, conventionally users had to use different simulation environments depending on the user-level. To solve the inconvenience, this paper proposes an integrated development environment for M&S depending on user-level and a formalized interface to manage the model in the development environment efficiently. The interface consists of an extended DEVS formalism and model making rules. The development environment is divided into a modeling environment and a simulation environment. In the modeling environment, three modeling methods are provided for each level of the users. Users inputs several parameters to the model generated as a result of the modeling process, and experiments in various cases by using the simulation environment. The case study shows the implementation of the proposed M&S environment, and using the implemented environment, it shows the M&S process of the complex defense combat system.

• The Journal of Industrial Distribution & Business
• /
• v.9 no.2
• /
• pp.17-26
• /
• 2018

Purpose - The purpose of this study is to provide a formalized process of decision making for companies or organizations that need to make various decisions in the age of uncertainty. Therefore, this study aimed to proposes a strategic decision-making approach citing the relatively easily accessible using IPA(important-performance analysis) and SWOT/AHP analysis. Research design, data, and methodology - To be specific, the first step is to derive necessary attributes and conduct IPA. The second step is to subdivide the IPA results into internal strength and weakness factors and the external opportunity and threat factors, hierarchize those factors, and weight them accordingly. The third step is to build a causality model to propose a method of supporting a rational decision making. Results - The foregoing approach seems to facilitate the diversification of decision-making strategies by helping businesses or organizations to measure and analyze the attributes needed for certain decisions. Additionally, the perceived importance and satisfaction (or achievement) usage of those derived attributes can be used as the reference data for SWOT/AHP analysis. Conclusions - The proposed stepwise approach is applicable to businesses or organizations in need of making stepwise decisions in line with their retained competencies in comparison to conventional or intuitive decision-making practices.

• Convergence Security Journal
• /
• v.18 no.5_1
• /
• pp.11-17
• /
• 2018

The number of certificates in Korea is about 32,364(2018.09). There are 252 national technical qualifications, 149 national professional qualifications, 99 public private qualifications, and 31,894 private qualifications. The purpose of this study is to examine the process by which KAITS ISE is created. The course was examined and formalized for 10 years from the establishment of KAITS to the first test. As a result of the research, (1) Preparatory considerations (2) Development of qualifications framework (3) Job analysis and drafting (4) Development of problem banks (5) Design of curriculum (6) Development of verification strategy (7) Execution of verification (8) Revenue plan (9) Expansion of qualification demand (10) Opinion formation. After that, the module of the creativity is studied. It is expected that it will be used as a model for certification development in industry security consulting experts.