• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1001-1014
• /
• 2003

In a feature modeling, problems such as ambiguities, interpretation errors, incompleteness, etc caused by informal specification occur in the modeling phase. Therefore, feature specification method and processes are suggested in this paper to resolve these problems. The structure and language of feature modeling is defined in this paper to specify various features. First, this feature model is abstracted in the meta-level to get predicates and attributes. Formal feature model specification method is proposed using multi-paradigm language. Second, Feature specification process is proposed to describe how to specify feature formally. And third, Feature interaction management is defined to solve the problems caused between specified features. Finally, the proposed feature specification method is applied to Distributed Meeting Scheduler System domain.

• Journal of KIBIM
• /
• v.13 no.3
• /
• pp.21-29
• /
• 2023

ChatGPT, a chatbot based on GPT large language models, has gained immense popularity among the general public as well as domain professionals. To assess its proficiency in specialized fields, ChatGPT was tested on mainstream exams like the bar exam and medical licensing tests. This study evaluated ChatGPT's ability to answer questions related to Building Information Modeling (BIM) by testing it on Korea's BIM expertise exam, focusing primarily on multiple-choice problems. Both GPT-3.5 and GPT-4 were tested by prompting them to provide the correct answers to three years' worth of exams, totaling 150 questions. The results showed that both versions passed the test with average scores of 68 and 85, respectively. GPT-4 performed particularly well in categories related to 'BIM software' and 'Smart Construction technology'. However, it did not fare well in 'BIM applications'. Both versions were more proficient with short-answer choices than with sentence-length answers. Additionally, GPT-4 struggled with questions related to BIM policies and regulations specific to the Korean industry. Such limitations might be addressed by using tools like LangChain, which allow for feeding domain-specific documents to customize ChatGPT's responses. These advancements are anticipated to enhance ChatGPT's utility as a virtual assistant for BIM education and modeling automation.

• Journal of Information Technology and Architecture
• /
• v.9 no.3
• /
• pp.243-251
• /
• 2012

This paper presents the Conceptual Models of the Mission Space-Korea (CMMS-K), which is an ontology-based conceptual modeling framework of the mission space. Through modeling and simulating military trainings, we can reduce the cost of actual military trainings in terms of time, space, and supplies. CMMS-K is being developed to improve the interoperability and reusability of defense models and simulations. CMMS-K reflects the needs and characteristics of Korean military while referring to existing military conceptual modeling frameworks. The main components of CMMS-K contain domain ontologies, a mission space model description language, a mission space modeling tool, and a CMMS-K management system. CMMS-K domain ontologies consist of entity and task ontologies. In this paper, the CMMS-K domain ontologies are described in detail and the feasibility of the proposed method is discussed with a case study.

• Korean Institute of Interior Design Journal
• /
• v.25 no.6
• /
• pp.70-78
• /
• 2016

This paper aims to describe a case study of parametric interior design based on BIM (Building Information Modeling). As the practical use of BIM-based design grows, its influence expands into the field of interior architecture design. BIM makes possible to check various design plan, reach decision making in an effective way, and change design plan in an efficient method. Therefore, BIM is also promising field in interior architecture design. However, compared to other fields in architecture, engineering, and construction (AEC) industry, there have been less research and projects on BIM in the field of interior architecture. For increasing the feasibility of adapting BIM in interior architecture design, this paper describes a case study-projecting images for designing interior panels using parametric modeling. This process needs elaborate, delicate, and precise steps for harmonious output. For continuous use of building, users look forward to the design which variable and changeable according to user's preference and environment. Therefore, demand for parametric design in the interior design part such as panel pattern design for various decoration is growing. Treated process in this paper deals with an advanced phase which much effective in decreasing time consumption and useless part of process. Finally, this paper suggests the possibility of using BIM in the interior design process and field where BIM can be applied.

• Journal of information and communication convergence engineering
• /
• v.14 no.2
• /
• pp.115-121
• /
• 2016

Currently there is a lack of literature on SPICE-level models of double-gate (DG) tunnel field-effect transistors (TFETs). A DG TFET compact model is presented in this work that is used to develop a SPICE model for DG TFETs implemented with Verilog-A language. The compact modeling approach presented in this work integrates several issues in previously published compact models including ambiguity about the use of tunneling parameters A_k and B_k, and the use of a universal equation for calculating the surface potential of DG TFETs in all regimes of operation to deliver a general SPICE modeling procedure for DG TFETs. The SPICE model of DG TFET captures the drain current-gate voltage (I_ds-V_gs) characteristics of DG TFET reasonably well and offers a definite computational advantage over TCAD. The general SPICE modeling procedure presented here could be used to develop SPICE models for any combination of structural parameters of DG TFETs.

• Journal of the Korean Society of Systems Engineering
• /
• v.4 no.2
• /
• pp.1-13
• /
• 2008

The development of hull curved plate forming automation system in ship production field begins from the need of stakeholders such as enterprise organization, who need the reduction of cost and time and improvement of productivity, and end users who work for this production process. Even though hull curved plate forming automation system has small scale, it is reasonable to consider the system as an interdisciplinary system, because the system includes all of hardware, software, human and information and has a specified objective to be performed. In this paper, introduction of 4 leading Model-Based Systems Engineering (MBSE)methodologies is described and SysML(Systems Modeling Language), which is designed to analyze, specify, design, and verify complex systems, is introduced in order to support those methodologies. Especially, SysML is applied to system modeling of hull curved plate forming automation system and focused on. The structure diagrams and behavior diagrams based on operational context of the automation system are used to make system architecture. The performed application of SysML to the hull curved plate forming automation system shows an example of applying SysML to the development of other autonomous systems in ship production domain.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.12
• /
• pp.143-150
• /
• 2010

