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

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

热度117票 浏览21次 【共0条评论】【我要评论 时间:2010年6月10日 12:04

0U5~ OE K0多物品并行化编程网Concurrent Objec-Oriented- Programming Nets

9}.Y.igC"W0 水利图书C3nIQp j

水利图书,s!Au1\vtvF!w*IJ

水利图书$i4DE9a\)?S]xk

作  者: Gul A. Agha (Editor), Fiorella De Cindio (Editor), Grzegorz Rozenberg (Editor) 著水利图书iZfZD(\;EUx

%@w I*C'l+L }"C0出 版 社: Oversea Publishing House水利图书9|%]cQ2tn X

~#l7_AA_"D0出版时间: 2001-5-1水利图书#i0],hrK

Y_0SUF#o9{D t0字  数:水利图书%E`5K!kyL@i

水利图书%f4Z6e;@8{P

版  次: 1

Z$[SSMA,[,|n0

AytK$nY0页  数: 537水利图书;k7KZ-Z(C.y

X0kd-Glf4k0印刷时间: 2001-5-1

X$m-Ka/G4`0

y;yc1Y^0开  本:

Qq%x _;l:J5Z0 水利图书4GC` h\O OO

印  次:水利图书*f^*G8k*W0^

X%{,uh;@VJk7DH0纸  张: 胶版纸水利图书\Q%G)AZ h:hc

水利图书&r!J7~c^0VUCw_)B

I S B N : 9783540419426水利图书(Zm2} h n

_+QIdr*WbN(Mt&I8Y0包  装: 平装

5HJR1z ze1c6q8y0

.a}^ h#T W0n M f0所属分类: 图书 >> 进口原版书 >> 科学与技术 Science & Techology水利图书A%`S3ol-FHBY

水利图书e&L8P GQd

内容简介水利图书:G@(Iv@kd)bW

6l9dwES8r0In 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.

,k wWPZ!_n0

9iFfE*\)t0This 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.水利图书9k+kk Y3fU xp

rd-C@#G0目录

HY,l8ZaBO0

5BuKdF+[bj Qv0Section Ⅰ水利图书e.`o"OT^Sy

3f^ WDnv0Object Oriented Modeling with Object Petri Nets

hy"XE6f&L0

.U$P ['k&Yz0p0O0Using Petri Nets for Specifying Active Objects and Generative Communication水利图书X;x.R*d ]1ip0_

水利图书Mi5vu CR4_;~Og

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

rv,Mea1~(`!}A0 水利图书:vy2ew^,o

CLOWN as a Testbed for Concurrent Object-Oriented Concepts水利图书t { q6Izv"V$s7\I

[ v8[2Mo~0c0Concurrency in Communicating Object Petri Nets水利图书HTo? \E~~a}

0k,b+B D Sw.\0Object Orientation in Hierarchical Predicate Transition Nets水利图书 ] H`[&Nhr

水利图书8\a5Ni.N:vsf

CoOperative Objects:Principles,Use and Implementation

X/M3u'N{)J)_uS_0

xOi2Nk:z7cl0OB(PN)2:An Object Based Petri Net Programming Notation水利图书~H ed_ qb

水利图书#?$V-I]/g v6O4IS2h0Y9}

On Formalizing UML with High-Level Petri Nets

;ErA0y^L\0

1|D \y:x w%B-g0Section Ⅱ

;w$H5Po&v_ ty!T*PU0

n3@e;RY8D\0Modeling a Groupware Editing Tool with Cooperative Objects水利图书+Vgq`&X} Rf

水利图书Z"h v'f-El+I

Modeling Constrained Geometric Objects with OBJSA Nets水利图书 Yh\g4mA7oj

m"|F+i2RU5T0An Object-Based Modular CPN Approach:Its Application to the Specification of a Cooperative Editing Environment水利图书 CK-kh;YQj,S

2N*QI(E M0KRON:Knowledge Engineering Approach Based on the Integration of CPNs with Objects水利图书gI7[c-J

N:TM:aU6T-\&e*U0Modeling of a Library with THORNs

C(sV(Ms ED~/uq}0 水利图书l^TG%T;k:^!s#N

Inheritance of Dynamic Behavior:Development of a Groupware Editor水利图书.k ^Xc/^`A~

水利图书U3C'@G"\'D8o2G}

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

0e9G+u-B%f0

wq#hB(M0Section Ⅲ水利图书o\/V)C@

D/Q5P1P9V[n.v0An Actor Algebra for Specifying Distributed Systems:The Hurried Philosophers Case Study

bm*P T;s4X0

|d2]Oik,C0Formal Reasoning about Actor Programs Using Temporal Logic水利图书[Ldu6xy ?,O

1G3de.Q(]_0Flexible Types for a Concurrent Model水利图书*G3j Ewi:?,ax

水利图书4S xE @ i k'b G:H

High Level Transition Systems for Communicating Agents

!A4XXRf(m9Uz'L0

%t3{M ]!T0Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets水利图书{ _wX%E6b v"c S

!J:gf h-e c6F0Control Properties in Object-Oriented Specifications

lwa#Z9I6v1?E;x#?0 水利图书I&A}:m4m;?/z'D1U

Section Ⅳ:Case Studies

|Q,I G j3J7i0

R(t7X7h`/?0A Cooperative Petri Net Editor水利图书 H`(V"`s#E/I

(p:D/Y.Vcnn0The Hurried Philosophers

'C"P'b)QF$H6{w0

KXY[3?[+bTi0Author Index

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

水资讯网广告招租

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

广告投放

广告投放