A Framework to Analyse WS-Agreement Documents
Full text
! " # $% & '() & * & *+ + & + * )&& & & '() & '),-. & / ( & '() + & . * ) ) #))% */ & '() ))+ & '() + & 0 1 & & 2. )) & + 0 & & . & . & & . )) + - +. 3, + 4 ' *+ 5. & + + * )) '),- ! " # $!"#% & &' ( ) ' ( ( $*% ' & ( ( + ( ,* - * ' .+ / * ' ) & ( +0 ( - ( * - & */ & + + & 6 #57% & & , & 668 #9"!!:(!;<==%. + & ) , & >!;(6("?<< & & & & & 6@ & 5*/ > 5>;4"!!;"! < " ?A< #6+ %
1 + / ' &2 & *+ 3 2 ) ) '+ 4 ) 2 ' ) & + / ) ++ 1 5 () + ' ) ' - + 4 & ) 6 + / ) & ) 6 & * )+ 7&( & & 2 68 $% ) 6 & ) 9 $3% 6 & . & + / 6 & & (( ) ' - + / ( ) 2 * ) :;+ 7&( ( &2 & 1 ' 2 6+ / 2 ) ' ) ( 6 ') ) ' 2 ) * . ) ( + 4 & 0 ) $0 % &2 ) 1 ) 6+ 0' ( ') 2 6 () - ') < =+ ( 0 ' 1 ) ( ) + # &2 ";> & 0') ( + >( !" 0* (+ & & &' ( & '() */ - #'),-% 3, > 6 B. + & 3, ) !" '+ #'%. + & ' ' '+ 6 #'<6% #$%"&%'( " "&)")
&'' ( ') + / &+ 3 ) () ') + : 1 0 1 )) '& 0 ";>+ ; 1 ( ? (' & 0 ( ( ')0 )&' (+ @ & 0 ') ( & + #) < &2+ 0 ) & ( ' ) ? ) 1( 2 (( @=+ 4 4!AB= @ & - $0*% & -+ 0* & 1 ( C DCD () *+ * 4!ABE < 4!AB5 = & & ) * 1 ) ' & . ()+ < = & ') ( : 3B & 2 & * & ' & ( ) 1 )+ 4 & & 1 ) ') ( &2 & 0* @ ' & 1( ( & ) + /2 & 1 ' & ( . ( 8 $% ' & $% )+ / ) 2 & & - ) ') : 3B+ 7&( &2 & & * - + & < = & 2 ) ) 2 '& . + ! ) & & ) ' - + / & ( ' ) - ' & ( ' + #
( 8 ' & [100,1000] ' & [1,5] = / ' ) 19 - + 7&( & ( ( BBC@F3B ' -+ ! . & $++ 6% ) . & & + # = & 1 - . + # ( ( - $ = / % ' . ' ) 19 ' & & ( ) + 4 ' 2 ) 6 (( ' $G% 5 G ( 2 6+ / ) 1 ) & ') < =+ / 1 ')) ) 6 ' (+ 02 & ( ' & ) ' 6 & 2 ( 6+ # ( (' 1 6 & ' - = / ' ) 19 + 4 & 6 ( 1+ G( 1 & ) 6 () (& ) ( 6 ') ) ' 2 ) & . ) ( + 0 &2 & 1 + 0( >( ) ' ( &2 ) $G% 5 1 ) < = ( + / 0( ) & ' 2 ) . ' & 1 6 - 2 +
> & & ))*/ !"! # ) & ( 0 ' ) 1 & & ' $ #+ %+ # 1 ) : < = & (- . ) + / . 1 0 &2 ) 0 #+ + / ) #+ ' ( 0 ) ; ' + / ' ) #+ & 2 1 ( ' )08 # 8 )0 ) 3 ' & & ) ') ( + / 1) ) 0 & ) ' '+ 7&( 2 ) ' + # 8)0 >( ') ' ( ) ( ) G ' + 6& !
# 8)0 ) ' 8 ,* ;G E 1 ?( ,* ' ') + 7&( ' + # 8 4 ( ) 0* ' 1 ' ') + / 1 ' ( + ' 0* ' ' E + !"!#$!%&' ";> &2 ( ') H + . 0+ ";> ( & 0 ) ++ 1 5+ / ? '& ";> 0 ( . ' & ) 2 0+ 7&( ' 0 2 . ' ) 2 =+ # 0 ) 2 ( 1 ) 6 & ) + / 0 ' 1 ' ";> ) ) + 4 & '- 0A ) 2 1 & ( ' 3 & ) ' (0+ 4 & ) & "G" ' C";> ' 0 ) ' ";> &2+ # & &8 / )' ') ) ' ' + / ( . ' ) ' &+ () & ) &) . & + 4 2& 6 . ') . ( ') + / 1 & 0 && ')> + , 7 ) ) > '/ ,. #3+ , 5%
& ' & 0 1 &2 ) 2 + 4 ) & * ) ) & . 0 & ) + / #+ ( 0 ( >( ')9 >( !" ' 1 9 &' ( 0* ) !" ' ) !" &' #+ 3 + 4 ) ? & 0 & (8 − − ! " ! − − # − − ! " ! ! − ! − − ! − ! − $%&'( − ) *+ '() , − '() , *+ $%&'( − ) - ∗ − ∗ − ! − ∗ − − & 5
∗ ∗ ! − 0 ) )) */ *+ 3, *+ 4 ( ) & ) ( ) '2 & (( $0 #I% ' ' ( &' . ) 0 &' $ % ( I + ( & & ' #+ :8 3 6 !
& & & #))5% )) */ $% ,* ;G 9 $3% ! ) ( & 1)9 $:% " ,* (& ;G (& (& ' ) & ') ' $;%9 $@% " ) ( (+ / ( ) ' 0 &2 ' & & &0) ' 6 + & & 6 1 ( ( + 4 ( ( & 6 + ( % $! ( ' ' ') ( & 1( ( ( ' D( $*!% 0 +3 / + & &* & &+ ')> C AD + & & +