• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.8
• /
• pp.1325-1335
• /
• 2002

Workflow systems, automated business processing, have been generalized. In this paper, we propose a method to mine workflow specification on workflow logs. The method detects workflow specification considering cycle, AND and OR control flow between tasks. Also, we provide dynamic mining method to detect workflow specification in which log is generated.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.475-477
• /
• 2001

흠 네트워킹에 대한 관심이 높아지며 이를 실현하는데 필요한 Residential Home Gateway를 구현하기 위해 2000년 5월 OSGi에서 Open Service Gateway Specification을 발표했다. 본 논문에서는 이에 따른 Home Automation Controller를 구현하기 위한 방법을 논하고 있다. 먼저 Home Automation Controller의 개념에 대해서 알아보고 OSGi의 배경과 Open Service Gateway Specification의 내용을 살펴본다. 그리고 specification에 따른 Home Automation Controller용 개방형 서비스 게이트웨이를 구현하는 방법에 대해 고찰해 본다.

• IE interfaces
• /
• v.21 no.1
• /
• pp.18-32
• /
• 2008

In recent, a general trend is observed towards more customized products and shorter product life cycles in manufacturing companies. In these companies, customers often wish to influence the product they order and to get a variant of product that meets their requirements. This environment is called as a customer-oriented manufacturing companies. This paper presents a procedure of product specification management for customer-oriented manufacturing companies by using product specification framework. This framework is founded on the product specification based product structure which is made of model, specification, function, and part. Also, a product specification management system(PSMS) is implemented by using the proposed product specification framework and is a core system in product data integration system. To illustrate an utilization of the proposed framework and procedure, a case of a ship engine product is applied. As a result, PSMS reduces delivery time and improves customer relationships. Moreover, the case shows that PSMS can be used as a tool for improving inter-department coordination within a company during product life cycle.

• Journal of Information Technology Services
• /
• v.11 no.2
• /
• pp.275-289
• /
• 2012

Although the specification of packaging box is one of the most important process to be considered before deciding cost in terms of production and logistics, there are no efficient services in our country at this time as such the making decision only through the empirical knowledge. In this research, we have developed the packaging specification design system based on the web online packaging IT service. The developed system was advanced from the existing-inefficient process of deciding the specification of packaging box, and which can decide the specification of packaging box considering the efficiency of logistics through use of IT based tool. Therefore, this study shows applied cases of normalized packaging process through the obtained packaging design simulation program. The packaging specification design system can provide the simulation and user interface. Those could calculate the specification of packaging box(packaging box size, packaging box quantity, packaging box pattern, packaging compressive strength, packaging cost etc.) considering the efficiency of logistics.

• Journal of architectural history
• /
• v.32 no.5
• /
• pp.43-50
• /
• 2023

Ondol is a traditional underfloor heating system designated as a national intangible cultural heritage of Korea. The Cultural Heritage Administration (CHA) publishes a standard specification for the repair of cultural properties, including ondol. This standard specification is used as a guide for contractors who repair ondol in the field. However, the standard specification for ondol repair has some errors and is difficult to understand in the field. This paper proposes a revision of the standard specification for ondol repair. This study found that the standard specification for ondol repair has some problems in terms of the terminology and structure of ondol. These problems were sufficient to confuse ondol repairers in the field. Therefore, this study proposes to revise the standard specification to correct these errors and make it easier for ondol repairers in the field to understand. This study is expected to help recognize and preserve ondol as a cultural property and not just as a building.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Journal of Korean Institute of Industrial Engineers
• /
• v.15 no.2
• /
• pp.57-64
• /
• 1989

An Economic selection of specification limits is considered for a given target value in a complete inspection plan. Each item is inspected, and if it meets the specification, it is accepted. Items less than the lower specification limit are scrapped or sold at a reduced price, and those greater than the upper specification limit are reworked. Cost factors to be considered are economic loss caused by quality deviations, rework cost and scrapping cost. Methods for finding the optimal specification limits are given for the cases of piecewise linear loss function and quadratic loss function with illustrative examples.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.11 no.6
• /
• pp.90-101
• /
• 2008

Korean defense specifications are the technical criteria of military products and major factor of acquisition system. Weapon systems and acquisition technique have been advanced dramatically after 1990's, but Korean defense specification practice standard has stayed after early 1980's except embedded software. The current status of current Korean defense specification practice standard and trend of related design and acquisition techniques like M&S, SBA, and digital manufacturing have been reviewed. This paper suggests that transfer to product, IT oriented specification structure, adaptation of digital product model and reinforcement of engineering management systems to establish a development initiative of Korean defense specification practice standard.

• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.1114-1117
• /
• 2004

Application of information technology for the construction area has been processed actively with the development of information technology. In this study, a framework of the Construction Specification IETM(Interactive Electronic Technical Manual) was suggested through the analysis of the Department of Defense(DoD)'s standards and the trend of techniques related to the IETM. As the Framework, the DFD(Data Flow Diagram) of the construction specification IETM's organizing and using procedure was suggested. And a Model of construction specification IETM was organized on the basis of DFD. Finally, a scenario was constructed by the pilot system which is based on the model. The application of the construction specification IETM would make efficient and effect task implementations possible. By that, in addition to the reduction of the cost and time, the quality enhancement from information missing protect effectiveness could be expected.

• KOREAN JOURNAL OF PACKAGING SCIENCE & TECHNOLOGY
• /
• v.4 no.2
• /
• pp.39-44
• /
• 1998

We used recording device(EDR-3) to monitor the packages and the vehicle during shipment. Provided we did this enough times, we began to gain statistically valid information which could be used to describe the particular channel of distribution. The event was obviously changed from trip to trip, but in general we could have an idea of what to expect. Considerable amount of time and money were invested to record field data. Although not ideal, it was the best suited approach to gain information regarding a specific distribution channel. Based on the recorded field data, we could make our own packaging vibration testing specification through MIL-STD-810D(Guidance for development of laboratory dynamic test specification). This test specification was proved several times through field tests. As a result, we gained confidence in this revised vibration specification and come to know the development procedures of a laboratory dynamic test specification.