你的位置:水利图书 >> >> 电脑编程 >> 详细内容 在线投稿

多物品并行化编程网Concurrent Objec-Oriented- Programming Nets

热度91票 浏览20次 【共0条评论】【我要评论 时间:2010年6月10日 12:04
水利图书,z5Y x;_&il$|/Q7s:ptH

多物品并行化编程网Concurrent Objec-Oriented- Programming Nets水利图书9VS0q:qyb

水利图书4D&B/es8B*qS x

Xd3|M M#m!g[|0 水利图书;Br(jbC W1]K

作  者: Gul A. Agha (Editor), Fiorella De Cindio (Editor), Grzegorz Rozenberg (Editor) 著

HNGz2HEmG0

GyY7|_(Xp Y0出 版 社: Oversea Publishing House水利图书"Fi%YFW'O@

'U-B.D:j1ED0出版时间: 2001-5-1水利图书jq{a(N,x)mF'i

水利图书"b b7~+V$m:h,S

字  数:

Wa+C~m[0

'n M-[+Op [6L[-`4C0版  次: 1

:r"e4~j(y6f0 水利图书g O1A3A/X'^,J

页  数: 537

.g;K3^#{%]vR7Zn6C7~0 水利图书.y1x+d-t0w

印刷时间: 2001-5-1水利图书His5_-Fl

水利图书o$w-{:bxB

开  本:

FdM8i w[-[U_9D7J0 水利图书I5G@lz Ou

印  次:

ZgE,G+R4U0

U q b I&RI(vb#pL0纸  张: 胶版纸水利图书{Q.nA$k[*TN

Z F\&~2k&V3b0I S B N : 9783540419426水利图书fI E,E0Vo1z&i5w

水利图书[8} tL#h;@ v,F1G

包  装: 平装水利图书ib5rGt0Z+~-a![

T!Y `;?$]|B0所属分类: 图书 >> 进口原版书 >> 科学与技术 Science & Techology

bG g[&d0

GYA"?~.N6s*b7R0内容简介

*^:`(r)tI0

p G-Wtt(`B C8R&^0In recent years,Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study.水利图书;y0r5AD)dHl!Sy7S

水利图书i?(G%N7IE}x

This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.

#j4[h*A.q|f@JH.i0 水利图书"xq$`O\L1SS

目录水利图书_2nGgR fD;S3@3~

t~-y2pC8w~#rD2k&F)G0Section Ⅰ水利图书 A'Qw^)~j$n,m%_5i!p:~$d

(DX2T;Ic2QN0Object Oriented Modeling with Object Petri Nets水利图书OX:eq? CI-l,|

水利图书{Lt]O5T4[)NGU

Using Petri Nets for Specifying Active Objects and Generative Communication水利图书 Utn4[6O

水利图书$i*zK4}/C+g^]WYQ

Object-Oriented Nets with Algebraic Specifications:The CO-OOPN/2 Formalism水利图书a&C'WO8k6h_R"_ y~1d

G:Qb U p K1`0CLOWN as a Testbed for Concurrent Object-Oriented Concepts

;l8X*tXyu*K1s0

+n0q7Q~N"\M&K$w}0Concurrency in Communicating Object Petri Nets

DR5n!L'B&{H0 水利图书s!t5]J:i9L9G9a%Z

Object Orientation in Hierarchical Predicate Transition Nets水利图书4@hVJ$KW+v|/V

水利图书N'uE|ad

CoOperative Objects:Principles,Use and Implementation

,k%w7I2N_%_`c0

/G_KEt`g0OB(PN)2:An Object Based Petri Net Programming Notation水利图书9JBK#M|)u YM

{(@ NCZ7L2z!pa c0On Formalizing UML with High-Level Petri Nets水利图书1bk*mqS}

HR/w0@4E2J;Ye0Section Ⅱ

Xl.V8Lb Z7aP0

-`5D-Qjgq Fi8L0Modeling a Groupware Editing Tool with Cooperative Objects

6Dd$b5S1d;]0

)De$jBj!awd ]&w0Modeling Constrained Geometric Objects with OBJSA Nets

2} V%c yG fV0 水利图书3q(z-{9inv

An Object-Based Modular CPN Approach:Its Application to the Specification of a Cooperative Editing Environment水利图书m(XDj-N

w+K4u;|%~"E M ~0KRON:Knowledge Engineering Approach Based on the Integration of CPNs with Objects

V0K"` J)FpF0 水利图书*js4q*w%F"]wt

Modeling of a Library with THORNs

gE@&aa0

%f Y t)QA;^H3[jf~^0Inheritance of Dynamic Behavior:Development of a Groupware Editor水利图书x!OYLv`5M

;FB1o#G5Sfh0Object Colored Petri Nets-A Formal Technique for Object Oriented Modeling水利图书?n~5wC7C/F_1x

水利图书&[`|d;\

Section Ⅲ

"k,uFB1epgz \.X0

}2O#T3AdA h(b:x0An Actor Algebra for Specifying Distributed Systems:The Hurried Philosophers Case Study水利图书#~ `(H2X:T~Y aBv{

水利图书.`.H9q%ru;k"q%|D

Formal Reasoning about Actor Programs Using Temporal Logic水利图书j },h1w W/D ^$E o

e3?6Oez`~O0zk0Flexible Types for a Concurrent Model水利图书6fc5e*q/OS1Gg^#F

]0Mdv I N9Wr0High Level Transition Systems for Communicating Agents

r,Y!|;|deOl0

}1u~n:HZ2?Q0Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets水利图书*?e9k7c+c[of!b8m

xjOR R Y9WV0Control Properties in Object-Oriented Specifications

8IUib$Ah q*p0 水利图书u @X$C"p

Section Ⅳ:Case Studies

B3bY&D*LI0 水利图书+P#] u`W

A Cooperative Petri Net Editor

;Q gu @8~op0

e]6M#gz3fOD B0The Hurried Philosophers

3M"n r1TL;o0

$U et|3{9c,p/wm0Author Index水利图书mD|?-g/J5z gjF

顶:3 踩:7
对本文中的事件或人物打分:
当前平均分:0.26 (38次打分)
对本篇资讯内容的质量打分:
当前平均分:-0.35 (20次打分)
【已经有23人表态】
5票
感动
1票
路过
3票
高兴
1票
难过
3票
搞笑
1票
愤怒
3票
无聊
6票
同情
下一篇:Visual C++ 6.0编程实用技术与案例
上一篇:边用边学Delphi编程

水资讯网广告招租

查看全部回复【已有0位网友发表了看法】

广告投放

广告投放