Tải bản đầy đủ (.pdf) (352 trang)

Springer a theory of distributed objects (springer 2005)

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (8.44 MB, 352 trang )

Caromel · Henrio
A Theory of Distributed Objects


Denis Caromel · Ludovic Henrio

A Theory of
Distributed Objects
Asynchrony – Mobility – Groups – Components
Preface by Luca Cardelli

With 114 Figures and 48 Tables

123


Denis Caromel
University of Nice Sophia Antipolis
I3S CNRS – INRIA
Institut universitaire de France
2004 Rt. des Lucioles, BP 93
06902 Sophia Antipolis Cedex, France
e-mail:

Ludovic Henrio
University of Westminster
Harrow School of Computer Science
Watford Rd, Northwick Park
Harrow HA1 3TP, UK
e-mail:


Library of Congress Control Number: 2005923024
Library of Congress Control Number: 2005923024

ISBN-10 3-540-20866-6 Springer Berlin Heidelberg New York
ISBN-13 978-3-540-20866-2 Springer Berlin Heidelberg New York
ISBN-10 3-540-20866-6 Springer Berlin Heidelberg New York
ISBN-13
Springer
Berlin
Heidelberg
Yorkor part of the material
This work 978-3-540-20866-2
is subject to copyright. All
rights are
reserved,
whether New
the whole
is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadThis
work
is subject toon
copyright.
areother
reserved,
whether
the in
whole
part of
the material
casting,
reproduction

microfilmAllorrights
in any
way, and
storage
dataor
banks.
Duplication
of
is
concerned,
specifically
the rights
of translation,
reprinting,
reuse of illustrations,
recitation,
broadthis
publication
or parts thereof
is permitted
only under
the provisions
of the German
Copyright
Law
casting,
reproduction
microfilm
in anyand
other

way, and for
storage
in data
banks.
of
of September
9, 1965, on
in its
current or
version,
permission
use must
always
be Duplication
obtained from
this
publication
or parts
thereof
permitted only
under
the provisions
of the
German Copyright Law
Springer.
Violations
are liable
forisprosecution
under
the German

Copyright
Law.
of September 9, 1965, in its current version, and permission for use must always be obtained from
Springer is
a part of are
Springer
Media
Springer.
Violations
liable Science+Business
for prosecution under
the German Copyright Law.
springeronline.com
Springer is a part of Springer Science+Business Media
© Springer-Verlag Berlin Heidelberg 2005
springeronline.com
Printed in Germany
© Springer-Verlag Berlin Heidelberg 2005
The usein
ofGermany
general descriptive names, registered names, trademarks, etc. in this publication does not
Printed
imply, even in the absence of a specific statement, that such names are exempt from the relevant proThe
uselaws
of general
descriptive
names,
registered
etc. in this publication does not
tective

and regulations
and
therefore
free fornames,
generaltrademarks,
use.
imply, even in the absence of a specific statement, that such names are exempt from the relevant proTypesetlaws
by the
usingand
a Springer
TEfree
X macro
package
tective
andauthors
regulations
therefore
for general
use.
Production: LE-TEX Jelonek, Schmidt & Vöckler GbR, Leipzig
Typeset
by theKünkelLopka,
authors using Heidelberg
a Springer TEX macro package
Cover design:
Production: LE-TEX Jelonek, Schmidt & Vöckler GbR, Leipzig
Printeddesign:
on acid-free
paper Heidelberg
45/3142/YL - 5 4 3 2 1 0

Cover
KünkelLopka,
Printed on acid-free paper

45/3142/YL - 5 4 3 2 1 0




















P
























































































































































































































































































r





































































































































































































































t


























































































































































































































































































































































































































































































































































































































































































































































































































































































































P




























































































































































































































































































































 







✂✻











P



















































































































































 














































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































q













































































































































































































































































































































































t


















































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































t








































































































































































































































































t








































































































































































































































































































































































































































































































































































 















































































































































































































































































































































































































































































































































































































t






























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































â







Õ





Ï

 











































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































q



































































































































































































t














































































































































































































































































































































































































































































































































































































































































t







































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































q
























































































































































































































































































































































































â







Õ





