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

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

热度91票 浏览17次 【共0条评论】【我要评论 时间:2010年6月10日 12:04
水利图书@8^.b%Ba2i

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

4OmB S*p0 水利图书+GI7R^b7RX{@

T5Ky;Jx!X0

/Mtv~fQH0作  者: Gul A. Agha (Editor), Fiorella De Cindio (Editor), Grzegorz Rozenberg (Editor) 著水利图书C9?1c1b1bA,mw

水利图书q[)S:Ff7D

出 版 社: Oversea Publishing House

HF4D/mg c:K0p5I/JOD![0 水利图书#lc&\-h CG/MFz(_

出版时间: 2001-5-1水利图书WRKp'r Z(T6SJ

水利图书`?~0y0MO Q3q H

字  数:水利图书@ B$Xs-~5_$K_

|X^9gn{0版  次: 1

krS6vs$b0

d z^'T~'ii9ZV rOc/D0页  数: 537

mT+CC a!Sq'a9|0 水利图书pIf1{"M!n

印刷时间: 2001-5-1水利图书J f.x6fhl&SN:l

/],Jfv!a"Vq6Ic0开  本:水利图书i1n.g(r(D U @@

水利图书Va0d l A

印  次:

n;}Yg3Q6B_-z}0 水利图书yfV;Px\w:@i

纸  张: 胶版纸水利图书[u/["{%BB

水利图书F"Pceu/e$J4g

I S B N : 9783540419426水利图书!e+lj'Vq&{Y

水利图书C F)`HW(~ pvzL

包  装: 平装水利图书y0o e"JODB

R8o"M4\YVj4nT0所属分类: 图书 >> 进口原版书 >> 科学与技术 Science & Techology

0SzF%YZF h0

:SNd7L`wTE0内容简介

Z"c+\z6a\(J0

+R e!f$u;d.^/_qAp0In 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.水利图书7H8tc S_

!O5^CIVuDVm6S0This 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.

~+y%a"\G'WP0 水利图书s-q(}+N~tgU p

目录

o!uD f,w%x/k0 水利图书] ?"}#bKM

Section Ⅰ水利图书0gR U`:`^t [\

U5A%\pk*ItsX0Object Oriented Modeling with Object Petri Nets水利图书3i)KtW ` o

GxVE Pv\U0Using Petri Nets for Specifying Active Objects and Generative Communication

M0]9VI0g0

#VSPGJ0Object-Oriented Nets with Algebraic Specifications:The CO-OOPN/2 Formalism水利图书SN S*|QU

水利图书F a U(Q6J-@? H Si

CLOWN as a Testbed for Concurrent Object-Oriented Concepts水利图书nC8x5ggB R-M

&\H fn[@7y:{ugU"v0Concurrency in Communicating Object Petri Nets水利图书d.|#L#pj umi

2C E+[Z$\M_ r0Object Orientation in Hierarchical Predicate Transition Nets

.~8IY2bRXGw4RY${0

l7PC6k_;wt:h0CoOperative Objects:Principles,Use and Implementation

7N#\%uU#R#X:KG0

1o6SRBJk {]0OB(PN)2:An Object Based Petri Net Programming Notation水利图书;~u8aHyEO'd5oE2a[

m ]{pqP|Lq0On Formalizing UML with High-Level Petri Nets水利图书S7@w5N"~ v!|C\7f

$VF,?8xe%a5bz2W0Section Ⅱ

]&t:xy"? i6x0 水利图书JpL1Z:PU2R,y5J

Modeling a Groupware Editing Tool with Cooperative Objects

.ia W#S3cF)dR0

Ias2is {7e0Modeling Constrained Geometric Objects with OBJSA Nets水利图书\ gN-y Y~#P)b

水利图书F"M0p@%sv&_u5P

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

@1`'x:|D:v0

b/K?0]7S(b0KRON:Knowledge Engineering Approach Based on the Integration of CPNs with Objects水利图书}'DrHt ~{ t

水利图书]Y$y!w*{"}

Modeling of a Library with THORNs

_8i cB3q!|0 水利图书kh!Eq4d2kP

Inheritance of Dynamic Behavior:Development of a Groupware Editor

`6ah2lrG,k0

|F0kJ R,T0Object Colored Petri Nets-A Formal Technique for Object Oriented Modeling水利图书hx:~ uq d E

水利图书Ks nZy/`2D$|

Section Ⅲ

2eP/N"Iq@8`}0

X5`/{;}1K }8d0An Actor Algebra for Specifying Distributed Systems:The Hurried Philosophers Case Study

r+{v1p X&|3A,k6S0

+s0zDYy;@'Dr0Formal Reasoning about Actor Programs Using Temporal Logic

/@9S4`j)_0

M%a5J cda-d]0Flexible Types for a Concurrent Model

O/y qv*?1t/S6YK%X0

x'Eu?Fk eNYJ0High Level Transition Systems for Communicating Agents水利图书B)lz1?*NU

W9{;V}pB-BT?8e0Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets水利图书 T|8Sf0m,e!c

)?dssp4E1o`1Mz1{0Control Properties in Object-Oriented Specifications

xP#~&o|s6]!Y0

leDE0Y3X0Section Ⅳ:Case Studies水利图书$|a#k.\(jbg

j1ed9BI0A Cooperative Petri Net Editor

Z"a o bATK0

6BrQ6g)R)H"d0The Hurried Philosophers水利图书3h)p8zbk

水利图书"d Q$]M/y tL#Gn

Author Index水利图书$E/]6|oE9G

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

水资讯网广告招租

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

广告投放

广告投放