Formale Methodik des Entwurfs verteilter objektorientierter Systeme


  
 "!$#%&(')) *)
+,-.)
   ))0/ 123) 45&6879;:=@?.A;BDC5



  
  "! $#% '& #% )(" * +&,
 .-/  # % 


  
    "!$#%& ')) *)
+,-.)
    ))0/ 123) 45&6879;:= ?.A;BDC5

01324245769:=>?4@3ACBDEF=>BHG>IKJL=>ACBM 1 ;N=>ACBPOQ:<JG 2R69: 8 6TSUG>8 BPV'; SW1 BHXN: 6 ?4JY=>ACBZ[ACIK\>;>? 5 IK\>AC; ] ;>?RM3ACB 5 ? 69: 8 6^_G>8 ;>IK\>AC;a`CG>BbTB 2 :@3G>;>@L=>A 5 :<Jc:ACXd? 5 IK\>AC;aefBg:A 5 AC?4;>A 5 h1 J 6g1 B 5 =>ACBi: 6 G>B7jk? 5H5 AC; 5 IK\: Sl6 AC;m h BCn>BHACBCn;: 6 npo @3AC;>AC\>Xd?4@ 6 AC; h ? 5H5 ACB 6 : 6 ? 1 ;qn 01 B 5 ? 6 `CAC;>=>ACBCr ] >; ?RMFn stTB 1<S n tTB G 8 S ACBk=>ACB h ? 5H5 ACB 6 : 6 ? 1 ;qr v n ] >; ?RMFn stTB 1<S n { n ] >; ?RMFn stTB 1<S n

h BCnQunQbT?4IKJA|:<X {ACBZ[ACIK\>;>? 5 IK\>AC; ] >; ?RM3ACB 5 ? 69: 8 6 ^_G>8 ;>IK\>AC;€AC?4;>@3ACBHAC?4IK\ 6 G>;>=a=>G>BHIK\a=>?4AOQ:<JG 2R96 : 8 6kSUG>8 BkV'; SW1 BHXN: 6 ?4J‚:<X v9{ n v9{ n vz~3~3} :@3AC; 1 XdXdAC;qn


 


 

'V ; =>?4A 5 ACBYDBHEFAC? 6 jk?4BH= AC?4;>A SW1 BHXN: 2 AdefBHG>;>= 2 :8 BAC?4;>A 1 E HACJ 6g1 BH?4AC; 6 ?4ACB 6 A ^ A 6 \ 1 =>?4J€AC; 6 s jk?4IKJB FAC`C? Jc: 6 ? 1 ; M 1 ; 6 BHG>J 6 G>BTG>;>= 0 ACBH\: 2R6 AC; M3ACB 6 AC? 2R6 ACB 1 E HACJ 6g1 BH?4AC; 6 ?4ACB 6 ACB y,576 AUs XdAfjxACBH=>AC;awxA 5 IK\>BHAC?4E>G>;>@ 576 ACIK\>;>?4J8 B E HACJ 6 X 1 =>A 242 A 2 : 5H5 AC; G>;>= Z[Bg:A ;>?4ACB 6 n O G>8 B =>?4A‚`CG 576 := 5 E: 5 ?4ACB 6 A wxA 5 IK\>BHAC?4E>G>;>@ ;>?4IK\ 6 =>A 6 ACBHXd?4;>? 576 ? 5 IK\>AC; 1 X 1 ;>AC; 6 AC;+M3ACBH\: 2R6 AC; 5 jk?4BH=‚=>?4AZ \>A 1 BH?4AE>G>IK\ 576 :<E>?4ACBHAC;>=>ACBkDG 6g1 XN: 6 AC; AC; 6 jk?4IKJAC; AC?4;>AJ 1 ;>JBHA 6 A h :;>@ 57SW1 BHX zAC?4;>Ax:<E 576 Bg:<J 6 A y ; 6 : AP=>AC; 1A 242 ATG>;>= AC?4;>A 1 FACBg: 6 ? 1 ;>A 242 A ,ACXN:;>= @3AC`CAC?4@ 6 >=: LEFAC?4=>A ,ACXN:8 B E>G>IK\ 576 :<E>?4ACBHAC;>=>AkDG 6g1 XN: 6 AC;Yjk?4BH=YAC?4; 0 ACB S AC?4;>ACBHG>;>@ 5 Jc: 2 J G 8 2 =>A ;>?4ACB 6 c=>ACB`CG>BZ[Bg:A 6 :