Integrating Visual Modeling of Agent-Based and ...

Integrating Visual Modeling of Agent-Based and Object-Oriented Systems Ralph Depke

Reiko Heckel

Jochen Malte Kuster ¨

Universitat ¨ Paderborn, FB 17 33098 Paderborn, Germany

Universitat ¨ Paderborn, FB 17 33098 Paderborn, Germany

Universitat ¨ Paderborn, FB 17 33098 Paderborn, Germany

[email protected]

[email protected]

[email protected]

ABSTRACT 

      
 

" !#%$&')(*+!#' ,(-. /01
 23.&4.( 251 
 +.&4/56879&:;' 7D$
*. E3FE?@(
G ;/& H.: 6(.:*  6A* .*
 14 ..!B!#. (IC.(  .&J/0K
 +L;6M./1 *.
 (4 N!O 6#
!#!I
. P' 77DE95QRS 6T(47D3 6UM
/5+
.  !#  5*. #/UVL;6
*6C( I!BUJ
 I W
*6&.(=C 6> 7>!# 9

Categories `PabcNSubject ^5\ d3egfbDescriptors h`JfikjmlS
,npoI9 q X 9 Y9 ! Z [\H])^&_and

Z d3^]rb*sta_8hikj5u v KLw.Tx%((

General "( ?.y"Terms ?Dz:* 6I{g*1 .!B. 3?u. N rL|.;x%(( 1. "w!#INTRODUCTION ,(t

  ?( ;B/0K
 |687R
!# !#'

*8UVj}.( #.
 B !#>U?%7D~/UV 6>=(D .& ,.? 6G/U,(R.&.
 (; ; 6> 7>!#

.&
 5*. ("L;> 6+. 6€( 9zR*.U?8/0K
 €
. ' ,. -8 *S1 
 TP 5*. I.&J 87,=7


I 6G;/01
 9&{w6;. ,S. S/0K
 ";I(G:='
, L;6I
,(

 ,(&.(%‚D|ƒD7"L;6 /0K
  !BUT6&7D@ 6>}L;I 6+ E
 „9D" R!#( ./1 *.
 … .R

 "/01
 ? 6

  " }V†D‡ˆ„‰Š‹ ‹‡ˆ=6&.#/5A1 */,6Z .i;L;6
*6‘6B!I
G6!#v8> KU L;Œ>Ž 6- 6.( | .*(!49x% v.U?L;6. ;|!#,(tw 6 ,# ’&“ Œ †D‡ˆ„‰Š‰ˆ„”J•„(D.>'K7D…/5687G–;M 6T …. .…†—ˆ —š ’‹G“1†ˆ„‰ 9›Jw  5;R!#,(  D.
G6 /BŒ˜&-Œœ™#l4Œ …Œ  *. MŒ˜ L;6
*6B,
 D8 |

  w g !#(VZ ž8i 41 
 #.~( 2 +/56&7,.t

.*(4  >   G*
  L;> 6#. 6}( ?I(*. 6I *.1 N!B.  Z qigB*w t
G,/5" 6"FE
 w 3 6:( 2 | *
G ,9 Ÿ D.
 7 rUS!#(=; N : ;,M 6". 
9

Notification AutoTransaction

to

Monitoring Transaction

from Holder

@notifyWithdraw monitors @notifyDeposit Account

Ordering Transaction

@notifyWithdraw @notifyDeposit

signs

2

balances

Ordering Transaction

has

int balance int pin

Balancing Account

int upperlimit int lowerlimit @autoWithdraw @autoDeposit

Customer

informs

int amount

Banking System

buffers to

from

Execute Transaction

Transaction signs

int amount

1

  cN¡&¢H_8h£¤ ¥-¡&h\Eb.¦&§I¨g©hªb.¦«#^5¬NhWªD¬va&ff#­€cNa¡&_8a5` 2. MODELING WITH ROLES AND GRAPH {w6S
TRANSFORMATION 
  B. -=Lw>')1 */,6®‘/0K
 ') 

  v KLw.#7D !# IZ ži)9g"…/01
 !BU4 ,U…t.!# >FE } 5
>$&I/UT| KU 5€L;6
G6=!# U 6. }R
G'

*B 
 > KU-w¯6/ 39y"|8= N"
/( 6L®#/01
 w77D 87D ,!#|/U+ *‚(B>FE 9 {w6GU‘1 
 M 6°7,/,> KUA C±/01
 4.4.( 4> t.'
,. I …. 6t/01
G I=( t>UV¯1 t7,°.  *.
G6 9EQR"L²
,R,(.*!³•k´€(Bµ8–|/v;4 6
v. ,.(*!¶‘/0K
 ') A!#(~.  D
*6M.&C
' 1 ; %.( ;
,?&
,:.&-/01
 "
,.9EQR/01
G


,.&1 SS 6R
,
 /0K
 ') M!B' G.W.(((D. J }8  ,/ ?& 5*8 ,R&…(9 :(
,|8"
 7D;
,@ 6&8 }
 5.*. :. },1 }  !#w 5G*. SL;6
G6M,|
. M/U-t(t1U!=' /5R·¸R¹93" !#; 5G*.  }( 8I!#,4/U (*. 6W *1 N!B8 ,JB•„I/58L:–RL;6,
*6~8=.  ,(.' (G‘/UC!# 6
S/ = 6(6‘ 64


….  6 /01
 4.&®.( -  6M N M6&.&‘,W® 6…1 *. °

67>!# 9y:,T
,..T/
>U4 6!#+"/' 01
 BM( B
,B/ = 6>B,1 *
#
.‘>UAG¯1 B  5&
UM .°( R…/0K
 :L;6T 
 &> KUS ¯ ~/UV 6I9@{w6#!##…41 *.
…. .' !B. 
.UM,.  58wL;6B 6:/01
G ?.( ;.w> |;G' 5 =9{w6,  5&
GU?L;6
*6tLw@
') &v8'

6 g?},
8 =/U=.M8L‘L;> 6-,-6#
 

N!º 6TI
, # 6+¹L;¹M % 6TI
v.93:W
G'

7D}|
, >L|U%/5(€ .=.
 7Dw/01
 % .=( 9

".WG¯.!# Lwt
G,/5tW.( ')/&.…¯ … - W/&.‚(~.  
8 ,g?|J´€(~µ9w›J…6&!# .¼»"—ˆ “1† šG†D‡ˆ„‰ ( #L;6
G6C (*8 = 6-B/U ,(?HŒ½ &˜ T
Œ *.˜ V
> ?g *.
G ,+/5 KL@~.
'
 9.{w6;¾ Œ˜ ‰ˆ Œ “*‰ ˜¿½ “† ˜ š†‡ˆ„‰ Œ˜ },7D7D€!#> ( .4/01
 " ,U(t 6T»"‡‡ — ˆw,T.&- > vU(I 6 ,UD .  6|À ŒÁ ‹G“|,@ UŒ 7˜  H *.
G ,g9{w6|Ã:† Á † ˜ ‡‰ ˜&Ä »;‡‡ — ˆw/7D; 6R/,
 %.S/0K
 " ,U,(t 6 .¿

Œ  @˜ ,RB} 6&8 w> w1 *Uw- $&I*(9 u
 6€!# H 6@!#> (" t

 %.& 6},7D.'
. ° % *.
G ,?& 6+.'). },8 ,6, : = 6 ¾ Œ˜ ‰ˆ Œ “G‰ ˜¿½ “† ˜ šG†D‡ˆ„‰ Œ˜ M 6MÅw“  ‹G“*‰ ˜¿½ “† ˜ šG†D‡ˆ„‰ Œ˜ 9 "(  5*. +.#
/5W7>UP(-(* 6P *.1'

N!B8 ,VBZ q8i}L;6
G6V.=  V.t >T ;œl4
,/5*8 =
/,(S 6B8FE
 W &8 t. | 6=1 *8 #/5'

N#.&°. v  6t 5*. 393{w6 5
$
. JR/5. 6° N' !B.&+ 5*8 &.„9Ær
=/5w
!# +, :/01
 ').,  (.*!#!#(T,(&.(:
9ÆrB( w !#,(U?D 6U#8 š‰ˆ„—†ˆ„‰ †D‡ˆ„‰ “G— ‹Gš~•„. tV 61 ,
. ®‚&AL;6
G6® (.* 6}Œ˜&wÄ .
 Œ7˜ 8 #Á &8   .&=(*. 6=!B8 
G6(. 6:.
'

7. !#
*6&.!-–G9gÆKV „.
 ? =!#(W  D.
G6  !#tW &.H  *. W 6TLw.v°/ ' 
G,/5 >UT 6}¯ &.,>U+7,/w/56&7%. Et( 9Ç@' ,?;S±¯.!# ?@ 6° 5*8 ,Ȇ—ˆ ŒgÉ ‰NˆNÊ Â “†.ËÌ T 6 Ã"† † ‡‰ »"‡‡ — ˆ;,T…´€(tq9&Ær4*; #¯
  6  5Á *.˜ ˜J¿ 6=Œ ˜ v ')6&P,I w 6I=6 S/5I!B. 
*6 .(D.,1 t 6=
 T1 *. ?HW 6I!B. 
*6° > ,t8=' ,
W: 5
>$&W/US 6,(6 'r64v93{w6&8 !#.?L@ 67Dt -$&&4 rLw°»;‡‡ Œ — ˜ ˆ/0K
 ‚D… M 6=.(  vU' (- 6#Ã:† Á † ˜ ‡‰ ˜¿ »"‡‡ Œ — ˜ ˆ:I7,M  † Á † ˜ ‡*‹Gš=.&W  —GÍ:‹G“Gš .
,. 3?@
G6~ 6. I 6M/,
S. : 6-$1 #.

 #¯'
 6|  5 !# }/U=.#!# Î&9DÆrI 6
;Lw;
8  MLÏ *.
G ,V .+ *.1 N(….!# Î4 M 6=
& .

 9ÐR. 
: 6. ?D
=†—ˆ ‰ˆNÊ “†ˑ,@- !#  5*. g?%> =!BUV/5B¯
 JŒgL;É > 6  =¯ &.@
.; …;t!B. 
*6B N; 6:R| &E9ÆKB 6wL|UBLw!#

6R „.
 ; 6&8 ;( ;
 : !#>U# I
*6&(;M 6> 7>!# 9.QRT 6|(I7„?.L@|  %:7L|')/&.I. ' D.
G64 5
> NU(= 6/56&7,." 4( "/U-!#| 6
v.|> w!BU#.

;.&I 6:
.E *.1 N!B. @.,Ñ,( >   5*8 9D{w6w,}. 3#.( @R
,}>LwU /5(

 6|7,GL® E>  L;9Ær#´€(Tµ".€•„ &.,78–€/01
 }/5' (M # 6I7L; @ ( ?E/ R 6t( -. 7L 
*6W. 693"( " G*
 R>U4 6(6…87D,  (- &8  . R 6>B7L;9}´.B¯!# ,? 6S
G. A W *
  /0K
 /U4P»"—ˆ Œ½ “1† ˜ šG†D‡ˆ„‰ Œ.˜ ( :!BU4/5T/7D…/US Ã"† ˜Ò ‰ ˜¿Ó ”.šˆr‹ ™ ( @L;6,
*6B6&.@.- 5*. J‹Ô‹‡—ˆr‹ ½ “1† ˜ š Ä †‡ˆ„‰ Œ˜ !#87(= 6 ½ “† ˜ šG†D‡ˆ„‰ Œ˜ /01
G T4!#> NU(= 6  † Á † ˜ ‡*‹t8  ,/ . 6
 5&(#

 9 3. {w6:,RELATED +. g|IWORK R!#AND } N;.CONCLUSION ( ')/&.#1U1 !#}

  TL9E›V,v(# +.„9@Z Õ.i  +M *. P .+ 5
' > vU(P.( tI(W4M
*6!BML;6
*6C
 *+ ¯'

 
  . @> .&…. N KU4 5/,> ?3 5' !#? .&P  
9 {w6B.  D
*6V. |ÆK(,v.I +.„9wZ Yi  5R.4.( ') S!#G 6(UB 6. ;
87D;+L;v *.(". & 6|. N rL|.:7D !# 
? N!Ï 6w

 '

Ñ. W = 6T&.>UR&…(…. }1U1 !#9 X Lw7D?

6P87DG*!#S,.(>U¼, .!B.&±?w,¼ . 
' ,.= NB.( ') 5
>$&
M

  ? ¯ &@ *8 g9}QR#. ' D.
G6®BB V!#".( -M/01
G S/567.M‘

@autoWithdraw balances

Balancing Account

buffers

upperlimit = ul Account

Account signs

balance = ul + d to

from

Transaction amount = d

balances

Balancing Account

buffers

upperlimit = ul Account balance = ul + d to

Account signs Transaction

from

amount = d

  cN¡&¢H_8hJÖE¤%×tØgh…a&¢Hb^Ùºcvb؀­H_8asÚ^&Û%h_8abcN^5\ $&')(*.,P!B.9gÜ 
#

  T. ; !# ' *8 ,4;  -M7&.,Ñ39{w6R (.* 6- *1'

.!B. 3?€.&W7L; N+ 5
> NU(°.( ') 5
>$
=

   87,€ 6w87D*.,  
*6IL;> 6=: N!B!B. 
9DlS G *:. R.  D
*64
.4/5R NSJZ>µik9 4. Z>µiTyTREFERENCES 9o ‚?y+9 X 
G‚Dk?Sƒ9ÝMÞ 1 G9y"

>!#

 5
$
. …4(4 %.( ')/&.S 6 (.* 6- *1 !B8 g?:Mœl4%9ÆrAß}à;» ½ à;» áââDâDã€ä Œ ‰ ˜ ˆ »;å}å æ€ç.ß}à;»;å@ÀwèHß é ½ ß}à;» ½€Ó²ÉSŒ “ Ò š1Ê Œ ’ Œ.˜ ßw“1†G’Ê “† švê “ †ˆ„‰ ”šˆr‹ š*?5ë@g?EzRG!BU?l4.9 q.ììì95{H½ = ˜ 5Œ .™ 9 Œ˜PÓ ™ Z q8i X 9x 6,(?zt9x%(? X 9 'Kƒ9Ý8L;‚„?Szt9y"Ñ/5(? > 95ÀT† ˜&ÂDŒŒ8ÒMŒ ê=ßw“1†G’ÊVßw“† ™t™ †“*š+† ˜&Â°í Œ™ ’&—ˆ„‰ ˜¿ ”4ß@“†G’Ê “† švê “ †ˆ„‰ — ‹ áã »@’D’ ‰„‡*†.ˆ„‰ š æH † ˜¿ —† ¿ ‹Gš ½î † ˜&˜ ÂWŒ½&Œ™ ŒÁ š9›JŒ˜ît,ï…ŒÁu
™ , >$
?EµðÁ ðð9E{gŒ ˜ î .  589 Z .i+{R9Qt9lP9z: g9Ql…z¼œl4Wu 5
$
. g?ñ+9&µ9 ?5µððð9 Z YitÇ:9+9ÆK(,?3lP95z. 01?5ƒ95Ç:95zRÑ3.ò ,Ñ?ESƒ9yT9 ñ ,
9&"&.U"4(4 !t> ,( ;1U1 !# ,(#l4Ru'KÇ@!#!#ÝT:ouE9Ær…lP9 Ÿ 9&u(6g?+9y:? .&4lP9ƒ9›V,v(?> .?5åw“ Œ ‡*‹‹  ‰ ˜¿ š Œ êˆNÊ‹:óˆNÊ ç ˜ ˆr‹G“ ˜ †ˆ„‰ Œ˜ † Á:ÉSŒ “ Ò šÊ Œ ’ Œ˜ » ¿ ‹ ˜ ˆ ½ Ê‹ Œ “*‰)‹Gš î »"“1‡*ʉˆr‹‡ˆ„—“‹Gš † æH† —† ‹Gš#ô» »"æ ?57D,!#tµÕDž . æ€÷"»:ç*? &.(î "˜&µ8øD˜q.¿ù?3ë@¿ g?&½ ƒ>USÄKq.õY8ö øq.Յµððù9 u (9 Z ž8i+ë:9ë:9Ý1 395QR/01
 RQ:, 4lS,(=L; 6 y"9ÆK4å|“ Œ ‡G‹‹  ‰ ˜¿ š Œ êˆNÊ‹ á ˜&Â ç ˜ ˆr‹G“ ˜ †ˆ„‰ Œ˜ † Á íôÅŒ˜Å}êç ‹G“‹ ˜ ‡*‹ Œ˜ — Å ‰ Ž ‹‡ç*ˆ “Ä ‹ Åw† “*‰)‹ ˜ ˆr‹ Â ç ˜ ?&ê Œ &“ .™ (†Rˆ„‰ žŒ.ÿ˜WøÿÓ µ”?šˆr‹ ™ š 3&Ó@3ú õD?3ûµüðîHðý Õ93u Á ˜î (Á 9 ˜&Âî@þõDõDû Z Õ.iTÐ+9ƒ95lP9›V,v(T.&SoI9ÝU9²!#G 6(UB N .( ') M&.>U:S,(g9ÆK…åw“ Œ ‡*‹‹  ‰ ˜¿ š Œ ê ˆNÊ‹ˆNʉ“ † —† ‡ ê‹G“‹ ˜ ‡*‹ Œ˜ »"—ˆ Œ˜5Œ.™#Œ —šR» ¿ ‹ ˜ ˆ„š? (:Õð8 øÿ˜Õ˜ ?EuÁ 8  Œ.,˜ ?›Wœ uT?&l4UEµGøžºµððð95:Ç|lP9