Research

year 1995 
author Kitae Shin 
Keyword Computer Integrated Manufacturing, process flow model, model transformation, simulation specification, process design support system 
Abstract As each manufacturing system has its own characteristics, we usually follow recursive design and modeling approaches to build such systems as computer integrated manufacturing(CIM) system, manufacturing information system, and shop floor control system. In other words, in the process of building such manufacturing support systems, we employ various types of models, and we need to invest considerable time and manpower to develop such models separately. The necessity of an interconnection mechanism between those models naturally arises to improve communication among model developers, reduce the cost and effort expended to develop such systems, etc. This thesis is in line with an effort to interconnect various models developed and used in different parts and phases of the CIM development process. This thesis deals with a design support system for the process design of CIM based on the concept of model transformations. We assume we have a functional model of an organization which is developed using the already well-known IDEF0 methodology. Then, a modeling methodology, called PROWD (PRocess flOW Description), is suggested to develop the flow processes of an organization. The methodology considers temporal relationships and logical relationships among entities in the organization. And then, a method that transforms the IDEF0 function model as input into the PROWD model is presented. To get into the next phase of the system design, mechanical mapping procedure of the PROWD model onto simulation specification is proposed to connect the transformed PROWD model with the simulation model. A computer-assisted design system is used to support those procedures. The PROWD model, an extended form of IDEF3, defines the precedence relationships among entities based on the entity flows between activities to enable the transformation, and enhances the way of expression for the synchronization relationship between activities. To transform the input function model, the activation modes for each function of IDEF0 are determined, and the precedence relationships between them are defined through the cycle eliminating procedures. Thereafter, topological orders of all the functions are determined, and the logical relationships of entity flows are defined. We invent the idea of "triggering or non-triggering entity flows" at the transformed PROWD model to make it possible to highlight the critical processes. To derive the simulation specification for the transformed PROWD model, we define a module called a "unit system" for each activity of PROWD model, and specification rules for system entities and resources from input/control/mechanism/output and entity flows. Simulation specification rules to define entity queues are also derived from generic states and events of unit systems. The result of this thesis is implemented for the prototype of computer-assisted design system to examine the operation process of FMS installed at SNU-ASRI(Seoul National University-Automation and Systems Research Institute). 
c PhD 

Downlaod :