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

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

热度87票 浏览16次 【共0条评论】【我要评论 时间:2010年6月10日 12:04
水利图书us8w2? Q_

多物品并行化编程网Concurrent Objec-Oriented- Programming Nets水利图书U6ST.|]3[V;w+A

'CVI:_;RN Pq)mL0水利图书VpcH"x#i

P3zX,pf*?L\S0作  者: Gul A. Agha (Editor), Fiorella De Cindio (Editor), Grzegorz Rozenberg (Editor) 著

7A!j\ p:U,F0 水利图书-B%j} ^Y!J(OG

出 版 社: Oversea Publishing House水利图书0@3S ZH-O

5]|;W+CC5xn~6P0出版时间: 2001-5-1

r \^V4s}0 水利图书c"JZXjz

字  数:水利图书 X H(ap6W.j

$\Z_$Rbc[h0版  次: 1水利图书(LT3D8a,b)o/yS

1R"r2H5^3Jt"Ib0页  数: 537水利图书Ny9n Cw1\ I

水利图书{ p5b v|

印刷时间: 2001-5-1水利图书N+JD4u [MBy

水利图书)e5v%L@cPV']aU

开  本:水利图书kr.j2ErS

水利图书Zi.@r2]2R,@

印  次:水利图书B"^c/Z2j%L:Y

水利图书0CBAvxe }/G

纸  张: 胶版纸

aLr#] aaI/t:M0 水利图书r5k$v#U ~U8m2i3G$w

I S B N : 9783540419426水利图书Fz$P(e Q2{x?"Ee

水利图书_b-Lz&e4Z

包  装: 平装

,bgPOzf3Wdn3R0

TF4h4b8t+[*{ XG0所属分类: 图书 >> 进口原版书 >> 科学与技术 Science & Techology水利图书Fe;VM^NUi

水利图书5u3RM;_ S.O7m_

内容简介

Eyhl T5p,V0 水利图书p+ieD9a;A/C\Q TG

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.

9Xf.|.~PjN0 水利图书 XM+}/M%~oXR

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.水利图书Jk(Q0F{J!@(U+Sl']M

水利图书(q)] @3^B]F2iA6J*Q

目录水利图书5Bzs9l;}

4hz,w4_oqk yI0Section Ⅰ水利图书%| Yi~ []cQAx

,C0tNI5h)S0Object Oriented Modeling with Object Petri Nets

cz(J1sNYBkY%N0 水利图书"vV ~z?,L j4`

Using Petri Nets for Specifying Active Objects and Generative Communication

V.Qyf%Rx B0

9x d[.J mKL0Object-Oriented Nets with Algebraic Specifications:The CO-OOPN/2 Formalism水利图书5_FW D!?V Rs

u7t5ya4X0n}N0CLOWN as a Testbed for Concurrent Object-Oriented Concepts

M [@za2D aM0

c TlyNG.o0Concurrency in Communicating Object Petri Nets

;U{g)x.@7n!I0 水利图书&btA vSS#o

Object Orientation in Hierarchical Predicate Transition Nets

-E-c6Ms#Gk0

P%a.}^L0CoOperative Objects:Principles,Use and Implementation

7A1uh)N.S2A0

"AS9Sq&n0OB(PN)2:An Object Based Petri Net Programming Notation

6z/Y k2gqm0

{ZC1amZ;H4c4v u8J0On Formalizing UML with High-Level Petri Nets水利图书g)m-Ve,Q`E^9R^

}+?3q]{P0Section Ⅱ水利图书1K P3X"X{Q kZ

水利图书6O$DR^spQG

Modeling a Groupware Editing Tool with Cooperative Objects

T:m:x yR}Y1Vn0 水利图书K7MHK,n N)y9PS

Modeling Constrained Geometric Objects with OBJSA Nets

9q"Vbn ^n _0 水利图书m4S+x2e%f V

An Object-Based Modular CPN Approach:Its Application to the Specification of a Cooperative Editing Environment

d;?)[*|T)O%?!e0

-z pSY7~0KRON:Knowledge Engineering Approach Based on the Integration of CPNs with Objects

@"o$E a;fl+l-dw0 水利图书yc*zT'Ppb+V X

Modeling of a Library with THORNs

$Q+^U"`K$cC.f0 水利图书v@NC[

Inheritance of Dynamic Behavior:Development of a Groupware Editor

IV7k(Iq%z"q0 水利图书)AW b9}yr2lk"l

Object Colored Petri Nets-A Formal Technique for Object Oriented Modeling水利图书d F4s2ESV

xE OgU\ wZ0Section Ⅲ水利图书(ZP/I d5j3[`

水利图书 cc:hK l:f4[-X?

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

U*Y/esL$yD0 水利图书?Fz T5\

Formal Reasoning about Actor Programs Using Temporal Logic水利图书{~:HWe#]6MUX#B

水利图书$T%_S5]*Nq

Flexible Types for a Concurrent Model水利图书(^cYB%y,ek c

水利图书y [l p c)Pw

High Level Transition Systems for Communicating Agents

aItR#|-FT0 水利图书dD4i&v'\0?k

Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets

"Di1QDw3}0 水利图书g%t|H@,NG(q${p|

Control Properties in Object-Oriented Specifications

#n(qp(G|~3H5a0

"_!}I:B^w.]3T0Section Ⅳ:Case Studies

0tU9f3I1y#I7u"Bs0

O|^g TP0A Cooperative Petri Net Editor水利图书$K(l\.U5y6|ucAm%F9q

水利图书 _H$MOjP7U

The Hurried Philosophers水利图书E3Yqs,go

水利图书*~)u(S+RX,mL*N0H&a

Author Index

(["K4R5R$h9|NM A0
顶:3 踩:6
对本文中的事件或人物打分:
当前平均分:0.41 (37次打分)
对本篇资讯内容的质量打分:
当前平均分:-0.11 (19次打分)
【已经有22人表态】
4票
感动
1票
路过
3票
高兴
1票
难过
3票
搞笑
1票
愤怒
3票
无聊
6票
同情
下一篇:Visual C++ 6.0编程实用技术与案例
上一篇:边用边学Delphi编程

水资讯网广告招租

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

广告投放

广告投放