建立OOMPNets之開發環境

Abstract

著色派翠網是一種可以被用來分析許多系統的模型，而物件導向技術在近年廣泛的被使用，我們實驗室結合著色派翠網和物件的概念而發展出來一個物件導向模組化派翠網的模型。物件導向模組化派翠網減少由模型轉換為物件導向概念的時間，也正提出了一個物件導向模組化派翠網的開發環境，裡面包含了一系列的工具。本論文實作物件導向模組化派翠網的編輯器和一個相對應的發生圖的分析工具。編輯器提供了一些檢查避免不正常的現象存在於模型中，以減輕使用者的負擔。而後者，則藉著轉換演算法之轉換，利用將物件導向模組化派翠網轉換成著色派翠網，並使用已存在的分析方法做分析，再將分析的結果對應到轉換前的物件導向模組化派翠網，藉此達到分析物件導向模組化派翠網的目的。

Colored petri nets (CPNs) is a kind of model which can be used to analyze many kinds of systems. Object oriented (OO) techniques, including analysis, design and programming, are popular for years. Object oriented modular petri nets (OOMPNets), proposed by our laboratory, is a model extended from CPNs by integrating object concept into CPNs. Our laboratory is now developing the development environment which consists of a series of tools to help simplify the development of OOMPNets. This thesis implements part of the environment, including an editor named OOMPNE and a transformation tool. OOMPNE is used for constructing OOMPNets. OOMPNE provides some checks to reduce the abnormal phenomena occurring in the modeling OOMPNet. The analysis is done by transferring the modeled OOMPNets into CPNs and calling the existing analysis methods of based on occurrence graph in CPNs. We also discuss the techniques to locate the defect(s) and corresponding object/place(s) in original OOMPNets, corresponding to the defects found in above analysis.