Design, Use and Implementation of SPELL, a language for software ...

 
 

 
  
 

 
   
  
 

     
  

   


 




 

    
  


     

 



  
    

 
  
  !    
 "#$    
 

  


 
       
  

 



   !

  
 
%








 & 



   
 
    ' ( ) 
   

  
 ' 

)  (  
     
*  

  

 
  ! 
 



 *  

 




      

 
    

 
  
 ! 

 


    
 
"

   #


  $
%&
   
   
 
  '
 
 
    &(
 !

 )) 
* #
''
  '

 "  &(
 !

 '
 
 
 '
 
'
 
  '
 
 #
  
  ''
   + 
  ,  
 
 
'   
&
 

-

     
 
 
* 
  . 
&
 "  '  
") *

  




 
  
  / 

%'
  '
 &
 
  "  
  0 
&



" '

  + 
'

     
 

  
  1

    '
 
      
 

-

   ''
 
  

 '
 


 
  
+
 

 & 
 
  
&

 
 

  
 '& 
    
   '
 &
!  
 
 
 
+

 
 
 

 
$
 
  
&
   && '

     &
 &
2 3405 
 
  ''   
   

 

     
   &


 
!

     

      
 
!
6
 
'   &


 &
       & 
  
%
 '     



  
  
 
  &
+ 
%
 &

    * 
 
%'
 &  '
 

   
 #
 &
    
       

+ ¯ 7
' 
 
8 
!&
   9" 2:;4==, 
 . &
   
  ! 
   
6
 !'
6 '
  "  '


 &  # 8"   
A
'

 



 ")73 .  &!  
 
    "  #    '
 '
!

&
  '
!'

   '
!
6


 
 '
  
*    
6
    
 #*
%
  

  
"%
  
  
* 
* !      

 
% 
      
 ,  . 



H" I
 A

'*
 / . 



  '   
 
   ''!

     
 * 
* ' &  D
 E 
  
! '   D E 
'


  

     

 
  '
 
 &


 #$/ 0* &!  1

 2 ! 3 

") &
 
'
A 
    
   &    

! 
 * 
* #   
 ' 
 '
  $
%&
&
 !   * #* 
'

 
!
  '& !
    
 
'

 '& 

 & 
 
'

 6
!
  
    
 #
 & 
   


%

'
  &(
 !

 
  
 
 
 #
   


!

  

 
  
  
!

  
   
  #




%
      &   ") '
 
+ J      & & '   
 '(
 '
 K 
 
    
&
  J !


  
'(
  
 &


 '(
  J 
  
 8 
 &  & 
  #$# !"" * **'   &! "    *

&!'&&1

"   &(
 !


%
  

 77  7  &



 
&
*   

  #
")    
      " 
'
!
6
 '
  
! '
   &


  

 & '
!

   # &
   
&

&(
 !

 "
%
    '

 
 '
!

 ''
 
  
 
  A 
!  '
!

   
'
6
     
  
 '
   

%'
 #


'
!
6
  
  
 & '
 
 

  


* '
 ' '

 
'
 
 I "  &%    ' 
     !   &


  &
 ''     
&

 
6
K &   

 

 #
& 7   
 

!   '

 C


    
 7  
''  '   &(
 !

 
* C
 

 '
!

 '

   
 

   
  "
%'
  '

   
  

 '
   ;
>  
 %   &

%'
K   
 
 #
     '

 


 C

 
! 

   
 0 



4005 05 

     2
 3
  

4 5  6 8 5  6

7 7

 

 ' "5" # 5 # .& 1) 6 9 '   

) 6




856 

 

  6    6 &:+   6   (
 6     
 ;
<  
7

2  '

 )

  




 
3  
    



 

  

 & & ' 
 

6
    *  '

&  &


6
 &   

 &
 &
 
! *

 A

 

 '

  
   '
 
! L )&

  
    
'

  &

 
6
  
 & '
  '
   
 
   &
!
%
 *'
 #
 
   &
    )! ) '

 #

!


 
   
 &   &

&
 

2 =>5 A ;
>
     &
 

 &   
 #  &

  

 
 
 
"%
  
  



  "!)7A#A)    * 

 
  
 />

#



&
   &
    
  '

&
  
 #A) &
    
  )7 '  
  
' 
 & * '
 '
 
 

   &

6
 & 


 
 M   

6   
 
 7 (   

 A" 
  N  !1 
"H"I#) '
!

 

&

  D&E )!   &
 *


4005 3  2) 

      2

     3  


'   3
 4
!)5   
  
  '4
!)  ' )5 
5  

   



 

  6    6 &:+  6 
') 2 & 
   
      

 Æ!  6 =.1=   2

  
  3




2 4


 )     #
)!  


 