To survive in rapidly changing business environment, the enterprise should adapt its business process to the changing environment. The system integration is an important issue to tackle this challenge. It is unavoidable direction that SOA(Service Oriented Architecture) is accepted as an upcoming IT standard to support flexible business processes and integration. In particular, the integration of business processes and interfaces are important. Therefore, intuitive and easy to implement business process modeling is required. In this paper analyzes business process between enterprises, modeling the service-oriented business process with BPEL to realization level. Also, In this paper suggests that UML is used from high-level business problems to the process of low-level problem for Visual and effectively.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.747-752
• /
• 2001

UML is a standard language that models an analysis and design process in the development of an application system or components, CORBA, COM+, EJB and others are the techiniques that are realized reuse of components. After it is distinguished between reusable components and new components on the components development process and is developed, the developing cost of components or application system can be reduced and the components of superior in quality can be created. This paper defines the extended UML notation that needed in modeling of the products created from the development process of components. Also, this paper introduces a modeling of components and UML application method that needed in development of an auction system based on Web.

• The Journal of Internal Korean Medicine
• /
• v.43 no.6
• /
• pp.1075-1088
• /
• 2022

Objectives: The aim of this study is to analyze cancer research trends in traditional Korean medical journals indexed in the Korea Citation Index since 2000. Methods: Cancer research papers published in traditional Korean medical journals were searched in databases from inception to October 2022. The numbers of publications by journal and by year were descriptively assessed. After natural language processing, topic modeling (based on Latent Dirichlet allocation) and keyword network analysis were conducted. Results: This research trend analysis involved 1,265 papers. Six topics were identified by topic modeling: case reports on symptom management, literature reviews, experiments on apoptosis, herbal extract treatments of breast carcinoma cell lines, anti-proliferative effects of herbal extracts, and anti-tumor effects. Keyword network analysis found that the effects of herbal medicine were assessed in clinical and experimental studies, while acupuncture was mainly mentioned in clinical reports. Conclusions: Cancer research papers in traditional Korean medical journals have contributed to evidence-based medicine. Further experimental studies are needed to elucidate the effects of on different hallmarks of cancer. Rigorous clinical studies are needed to support clinical guidelines.

• Journal of Intelligence and Information Systems
• /
• v.21 no.1
• /
• pp.99-118
• /
• 2015

Object-oriented programming languages have been widely selected for developing modern information systems. The use of concepts relating to object-oriented (OO, in short) programming has reduced efforts of reusing pre-existing codes, and the OO concepts have been proved to be a useful in interpreting system requirements. In line with this, we have witnessed that a modern conceptual modeling approach supports features of object-oriented programming. Unified Modeling Language or UML becomes one of de-facto standards for information system designers since the language provides a set of visual diagrams, comprehensive frameworks and flexible expressions. In a modeling process, UML users need to consider relationships between classes. Based on an explicit and clear representation of classes, the conceptual model from UML garners necessarily attributes and methods for guiding software engineers. Especially, identifying an association between a class of part and a class of whole is included in the standard grammar of UML. The representation of part-whole relationship is natural in a real world domain since many physical objects are perceived as part-whole relationship. In addition, even abstract concepts such as roles are easily identified by part-whole perception. It seems that a representation of part-whole in UML is reasonable and useful. However, it should be admitted that the use of UML is limited due to the lack of practical guidelines on how to identify a part-whole relationship and how to classify it into an aggregate- or a composite-association. Research efforts on developing the procedure knowledge is meaningful and timely in that misleading perception to part-whole relationship is hard to be filtered out in an initial conceptual modeling thus resulting in deterioration of system usability. The current method on identifying and classifying part-whole relationships is mainly counting on linguistic expression. This simple approach is rooted in the idea that a phrase of representing has-a constructs a par-whole perception between objects. If the relationship is strong, the association is classified as a composite association of part-whole relationship. In other cases, the relationship is an aggregate association. Admittedly, linguistic expressions contain clues for part-whole relationships; therefore, the approach is reasonable and cost-effective in general. Nevertheless, it does not cover concerns on accuracy and theoretical legitimacy. Research efforts on developing guidelines for part-whole identification and classification has not been accumulated sufficient achievements to solve this issue. The purpose of this study is to provide step-by-step guidelines for identifying and classifying part-whole relationships in the context of UML use. Based on the theoretical work on Meta-model Formalization, self-check forms that help conceptual modelers work on part-whole classes are developed. To evaluate the performance of suggested idea, an experiment approach was adopted. The findings show that UML users obtain better results with the guidelines based on Meta-model Formalization compared to a natural language classification scheme conventionally recommended by UML theorists. This study contributed to the stream of research effort about part-whole relationships by extending applicability of Meta-model Formalization. Compared to traditional approaches that target to establish criterion for evaluating a result of conceptual modeling, this study expands the scope to a process of modeling. Traditional theories on evaluation of part-whole relationship in the context of conceptual modeling aim to rule out incomplete or wrong representations. It is posed that qualification is still important; but, the lack of consideration on providing a practical alternative may reduce appropriateness of posterior inspection for modelers who want to reduce errors or misperceptions about part-whole identification and classification. The findings of this study can be further developed by introducing more comprehensive variables and real-world settings. In addition, it is highly recommended to replicate and extend the suggested idea of utilizing Meta-model formalization by creating different alternative forms of guidelines including plugins for integrated development environments.