A Formal Development and Validation Methodology

0 downloads 0 Views 212KB Size Report
This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the sys- tem design, and to formally ...
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 ! ›œ J QK@? = 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 !"P P   ' 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´