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

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

热度87票 浏览17次 【共0条评论】【我要评论 时间:2010年6月10日 12:04
水利图书S,gE[~](st

多物品并行化编程网Concurrent Objec-Oriented- Programming Nets水利图书)d/`5Fcus;o1S8j

_m Q"~+S2v)O0水利图书 Sfse7pJ

水利图书 c~&aYo%W(`4k.T;o

作  者: Gul A. Agha (Editor), Fiorella De Cindio (Editor), Grzegorz Rozenberg (Editor) 著水利图书N pONs

a1M{ y~6P?0出 版 社: Oversea Publishing House水利图书2~ oY\:A*y`fZ8b*W

水利图书Q S;m(W1g

出版时间: 2001-5-1水利图书F^'k2M-QM-c @

(B,p$g[|h`0字  数:

7d"k$Ff0I Du l0

u%W@y"~NPhu0版  次: 1水利图书p'AA6C x%C"Rf'H!c%w

水利图书#Oi|*h0Y

页  数: 537水利图书;F*Q4R+N0i"AH

水利图书5[9yYX*?*q/}

印刷时间: 2001-5-1水利图书0_$FPG(C&eV

水利图书)S x Hf,SJ vq p

开  本:水利图书GtrHh,Zq5wP

水利图书wG+~CR7a;ri

印  次:

I%~a X {&q/ly0

"f xX5i CzyM0纸  张: 胶版纸水利图书-f9t7D(S^4Y `-^~ vi i

K4HE8D-Qj _UW5O0I S B N : 9783540419426

fQzP[!c;w/T0

~uu7Ejk1U"j#V0包  装: 平装

){uR!a+Q{Vm0

,n0qjfAL0所属分类: 图书 >> 进口原版书 >> 科学与技术 Science & Techology

OZ(rB+F8y0

;~w:R Sg0},|_0内容简介水利图书HH(h1bQI

HT`xE6B#p+v4C"~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.

O*ofC`'pA0 水利图书y2Q,jUHJ/~;G/c

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.

J#za#c;p!~(D6Sl4J0 水利图书A0d(T-R$T1K g

目录

"H N*L }4adhf2^0

8yFu4t.{/m#|0Section Ⅰ

'S1[ @;o.}*r Mjn0 水利图书 LSlc4LI!wo

Object Oriented Modeling with Object Petri Nets

_/|aw Y8Q"Y0

!b{;yu%N0Using Petri Nets for Specifying Active Objects and Generative Communication

)U@8?g@x0 水利图书n%Ycb g fJq+o

Object-Oriented Nets with Algebraic Specifications:The CO-OOPN/2 Formalism水利图书3e qR2o6]+c

水利图书&EM*?5W0Pda*]2w

CLOWN as a Testbed for Concurrent Object-Oriented Concepts水利图书?AQ)Nup2aM3w

水利图书:@ B\qyxi

Concurrency in Communicating Object Petri Nets水利图书R3|O(j-pEO

TbO:rQ0Object Orientation in Hierarchical Predicate Transition Nets水利图书MzUJvSG

8X{7j8yh[C| D0CoOperative Objects:Principles,Use and Implementation

;rr e+r*E/P0

1T~pzn[0OB(PN)2:An Object Based Petri Net Programming Notation水利图书{y'|8t:? ic

L"KAU:s3^'T0On Formalizing UML with High-Level Petri Nets水利图书B%|ESF;IJb

水利图书+X K`'P`,nwC

Section Ⅱ

ME S bwe0

7E5n wJ$\.Kr&Y"x0Modeling a Groupware Editing Tool with Cooperative Objects

gNN;ED D0

8Lwd:O\w0Modeling Constrained Geometric Objects with OBJSA Nets

2bi({\A iZ|tQ0 水利图书"mz'P!e9n-Z'~_ y

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

6R%va)j5w3M-UY:cS0

? ?,f(K'qr0KRON:Knowledge Engineering Approach Based on the Integration of CPNs with Objects

R#}%K$D2}&w*~~#P0

Y$jVuzg3gh.D%nz0Modeling of a Library with THORNs水利图书D,[[x$Hl5H

水利图书|al*gJA9K-K/Gmf

Inheritance of Dynamic Behavior:Development of a Groupware Editor水利图书U4b?f Z8`)l K

水利图书!bKG`D*_D

Object Colored Petri Nets-A Formal Technique for Object Oriented Modeling

-_Zv4Gg0 水利图书?hN Ia8k2x

Section Ⅲ

},c lL\5zOmL0

,~n+aR4E0An Actor Algebra for Specifying Distributed Systems:The Hurried Philosophers Case Study水利图书8kC tEz X3~

水利图书%s:YM'^f.n

Formal Reasoning about Actor Programs Using Temporal Logic水利图书n7RvzP0V}] O

t7M#\4^1L$\ @f"s `&s0Flexible Types for a Concurrent Model水利图书 W1qzx%X3b%T

G:yoYI6Y0High Level Transition Systems for Communicating Agents

!\0ur5yZq4}*g0 水利图书'VGHs#f|

Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets

)PE @ ?AAa0 水利图书A[V:a7w D

Control Properties in Object-Oriented Specifications

rx'lZ!]V6D]0

(L2AN{v Y0Section Ⅳ:Case Studies

a+dv*w,dB6\,TB0 水利图书#lT)j/zX.|

A Cooperative Petri Net Editor水利图书4^,C'^,k |4e K'J6G

%V*{!G)f"m_5r\wM0The Hurried Philosophers水利图书:~C KIfL6R

水利图书x @ _1m~!t Z-G@;f,[

Author Index水利图书7Bo.?5B*{ro

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

水资讯网广告招租

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

广告投放

广告投放