'


 & '


 &(
  

'
+ #
    ! D
%
 '

E 
!  
 
 *
 &
  * 
  )!   &

%'

    &(
 !

 '

  ' '
 #  &


 &
  &

 & 

 '
  &


 

! '

  '
 

 & 
 ) 
'  

  D+> 
 'E &


     )!  

   )!  #  
 &


 &   '

 
  &
  '
 
  " 
 
  

%  
 
 G

  '   &
'
   
 
 '  #  G

 

 D  E  &

6
   '''
;)    )     ' 


   
  
& * , EE   
 G
  
;)   
 
     & 

&


 
 &
& '
 6$6        


  


  
      

 &  , '
 (
  
'
 * '
   &
  #
   
!
 '
     &



 " 

 
 &


 '
     

 &  
 &
* '
 2 =>5  &'(
  
   D

E  
'
'(
 


'

  
   
   
 & & ' #


'   &!
  

 
  &

 # ")  '
 & 
     *

&
    ! 
    
   



 
 ( 

 A   B :"+,&    
 C

 ,    
 & '

'

' 
'
   '(
   
 
'     &'(
  #
'(
 !   
 
  +  
  
$  
 

 ")73      
'    *'
  A  &
''


 & 

   &

      '& 
 %
  $  
 
  * '
 
%'
 * '

  *
'
 '(
 !'
 


&
     
     
+ '
6   

 )!      6
&
 
 $ 
  
  &
    -
(.  
** '
     
      
 F   A# 

   8$% 0* !"" 


 1  


# 
'

 *  ' 
 

! '

  
%

  

 
!& '
 
       
   
 


   
  


! '
       
6



 

&
  
    



'
''
 
      
  ' 
 '
 #'
!

 '

  '
!

 

&

6   
  
&

  
  
'
    B

 
  * 

!

'
'
 

 '
   * 

 
      
'

   
'
 


 
%'
  6
0> #* '
  
6


&
     
  
& '

!   
&
  
  .. A   &     *  
6
&
  ''

 
 '

  
 #



'


  !  
  
'
&(
  
     
'
 
  


  
'
 '''

  
'
!

 

&
  

    
!

 

 
 

        

&
 

'


  !  
   /    & '
 / 
'
!

 

&
  * ;)   7") )A#A)  "H! "I#) 
''
     
  
  8$/ 0* !"" 



2   

#

  & 
   '

 
   

&
  '
! 

 &
 '

+    #*0 *0  1(0 
( 0  ( $

   
  
'  * #
"%
  
  ' 


*

type with metatype info Instance Id Tid

Type TaskTD

Type Name TaskEntity

Instance

Attributes

instances Instance Id Id1

Type TaskEntity

Attributes Values taskstate: created

TaskState

Instance Procedures i_convert ...

Type

Attributes

formals pre_static code ...

Type

Instance Id Id2

Type TaskEntity

Attributes Values taskstate: active

Procedures

t_create t_change ...

 * +
  
      

C
  '
!

 '

  *
 *  ' 
  ' '! 

   
   '

 6
 

   
!

 '

 *    
    

 6
 ; 
  
!

 

&
 
 7 '

 

  '

'

 
 '
!

 

&
 

 
 
  '

 
+    #*0 *0  % &0 /1(0 /2$ #
'

    
   *
   
  

!



 

  '

  

&
 8$#   




 


#
") & 
  "   %

 *  
'
  #
" 
 
D 
E * '
!''
 
  "F)7"F)#  *

    
 -

 &
*  
&

!
 
  !   

 #
"  
'&
  * 

  
%
   
!
%
  
' 


 &   ' 

 * 
*  
 
  
 &
 
 

 #

 *   *

&
   '
!
'       
   '
    (  
 A G
 
  !  
       
   '  
   
& (& 
'   * 
 #



 '  
 


 
"  

%
  A   

 G
 
!' 
    

 8
%
  
 
 
  &
  
    "!  )#!   *

'
 A ''
  
  ' B
 '  '
 & ' 
"  

+ 
 
" 

  *  
'  )7"   

  
'
 *     7") )A#A) 

&
 #

  *


   
 
    

)#!   
'
 *  
  
* 
 
'
 R 7") )A#A)  

& * ' A  
 &  &'  


)#!    

 
 '  
'
 R    
 ' #



 '  &
 '  

 * 
* 
&
'
 '
  
'&
 
  #

   &
 *
    '

 
%'
  
   '

   '

      '
!'
6 * (  '


 
'
 # * (  '

 
  *


    
 
'
'
 * 

%' 
   '   
*
 *  


    
 #


 '
 *  &


 & 

  

   '


  ..

8$6 0*  



A     &  " #   
 
" "   3
   
  
 '
&   
  # 
 
   
!'
  #
'
!

 '

       
 

6
 &   
 
  
 '
  
  &


6
 


 & '
 

  

  
 & '
& 

6 '


 

&
  8

6 '

 A  &

   



" # 8"    '
!'
6 '
  
  '
!

 

&

 
 * '
 )&

'
  &


 &   
 


  &  


'
  & 
  
 #
 
 '

'
  '

6    
 &
!



  
 '

 #
 
 ' 
   
!

 

&
   
& '
  
 


 
 B





  '&    
'

%   
 &  
 #
 
 

 !'
6 
   
    &


  

 )7"   "8)#!)7A#A) ;)    '

 



     
 &
