• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.247-249
• /
• 2003

Currently there are a variety of different tools may be used to analyze, model, describe and document a business process. However, it is difficult to exchange the information of a business process created in different tools because of the distinct information formats used in different tools. The XML Process Definition Language (XPDL) of the Workflow Management Coalition (WfMC) forms a common interchange standard that enables products to continue to support arbitrary internal representations of process definitions with an import/export function to map to/from the standard at the product boundary. Generally a business process model can be represented by the UML activity diagram, but there is a difficult task to directly generate an XPDL document from a business process model represented by the standard activity diagram. In the paper we will propose an approach to generate an XPDL document from a business process model represented by the extended UML activity diagram.

• Korean Institute of Interior Design Journal
• /
• v.17 no.3
• /
• pp.156-164
• /
• 2008

Through staggering advancements of technology and network as we know them as digital revolution, we have established a foundation of space in which we can express reality by eliminating the boundaries between expression, space, and movement. There are many ongoing approaches that aim to overcome the physically-fixed property of space where the mathematical-geometric notion of Voronoi Diagram is one of them. Although the repetitive increment based on self-organization during the process in which space is generated by the Voronoi Diagram forms a pattern and focuses on the formation, its pattern is not restricted to a single method of expression but evolves over self-control. The result of having analyzed spaces generated by the Voronoi Diagram in this study can be summarized as follows. First, the Voronoi computation method with self-organization property creates multiple levels, increments, and evolves through feedbacks among changes with the slightest order and in the absence of control. Secondly, after forming a pattern through such feedbacks comes the differentiation phase due to the presence of different properties. Thirdly, a space that has gone through the generation process retransforms through active interaction between changes and it obtains ambiguous boundaries and a repetitive pattern. This leads to an evolution of space through repetitive increments based on self-organization. Such flexible space creation is supported by various digital technologies where we believe a converging application of these studies, sciences, engineering concepts, and space design is and effective and new method in terms of space creation.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.11a
• /
• pp.35-36
• /
• 2008

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2010.11a
• /
• pp.763-764
• /
• 2010

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.4
• /
• pp.359-366
• /
• 2009

MATLAB Autocode generation is a feature that converts a block diagram model in Simulink to a c program. Utilizing this function makes MATLAB/Simulink an integrated developing environment, from controller design to implementation. It can reduce development cost and time significantly. However, this automated process requires high reliability on the software, especially the original Simulink block diagram model. And thus, the verification of the codes becomes important. In this study, a UAV flight program which is generated with Simulink is validated and modified according to DO-178B. As a result of applying the procedures, the final program not only satisfied the functional requirement but is also verified with structural point of view with Decision Coverage 93%, Condition Coverage 95% and MC/DC 90%.

• Asia pacific journal of information systems
• /
• v.13 no.1
• /
• pp.213-230
• /
• 2003

Most of existing expert systems developed for Web use CGI-based techniques and this frequently makes them suffer from the overburden of commercial Web servers, which deal with large-scale services. However, since HTML-based inference technique represents expert's knowledge by hyperlinks among HTML documents, the hypertext function of the Web can perform the inference efficiently in terms of time and space without the help of additional inference engines. In spite of such benefits, when the expert's knowledge is relatively large and/or complicated, the HTML-based inference technique has usually become to have a hard time of dealing with a lot of HTML documents because generation and management tasks of the numerous HTML documents would cause big trouble to the knowledge engineer. To resolve this problem, we developed an automatic generation and management tool for Web-based inference sites, called WeBIS. With this tool, a knowledge engineer can input and edit expert's knowledge using Expert's Diagram on the GUI(Graphical User Interface) environment and automatically generate hyper-linked HTML documents for Web-based inference from the Expert's Diagram.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.3
• /
• pp.268-276
• /
• 2002

In this paper we suggest a method to produce automatically teat data using UML development diagrams, and analytically describe the application of a tool, Automatic UML-based Test Data Generation (AUTEG) developed using XML technology, to the examples of insurance system. Our AUTEG automatically generates test diagrams that enable to detect errors existing at the interface area between modules composing the whole system, along with test data by applying the existing white-box test technique to the test diagram. Our AUTEG can be applied to the integration test as well as the system test and using the tool, users may make the unit modules of the integration test into several groups.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.4
• /
• pp.115-124
• /
• 2021

Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.

• Korean Journal of Construction Engineering and Management
• /
• v.20 no.5
• /
• pp.42-51
• /
• 2019

The train operation institution establishes a transportation plan based on the forecast of transport demand and the ability of train vehicles to transport, and establishes a train operation plan accordingly. The train operation plan adjusts the intervals between trains, creates a timetable (train diagram) for trains, and establishes a plan for the operation of train vehicles used for train operation. The train operation institution shall establish a crew schedule to determine and place the crew members of the trains arranged in the diagram in order to enhance the efficiency of the operation management of the trains. In this study, the authors apply the neighborhood search method that satisfies the constraints at the phase of generating the crew diagram. This suggests a methodology for efficient management of crew schedule plan. The crew diagram generated in this study compared with the existing crew diagram in accordance with the actual operating train timetable, and verified the effectiveness of the suggested method.

• Journal of Korean Society for Quality Management
• /
• v.44 no.4
• /
• pp.713-733
• /
• 2016

Purpose: The primary objective of this case study is to establish a COQ(Cost of Quality) management system for power generation industries. Key topics of this study include collecting COQ elements, their classifications, COQ computation formula, and determining COQ improvement projects. Results: A comprehensive set of COQ elements have been isolated for electric power generation companies. The COQ elements were classified in such a way that they could be managed according to the PAF model as well as the SIPOC diagram. This study showed that a systematic approach could be established for monitoring the COQ elements and using them in the process of improving quality competitiveness. Methods: The PAF(Prevention-Appraisal-Failure) model has been employed in the process of collecting COQ elements for a power generation company. All the cost of quality elements were first examined through an extensive review of articles and books in the field of quality. The cost elements were then refined and augmented by conducting a comparative study with international standards. The COQ elements have been verified by a group of quality managers and classified according to both the PAF model and the SIPOC diagram for better understanding in the entire organization. An improvement strategy has been also proposed by using a typical COQ level of power generation companies. Conclusion: The conventional PAF model was used in establishing a COQ management system for power generation industries. This case study illustrates the procedure about identification, classification and computation of quality costs, including selection of improvement projects. The system can be used not only for observing the current state of cost elements related to quality, but also for planning an improvement strategy using the ratio of cost classification.