國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Model transformation with hierarchic...

Feng, Huining.

Model transformation with hierarchical discrete-event control.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Model transformation with hierarchical discrete-event control.
作者:	Feng, Huining.
面頁冊數:	125 p.
附註:	Source: Dissertation Abstracts International, Volume: 70-10, Section: B, page: .
附註:	Adviser: Edward A. Lee.
Contained By:	Dissertation Abstracts International70-10B.
標題:	Engineering, Electronics and Electrical.
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3383063
ISBN:	9781109449969

Model transformation with hierarchical discrete-event control.
Feng, Huining.

Model transformation with hierarchical discrete-event control. - 125 p.

Source: Dissertation Abstracts International, Volume: 70-10, Section: B, page: .

Thesis (Ph.D.)--University of California, Berkeley, 2009.

In this dissertation I present my work on a flexible and efficient model transformation technique, which includes a transformation engine and a formal and expressive control language.

ISBN: 9781109449969Subjects--Topical Terms:

226981
Engineering, Electronics and Electrical.

Model transformation with hierarchical discrete-event control.
LDR:02625nmm 2200313 4500 001 240314
005 20100310090846.5
008 100410s2009 ||||||||||||||||| ||eng d
020 $a 9781109449969
035 $a (UMI)AAI3383063
035 $a AAI3383063
040 $a UMI $c UMI
100 1 $a Feng, Huining. $3 384349
245 1 0 $a Model transformation with hierarchical discrete-event control.
300 $a 125 p.
500 $a Source: Dissertation Abstracts International, Volume: 70-10, Section: B, page: .
500 $a Adviser: Edward A. Lee.
502 $a Thesis (Ph.D.)--University of California, Berkeley, 2009.
520 $a In this dissertation I present my work on a flexible and efficient model transformation technique, which includes a transformation engine and a formal and expressive control language.
520 $a I define a basic transformation with a transformation rule, which describes the relationship between input models and the result of the transformation. I invent a syntax for transformation rules, which is close to the modeling language that designers use to create the input models. This makes it convenient for the designers to use the technology. The semantics of transformation rules is defined based on graph transformation theory. To improve flexibility over traditional approaches, I introduce extensions to allow complex transformation rules with variable structures to be specified with compact higher-order descriptions.
520 $a A transformation workflow consists of basic transformations controlled in a control language. Existing control languages include finite state machines and dataflow diagrams. Realizing their limitations in expressiveness and efficiency, I create the Ptera (Ptolemy event relationship actor) model of computation based on event graphs. I show that Ptera is an appropriate control language for transformation workflows. It allows transformation tasks to be composed hierarchically. The event queue and the notion of model time enable the scheduling of future tasks. By using a shared variable to represent the model under transformation, the overhead caused by communication with transient data packages is eliminated.
520 $a The research has a wide range of practical applications. I demonstrate the power of the idea with examples including model optimization and automatic model construction.
590 $a School code: 0028.
650 4 $a Engineering, Electronics and Electrical. $3 226981
650 4 $a Computer Science. $3 212513
690 $a 0544
690 $a 0984
710 2 $a University of California, Berkeley. $3 212474
773 0 $t Dissertation Abstracts International $g 70-10B.
790 1 0 $a Lee, Edward A., $e advisor
790 $a 0028
791 $a Ph.D.
792 $a 2009
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3383063