A Formal Development and Validation Methodology

A Formal Development and Validation Methodology applied to Agent-Based Systems Giovanna Di Marzo Serugendo CERN, IT Division CH-1211 Geneva 23

[email protected]


ABSTRACT         !" # $  %!"&'"   ("  ) *" +, !"!-* ./'0& # '1) '%2  3!" &546 !789 '8#: !  0  *;7 = @ 2 AB  $ C0D: *!54E @  ! *(  @ "* - $ !&'+F & 2G(  !H' $4I J K(  l# B 4 ! ›œ JQK@? = 5#;/;9 A ?/?7B 8 C G  D ! 1DE

C D   ! DE



C G   DE 2#3#457689 :/3#45768

C   )    FE 

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

8?;B 9 = ? ; B A ?#?7B 8 #  

        

8/5#;/;#57¿  .1  -À .0 0   - ãdä ä   #  ä@   ´ç ç è_é À # 1!  -    .  -    ä   

  ÅÆ


 1õ%öl÷?ø%ùlÔúûöülù–* P !"PP ' B $* P  K ** 5C ~ RÚV M" $ $ P 9 * $ R(V  H–

* B K( B ' F !,  4 *;" !,øeˆG†‘ Ž +—  c¢+’‹› Ž¢ùœŠc‘–‰ŠcŽŽˆ/£Ú.Ú.چ™ — ú ˜‹£‚™,žá›kÞfŠc‡ÝG ŠçˆG‡‰‘¢+ˆGŽ¡   ¡Š™£…‘ˆG— ¤©.¬Š™ûF .¯TŠ+Ž Ü–à’/ŠcŽ¡¢¬‹™÷ᙠü  c‡ÝG  ™÷ c‡¯TŠc—œ¡ˆ"ÜcˆG—   q1¯TˆGŽ‹RŠ+Ž¡¢Ü Š+— › ¡Šc‹›  cŽV .®>ýcŠ0Ü Š±¡ˆ"qkˆGŽ¡Šc— ˆ ¡1› –‹‰‡› ‘‹‰ˆG¡µ–’–‰‹‰ˆ"¯T– ™.±@Žþ¿bÓ ÁÆÏǍ½ÿœÿzÿ“½»ºÆȹ ´‘»ºÃÆÏÓ'µ»1ÃÄ À µ»0Á¹0´