'
! 
 #
 
 



'   
   
*   6
 '

6  


  

   
 

  ) 2:

4=5  *  &


   
     
 #

  
 
  
'
  

 
'

 &

 
& & '  &
 A  

6   '
!

 ''
 
  '
!
6
 '
 
 
-
  #  
 

 
 
 


6    ''
 


!     " # $ "  
%
   
 ")  2)C =>5  &(
 !

 ' 
' 
   '  

 C
 
  & '

%
! &  '

  '  '
  & 
&
'
!''
 

%' 
! '
  
   8
 
%
&   ) 
 3 &
  
"     



   
'     &


 *  
S ; 
  


  '
 ")  
   
%  &(
 !

 
   )  *  TTS C


(

 




 
 &


 '! '   
  '

    ' 
 ' 


*  '  
-
'
!

 
    &
  &
-

   
 


   ! 
 A ' 
 $
%&

'
   

 CA!   

 

  
 &

    6   
!   
!
G
  ")   


&

  
 
 * "  
 * )     
 %

+ ) 
%
 
  '

 
 & 0 @@@  
 
%   


  


!'

    C
 

  

' &



 
   
 &  !

  S

  

 
 

 & '  '' 

    

     




&
 '
 
 

%  .$,/D1 .4 I/1 .4,/D1


 $( E(     8
 ,
&F5 &  
 
 
 #
 



   
     

        DG/ADH0 "
 D//D + 4
   # 
 J " 
  
    , D/I/ &
 #4 + I%I/ K :DL &I/00L $ IFG/GGMFFI K " + HL DH  

 + 4
  4 4 , 4

  
  8
(   "5 #    
  + 
 &  E & $ (
   & N 
 
 

    !
  
 "  
   #   
$ %& $ '
 $ (
% !)* %   MHGAM/F  4 L/I

 O GHI   D//D .4"8/D1 + 4
   " 
  P 8   4    
 


,  "   
  + 
 + ,-
"  ." -    
 .
    -..
 Q'G)5FHGAFIL   D//D .4& /D1 + 4
 & (   &  &  4  ,** E  "
  , * E , 
    $  ,   +  " , +R   #  '#+&: OM 0) #  D//D + G & D//F FFL  " + DLG .#-/01 8
  #  O
( -  , 
 


   
 ,,&4 
 /  0 12' %$.-$   & .:P/F1


 3#".$   #
 $  
#  " 
   0 4( ( 3   D/MAF0G # D//0

 P :  8  P  
 


#
  5 4
  #3
  E  D//F DF  '
  
) .-,,/D1 4
-** # ,
  ,
   , ** & 3 P    ,

  4    '
     
  + 
 + DH'F)5DQ0ADHM :  D//D .EP"/01  ,  
 E  # P  
 "    4
  
 , 4  


4 
 
 /  0 12' %$.-$    
 3#".$   #
 & $  
#  " 
   0 4( ( 3  

F0QAFDH # D//0

.E4/F1 .JI/1 .J:IH1 . I/1

, * E E "
   + 4
 
 
 

,
  
 
  " 
  /  
 "

 
     
  + 
 +   5  "+  + 
 + .
 "% E  D//F DM  
  J 167&1
 
+
$$ +  $$ 4. &
A

8  D/I/ FQQ  -  J    P : & & 
  &

    
 #
 
    "  
     
  + 
 +  
%   DI0ADII & D/IH '
 ,&+O) &     4 " O 
   
  #   "
2 '% 8
 9   
 " 
:.    
  ;+-
  +$ 
   <  9*&9= 1 > => .   0 12'   
  + 
 + ( / =  GQA

QG
 D/I/ , ,    & $
+
$ #"- ?
   &


  + & 

 GMI   D/IG .,8/01 , 8    P 8 

 2
  
&

.$IG1

 "  
   %$ 3#".$   #
 $    2
 ? 32 > & % > 
"  

 , D//0    

.
/01 .8I/1

FLD  " , -
 167 
#@3 " & A- 
 
$   D//0 $ 8
   F G 
5 


,
    
   
 
    9B . , D/I/