Our presentation at the W3C Workshop on Declarative Models of Distributed Web Applications (DMDWA'07). by Markku Laine, http://www.tinyurl.com/mplaine, Mikko Honkala, and Oskari Koskimies

1. $ % & "#
!
! "

2. ' (" () * &+ &
,- & ./ # "
'&0 &
! "

3. !
1

4. 34" &0 &" " 5 * 00
&0 6
3 "
3! 7 #89 + 0 8!++
3+ 7) ) 9 :: ;
3 ./7 +<# *= & 00
3 " 0 ( >
"&* 0 "
2

5. !
3 ( 00 " ( 7
/ >
+ + #
- &
9 :: 400 +
3
3 - &$ * > 0 (
* ( * > & (( *
/ ( 3 ' > ( $> @" ( ( 0 00
. * 0 0 6 A ( ( "> &
00
3 /" ( ( (* > & (
3 . 0 && 0 ( &
?
3 " &" " "00

6. ! " #$
%! & ! ' (
35 & ( * ( ( * $ (
" &> "(* " B
/ >
C +
- &
9 :: 400 +
/ (
. *
! "#$

7. $ )

8. )
3' 0" "0 ,- & ; 8 !++ ;
3:6 ( ,- & > ( * "
3. * = $ $ &" " "00 > E $
( * ( $ ;
3,) & ( @" " $ ,<" " (
3 +:#:! " ,<" ( > " " F ; ;$ = G
3 ).4 : " ,) ( "0( , # &
34 ( 7
'&0 & + @" ,- &
F & , #8!++89+G
D

9. )$ )
36 & (*7
3 :6 ( 6 & 7
3 0 0 ( @" (0 &
36 & (*7@"
3 " @" F ( "( (G
36 & (*7 "*&
3 :6 ( 6 & 7 "*&
3 I 60 0
3J K J"0( K
3 I@"
3 '. :- 6 & (*7 &
3: 6 & (* @"
H

10. $! *
L6 & (*7 (MN @" NO
L@" 6& MNN ( MN 6 N
( MN > (;6& NO
L 60 O
P > (
> (&
" P > (
L 60 O
L @" O
L 6 & (*7 O
L6 & 7 (MN NO
L6 & (*7 "*& (MN @" "*& N 0 MN N
MN N @" MN @" N
60 0 MN N O

11. $+ *
L6 & (*7 (MN"0( @" NO
L@" 6& MNN ( MN 6 N( MN > (;6& NO
L 60 O
> (&
L 60 O
L @" O
L 6 & (*7 O
L6 & 7 (MJ"0( NO
L6 & (*7 "*& (MN 2"0( @" "*& N 0 MJ"0( N
MN N @" MN"0( @" N
60 0 MN NO
L 6 & (*7 "*& O
L6 & (*7 "*& (MN"0( @" "*& N 0 MJ"0( N
MN N @" MN"0( @" N
60 0 MN"0( NO
L 6 & (*7 "*& O

12. !# ,
3 " "00 &" " 00
3+ " & ).4 : &" "
3 & > ( " & 1> E
"0( (, # &
3 ( ( &
3 &
3 " ./
3' E F ; ;$ & G$ 0 (
&$ > ( * *

13. - $*
3+ E ( (
0 * &
3 ; ;& & & "
35 &0 & " * &0 "0
& "0( 7' &
& &* "0$ "0(
3' & "0 * 60 ( ; ; &0 * 0
& 0 & ( "0
3- &0 6 $ 60
& " ( * 4)' & * ( (
1

14. 2

15. 4"
,- & ./
,- & ./
,- & ./ -- &
&
,- &
494, 5 *
,- &
,- & / >
..
+ E 494,
494,
*
.
.
,- &
, #Q >
" # # - &
Q "
, #Q >
, # !
. * . *
?

16. ) * ' ! & + ) * '
! & > +
( ,+ - & 74 , +%1 5! -
./ +0,%12 + ./ +%1 3 !
& + +%1
( & +%1
7 ?4 * @ 3 !!
3
3 9! 0 3 0 0,%12 +0,%12
++ - 0,%12 +0,%12
- 22 ++
&& >> &&
+ - , :
8 &=
& +%1 & ! %& '
5! %
3 ! 5! &
+5! 6 +7 8 +%1 3 !
- 4*;
%& '
<& !!
<&
+%1 <& '
+%1 <& '
51 451
, ,
+%1
3 & 4*; +%1 +%1
&&
- * - * - *

17. + $)

18. D

19. H

23. )
35 * 00 * " ("
( "& ( 0 ( &
3 + &" " &" " *" & >
3: " ( ($ (
*
3 + &0 00 &0 > A >
00 ( & & $> > *
00 & &0 6 > &0
,- & &
3 <" ( 0& " " ( &
3. 0 & 494, > * * >
35 " ( & * 7
3 ,- & & ( ( 0 ( # & A
> * > & *
1

24. ! #)
3+ 00 ( , #( "& & 6 ( &0
00 > ( *
3 400 * > & > " > * "
( * &
3 ! &0 ( 00 > (( * @" F " ,<"
+<#G & ( * F ; ; + 4)G$ " <" '. * ( "
& "
34& " & ( @" (( >>
3 C "0 & "0( 0 ( "
& (
2

25. . "
3: ( : (5 * " & > & * (
( * &
3 07 >>>;>1 ; ; ;" 0 , #R4 R# " 6 &
6@" ; &
3 07 >>>; 0* " ; & 6& , #4 (. * ; &
3 07 >>>;( ( ; & 0 (" 6@"
3 07 00 ;* 0 ; & * 6
?

26. * # /
0 1 1