main.dvi

Size: px

Start display at page:

Download "main.dvi"

るるみひめい
5 years ago
Views:

1 Dec. 3, 1998

2 kaiya/ 1??...? : Java RMI

3 kaiya/ 2 ( ) [1] [2] Bertrand Meyer. The Next Software Breakthrough. COMPUTER, Vol. 30, No. 7, pp , Jul Jean-Marc Jezequel and Bertrand Meyer. Design by Contract: The Lessons of Ariane. COMPUTER, Vol. 30, No. 1, pp , Jan

4 kaiya/ 3 : ( ) public static Remote lookup(string name) throws... : Design by Contract(DBC) : : :

5 kaiya/ 4? ( ) & : ( ) autoconf configure : OS [3] ( ) Java (OS) Java VM Tommy Thorn. p.231, Programming languages for mobile code. ACM Computing Surveys, Vol. 29, No. 3, pp , Sep

6 kaiya/ 5 : / Java RMI : Z OO : Meyer DBC /

7 kaiya/ 6? Java : ( or )? :? :? : [4] Drew Dean, Edward W. Felten, and Dan S. Wallach. Java Security: From HotJava to Netscape and Beyond. In Proceedings 1996 IEEE Symposium on Security and Privacy, 1996.

8 kaiya/ 7 RMI Naming Naming (rmiregistry) RPC

9 kaiya/ 8 : (http, ftp )

10 kaiya/ 9 (1/2) LoadPlace ::= Local Network impl, skel : LoadPlace ( )

11 kaiya/ 10 (2/2) pre.. ;? ;. ;?;! Ξ;

12 kaiya/ 11 A B readfile(string f) writefile(string f, s)

13 kaiya/ 12 : class MyManager extends RMISecurityManager{ public synchronized void checkread(string file){} public synchronized void checkwrite(string file){ super.checkwrite(file); } } : public class MyRObject extends UnicastRemoteObject implements MyInterface{ public MyRObject() throws RemoteException{ super(); } public String readfile(string s) throws RemoteException{ return new String(SimpleIO.readfile(s)); } public boolean writefile(string f, String s) throws RemoteException{ return SimpleIO.writefile(f, s); } }

14 kaiya/ 13 (1/2) MyManager checktable : B InitMyManager MyManager checktable = true checktable = false.

15 kaiya/ 14 (2/2) MyRObject serverfs : MyRObject.writefile f?: ; s? : ; rep! :Report; MyRObject; ΞMyManager checktable serverfs f?=s? dom serverfs {f?} = dom serverfs ; rep! =OK checktable θmyrobject = θmyrobject ; rep! =Exception

16 kaiya/ 15 MyRObject.write serverfs f? s? serverfs = serverfs : RMI

17 kaiya/ 16 LoadPlace ::= Local Network LoadMap impl, skel : LoadPlace pre.myrobject.writefile MyRObject; MyManager; LoadMap impl = skel = Local (impl = Network skel = Network) chaktable MyRObject.writefile f?: ; s? : MyRObject; ΞMyManager; ΞLoadMap serverfs f?=s?; dom serverfs {f?} = dom serverfs

18 kaiya/ 17 MyRObject.write impl = skel = Local serverfs f? s? serverfs serverfs MyRObject.write skel = Network serverfs f? s? serverfs = serverfs

19 kaiya/ 18 Java RMI

20 kaiya/ 19 : ( ) RMI Java

21 kaiya/ 20 REFERENCES [1] Bertrand Meyer. The Next Software Breakthrough. COM- PUTER, Vol. 30, No. 7, pp , Jul IEEE/CS. [2] Jean-Marc Jezequel and Bertrand Meyer. Design by Contract: The Lessons of Ariane. COMPUTER, Vol. 30, No. 1, pp , Jan [3] Tommy Thorn. Programming languages for mobile code. ACM Computing Surveys, Vol. 29, No. 3, pp , Sep [4] Drew Dean, Edward W. Felten, and Dan S. Wallach. Java Security: From HotJava to Netscape and Beyond. In Proceedings 1996 IEEE Symposium on Security and Privacy, kaiya/ html, pdf, ps

rmi.book

rmi.book BEA WebLogic Server WebLogic RMI BEA WebLogic Server 6.1 : 2002 6 24 Copyright 2002 BEA Systems, Inc. All Rights Reserved. BEA Systems, Inc. BEA BEA BEA FAR 52.227-19 Commercial Computer Software-Restricted