東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Interface theories for causality ana...

Zhou, Ye.

FindBook

Google Book

Amazon

博客來

Interface theories for causality analysis in actor networks.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Interface theories for causality analysis in actor networks./
作者:	Zhou, Ye.
面頁冊數:	116 p.
附註:	Adviser: Edward A. Lee.
Contained By:	Dissertation Abstracts International68-08B.
標題:	Engineering, Electronics and Electrical. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3275675
ISBN:	9780549172536

Interface theories for causality analysis in actor networks.
Zhou, Ye.

Interface theories for causality analysis in actor networks. - 116 p.

Adviser: Edward A. Lee.

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

This dissertation focuses on concurrent models of computation where "actors" (components that are in charge of their own actions) communicate by exchanging messages. The interfaces of actors principally consist of "ports," which mediate the exchange of messages. Actor-oriented architectures contrast with and complement object-oriented models by emphasizing the exchange of data between concurrent components rather than transformation of state. Examples of such models of computation include the classical actor model, synchronous languages, dataflow models, process networks, and discrete-event models. Many experimental and production languages used to design embedded systems are actor oriented and based on one of these models of computation. Many of these models of computation benefit considerably from having access to causality information about the components. This dissertation studies formal analysis of such components to include such causality information. A causality interface framework, which focuses on functional actors, is presented. I show how this causality interface can be algebraically composed so that compositions of components acquire causality interfaces that are inferred from their components and the interconnections. I illustrate the use of these causality interfaces to statically analyze timed models and synchronous language compositions for causality loops and dataflow models for deadlock. I also show that causality analysis for each communication cycle can be performed independently and in parallel, and it is only necessary to analyze one port for each cycle. Later, I present another framework called ordering dependency. Ordering dependency captures causality properties that are not captured by the functional abstraction of actors. I illustrate the use of ordering dependencies to analyze rendezvous of sequential programs, and its use in scheduling distributed timed systems.

ISBN: 9780549172536Subjects--Topical Terms:

626636
Engineering, Electronics and Electrical.

Interface theories for causality analysis in actor networks.
LDR:02775nam 2200265 a 45 001 955425
005 20110622
008 110622s2007 ||||||||||||||||| ||eng d
020 $a 9780549172536
035 $a (UMI)AAI3275675
035 $a AAI3275675
040 $a UMI $c UMI
100 1 $a Zhou, Ye. $3 1278889
245 1 0 $a Interface theories for causality analysis in actor networks.
300 $a 116 p.
500 $a Adviser: Edward A. Lee.
500 $a Source: Dissertation Abstracts International, Volume: 68-08, Section: B, page: 5481.
502 $a Thesis (Ph.D.)--University of California, Berkeley, 2007.
520 $a This dissertation focuses on concurrent models of computation where "actors" (components that are in charge of their own actions) communicate by exchanging messages. The interfaces of actors principally consist of "ports," which mediate the exchange of messages. Actor-oriented architectures contrast with and complement object-oriented models by emphasizing the exchange of data between concurrent components rather than transformation of state. Examples of such models of computation include the classical actor model, synchronous languages, dataflow models, process networks, and discrete-event models. Many experimental and production languages used to design embedded systems are actor oriented and based on one of these models of computation. Many of these models of computation benefit considerably from having access to causality information about the components. This dissertation studies formal analysis of such components to include such causality information. A causality interface framework, which focuses on functional actors, is presented. I show how this causality interface can be algebraically composed so that compositions of components acquire causality interfaces that are inferred from their components and the interconnections. I illustrate the use of these causality interfaces to statically analyze timed models and synchronous language compositions for causality loops and dataflow models for deadlock. I also show that causality analysis for each communication cycle can be performed independently and in parallel, and it is only necessary to analyze one port for each cycle. Later, I present another framework called ordering dependency. Ordering dependency captures causality properties that are not captured by the functional abstraction of actors. I illustrate the use of ordering dependencies to analyze rendezvous of sequential programs, and its use in scheduling distributed timed systems.
590 $a School code: 0028.
650 4 $a Engineering, Electronics and Electrical. $3 626636
690 $a 0544
710 2 $a University of California, Berkeley. $3 687832
773 0 $t Dissertation Abstracts International $g 68-08B.
790 $a 0028
790 1 0 $a Lee, Edward A., $e advisor
791 $a Ph.D.
792 $a 2007
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3275675