用法則轉換法從歐氏記號圖產生階梯圖

Abstract

對於自動化製造系統的互動行為來說，歐氏記號圖是常見的圖形化分析工具。相對地，階梯圖是用來控制自動化製造系統的圖形化實作工具。在本論文中，發展出了三條圖形化轉換法則，將歐氏記號圖轉換到階梯圖。為了要讓轉換過程自動化，三條法則會在物件層進行實作。更進一步地來說，由於兩種圖形化工具都可以透過唯一的可加註語言與物件來表達。故圖形化轉換法則可用在轉換歐氏記號圖物件到階梯圖物件的流程。換言之，此圖形化轉換順序流程分為六個階段：歐氏記號圖、歐氏記號圖文件、歐氏記號圖物件、階梯圖物件、階梯圖文件與階梯圖。在這六個階段的基礎上，本論文實作出自動化圖形轉換系統，來自動產生階梯圖。

Eulerian Marked Graph (EMG) is a graphic design tool for analyzing the interactive behavior of an Automated Manufacturing System (AMS). In contrast, Ladder Diagram (LD) is a graphic implementation tool for controlling an AMS. In this thesis, three graph transformation rules are proposed to transform EMGs into LDs. For automating the graph transformation process, three rules are implemented at the object level. Moreover, since both graphic tools can be uniquely represented through extensible markup language documents and objects, three graph transformation rules are used to transform EMG objects into LD objects. In other words, this sequential graph transformation process consists of six stages: EMG, EMG document, EMG objects, LD objects, LD document, and LD. Based on those transformation stages, an automated graph transformation system has been implemented for generating ladder diagrams.