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

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

热度98票 浏览20次 【共0条评论】【我要评论 时间:2010年6月10日 12:04
水利图书Bi.N3P_

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

W#ir&F WY5M&S%{0 水利图书V`w%|5XI*J6ZM!i

水利图书Vv,od`

5bG%Hp sP0作  者: Gul A. Agha (Editor), Fiorella De Cindio (Editor), Grzegorz Rozenberg (Editor) 著

5N u$m8h&RqZ q0 水利图书M8Jw-Oq9iVd.K'F7S

出 版 社: Oversea Publishing House

5gJ-`5t.PUf~0

:R4Q.KY8Q+T*c0出版时间: 2001-5-1

"v P V-W*iq$Y)Mc0

}yZ(n9j:c6y0字  数:水利图书!H} h N FRQ3K+\

O;nY0o!d#N@G0版  次: 1

g(K e7naXg0

r)LNf)E%o0页  数: 537水利图书~OE5T Ap o

^&q-n0cG8`S*r;d0印刷时间: 2001-5-1水利图书r_.grh

水利图书sm0b#JW"R

开  本:水利图书9n?0Dzb1? Z:_

水利图书8T2~bAPC8Npkv

印  次:水利图书ho"o E`Z)p(E9ZO

.wi0y%l p W0纸  张: 胶版纸水利图书w$Ut-t d pO)K

K3la|R(u0I S B N : 9783540419426水利图书5?4|f}8z'| ^

QE+dFY0包  装: 平装水利图书&JW4B.NQ R4I,i4_$M,O4u

`9vT_G#Vs4J0b*iD0所属分类: 图书 >> 进口原版书 >> 科学与技术 Science & Techology水利图书]As,f:}e1Lc

水利图书8^s-^-Q/m"K[;DT1d

内容简介水利图书Q%Q!@@Hs

水利图书1v/CL |Z F @r.Vb7[

In 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.水利图书,];?Q/JOZ$I#aJ

jd#a-D$M'N;\S0This 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.

j5K;B!_/z CHy0

1f:VDS*[ U M6X.[0目录水利图书(IY({7q-z8Lc.X:f

E!s`hW2uB,A0Section Ⅰ水利图书 Th9Z;CM6cIe6x_

&ca y*R"Hl q0Object Oriented Modeling with Object Petri Nets水利图书 HFnv%rVp}J4KJ n

水利图书uK9u3Yg%{)i

Using Petri Nets for Specifying Active Objects and Generative Communication水利图书$E7R ET-I0N;K

水利图书Q!k`+Q/c~o!{4a Z{

Object-Oriented Nets with Algebraic Specifications:The CO-OOPN/2 Formalism

H!C.Lpc}{T0

g]z+{ck;hy ^o0CLOWN as a Testbed for Concurrent Object-Oriented Concepts

|-a7K/|i$n0 水利图书\7|!FFU+M

Concurrency in Communicating Object Petri Nets

WP;P2c8s#\0 水利图书 tk2?&DO*B

Object Orientation in Hierarchical Predicate Transition Nets水利图书 V7vh5X9Pm

r|.Z&u0bL0CoOperative Objects:Principles,Use and Implementation水利图书 [x4~-e|@5{;D{

2[4a,~uP0OB(PN)2:An Object Based Petri Net Programming Notation

#DOF3Er T9Z Fz0

K.E PKf5h+kD0On Formalizing UML with High-Level Petri Nets

F9d,R ^_ D0

`tXHE0Section Ⅱ

sC1~*ItY0 水利图书 _#Fd3n"wr&@*{

Modeling a Groupware Editing Tool with Cooperative Objects水利图书-sr'l+F$_^IA

水利图书c$K%^(O8^*C

Modeling Constrained Geometric Objects with OBJSA Nets

B9Mul}~!t9g:X0

lx'A9L;G g0Ni [0An Object-Based Modular CPN Approach:Its Application to the Specification of a Cooperative Editing Environment水利图书?2Se d8]3`

水利图书A5Q1Jqj8z

KRON:Knowledge Engineering Approach Based on the Integration of CPNs with Objects水利图书2qC;TKV h&y)~

"r|6K7z {A0Modeling of a Library with THORNs

cG BD'Hig0 水利图书"L(hQ g!t0q fM

Inheritance of Dynamic Behavior:Development of a Groupware Editor

PLw-SeBi0

j8n]H cqR)Z/C0Object Colored Petri Nets-A Formal Technique for Object Oriented Modeling

Axd m)R x/A0

2k-? e#Yl0`#xN4zp0Section Ⅲ水利图书5Q*Km%TB'{L

水利图书)V K bg)|3u'}3n

An Actor Algebra for Specifying Distributed Systems:The Hurried Philosophers Case Study

*T*k,y S)Q*t(ea5t0

c1b'[_OY0Formal Reasoning about Actor Programs Using Temporal Logic水利图书GNS v9} sf^1KD.C E

水利图书)V(~Do(w6r:B

Flexible Types for a Concurrent Model水利图书%V]7hww%Hq Q

B6J{vC[%}9y0High Level Transition Systems for Communicating Agents水利图书f,W#j+?+RM8l

水利图书3} Xl$s:j H8~O3h

Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets

6P'x*O"@6g u?B/~0 水利图书_v&o({*S

Control Properties in Object-Oriented Specifications

;KI+Ad8\1AcB pn0

cE)Y7f H#R%g*U0Section Ⅳ:Case Studies

9U'k(]'r^`2J\A0

c^7^1e4hjb(YYn0A Cooperative Petri Net Editor

p-M&z9a"sJ T8pF$Kf0

/L c5pOB `(L0The Hurried Philosophers水利图书}k3G:@ _

水利图书2Z ] Ue$C:U

Author Index

_+|%| KW/l k0
顶:4 踩:8
对本文中的事件或人物打分:
当前平均分:0.13 (39次打分)
对本篇资讯内容的质量打分:
当前平均分:-0.73 (22次打分)
【已经有25人表态】
6票
感动
1票
路过
4票
高兴
1票
难过
3票
搞笑
1票
愤怒
3票
无聊
6票
同情
下一篇:Visual C++ 6.0编程实用技术与案例
上一篇:边用边学Delphi编程

水资讯网广告招租

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

广告投放

广告投放