Ï



 




















































































































































 


































































































































































































































































































































































































































































































































































































































































































 


















































































































































































































































































t










































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































q
























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































â








Õ





Ï

 























































































































































































































































































 
























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































q













































































































































































































































 









































































































































































































t












































































































t


































































































































































































































































































































































 













































































































q









































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































q































































































































































â







Õ






Ï







 
































































































































































































































































































































































































 


























 





























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































 

























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































â

 








Õ





Ï

 

















































































































































































































































 





















 













































































































































































































































t


























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































â






























































































 




































































































































 































































q






























































































































































































































q

























































































































































































































































































































































































































































































































































































































































































 


































































































































































































































































































































































































































































































































































































































































































































































































































































































































t































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































t


















































































































q


































































































































































q

























































































































q












































































































































































































































































































































































































































































































 

×



Ï





ä




 

 

Ô



Õ

Ï

ß




















q











































































































































q





































































































































































































































q















































































































































































































































































































































































































































































































t






























































































































































































































































q














































































































































































































































































































































































































t





























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































×



Ï





ä



 

Ô



Õ

Ï



ß


 



 

t




















































































































































































































































































































































































































































































































































































































t



























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































q










































































































































































































































































































































q














































































































q



























































































































































































q
































































































































































































































































































































































































































































































































































































































































































































































































t











































































































 





×



Ï





ä



 

 

Ô




Õ

Ï

ß







t


















































































































































































































































































































































































































































 





























































































































































































































































































































































































































































































































































































































































 

















 





























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































t
































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































×

 



Ï





ä





 




Õ

Ï

 













































































































































































































































































































































































t








































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































t































































































































































































































































































































































t















































































































 









 





















 
















t



























t






























































































































































































































t






























































































































t
























































































































t
































































































































t




























































































































t




























































































































t















































































t


















































































t





















































































t







t











































































































































































































































































































































































t














































































































































































































































t
































































































































t


























































































































































































































































t




































































































































































































































































t




























































































































t
























































































































t






















































q

 














 










































t





















t

















































q













































t































































































































t












































































































































































































































































































































































t



































t
























































































q












































































































t


































































































































 



×



Ï





ä



Õ

 














Ï





Ö

Ü







Õ







Õ


Ï

 


















































































































































































































































t








































































































































































































































































































































































































































































































t


































































































































t































































































































t




























































































































































t


















































































t










































































































































































































































t




















































































































































































































































































































































































































































































































































































































































































































































































t





































































































































t

























☎✆





































































































t




























☎✆




























































































































































































































☎✆








☎✆
































































































t



















































































q




























































































































































t















































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































t





















































































































































































































































































































































































t
























































































































t
















































































































































































































































































































































































































































































































×



Ï





ä



Õ

 














Ï





Ö

Ü







Õ








Õ

Ï



 

















































































































 


































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































 

































































































































































































































































 






































































































































































































































































































































































































































































































































































































































































































































































































































































q






























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































q



























































































































































































































































































































t




































































































































































































































































































































































































































































































































































t
























































































































































































































































































































































































































































































































































































































































































































































































































































 

 



Ü









 

Ô

Õ

 
























































































































































































































































































































































































































































































































































































































































q














































































































































































































































q
































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































t



















































































































































































































q





































































































































































































































































































































































































q

 


































































































































































































































































































































































































































































































































































































































































































































































































































































q





















































































































q
















































































































































t





































































































































































































































































































































































































































































































q

 





























































t






















































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































Ü










 

Ô

Õ



 



















































































































































































































































 













 

























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































t








































































































































































t









































































































































































































































































































































t
































































































































































































































































t






















































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































 

 





 















































€



















€












 












































 













































































































































































 
































































































































































 
















































































































































































































































































































































 







 






















 




















































































 
















































































































✻✂




























€











































































































 












































 















































 













 




































































































































































 
















 

































































 















































































































































































 



 





























































€

































































































































































































€























































 


































 













































€















 
















































































 










































































































 




































Õ




















Ô




















 











 

€





































































Ü

 








€











 

































































































































































































€












 

















 



















































 






































 









































 











































































 











































































































 























































































 


















 




















































×