- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -   C O V E   t o o l   s u i t e   1 . 1   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -   
 
 T h i s   i s   v e r s i o n   1 . 1   o f   t h e   C O V E   t o o l   s u i t e   f o r   t h e   d e v e l o p m e n t   o f   s e l f - a d a p t i v e   
 s e r v i c e   b a s e d   s y s t e m s .   T h e   d i s t r i b u t i o n   c o n t a i n s   t h e   f o l l o w i n g   c o m p o n e n t s : 
 
 .   d e v T o o l s         -   C O V E   t o o l s   ( m o s t   d e v e l o p e r s   w i l l   n e e d   t o   u s e   o n l y   t h e s e   t o o l s ) 
     -   I P G e n           -   C O V E   p r o x y   g e n e r a t o r   t o o l   
     -   m o d e l G e n     -   C O V E   p r o b a b i l i s t i c   m o d e l   a n d   t e m p o r a l   l o g i c   p r o p e r t y   g e n e r a t o r   t o o l 
 .   e x a m p l e           -   S a m p l e   s e r v i c e - b a s e d   s y s t e m   m o d e l s 
 .   l i b r a r i e s       -   C o n t a i n s   t h e   I P S u p p o r t . j a r   C O V E   l i b r a r y 
 .   R E A D M E . t x t     -   T h i s   f i l e 
 .   l i c e n s e . t x t   -   L i c e n c e   f i l e 
 .   s r c                   -   S o u r c e   c o d e   f o r   t h e   C O V E   t o o l s   a n d   l i b r a r y 
 
 
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -   P r e r e q u i s i t e s   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -   
 
 C O V E   r e q u i r e s   t h a t   t h e   f o l l o w i n g   t h i r d - p a r t y   s o f t w a r e   l i b r a r i e s :   
 
 P l e a s e   n o t e   t h a t   t h e   v a r i a b l e   H O M E   i s   u s e d   t o   s p e c i f y   t h e   l o c a t i o n   w h e r e   y o u   u n c o m p r e s s e d   t h e   f i l e   C O V E _ s r c . z i p :   H O M E =   W H E R E - Y O U - U N C O M P R E S S E D - T H E - F I L E - C O V E - s r c . z i p 
 
 .   A n t ,   a v a i l a b l e   f r o m   h t t p : / / a n t . a p a c h e . o r g / b i n d o w n l o a d . c g i .   T h e   t o o l   s e t   w a s   t e s t e d   w i t h   v e r s i o n   2 . 0   o f   A n t .   P l e a s e   c a r r y   o u t   t h e   f o l l o w i n g   s t e p s : 
 
 	 1 .   c o p y   a n t   d i r e c t o r y   ( y o u   m a y   n e e d   t o   r e n a m e   t h e   d i r e c t o r y   a s   ' a n t ' )   t o   H O M E / C O V E / d e v T o o l / I P G e n /   
 
 	 2 .   C o p y   a n t / l i b / * . j a r   t o   t h e   d i r e c t o r y   H O M E / C O V E / d e v T o o l / I P G e n / I P G e n _ l i b 
 
 	 3 .   F o r   W i n d o w s ,   p l e a s e   s e t   t h e   f o l l o w i n g   s y s t e m   v a r i a b l e s : 
 	       .   A N T _ H O M E = H O M E \ C O V E \ d e v T o o l \ I P G e n \ a n t 
 	       .   C L A S S P A T H = % \ A N T _ H O M E 
 
 .   A x i s 2 ,   a v a i l a b l e   f r o m   h t t p : / / a x i s . a p a c h e . o r g / a x i s 2 / j a v a / c o r e / d o w n l o a d . c g i .   T h e   t o o l   s e t   w a s   t e s t e d   w i t h   v e r s i o n   2 . 0   o f   A x i s 2 .   P l e a s e   c a r r y   o u t   t h e   f o l l o w i n g   s t e p s : 
 	 
 	 1 .   c o p y   a x i s 2   d i r e c t o r y   ( y o u   m a y   n e e d   t o   r e n a m e   t h e   d i r e c t o r y   a s   ' a x i s 2 ' )   t o   H O M E / C O V E / d e v T o o l / I P G e n / 
 
 	 2 .   C o p y   a x i s 2 / a x i s 2 - 1 . 5 . 4 / l i b / * . j a r   t o   t h e   d i r e c t o r y   H O M E / C O V E / d e v T o o l / I P G e n / I P G e n _ l i b 
 
 	 3 .   C o p y   H O M E / C O V E / l i b r a r i e s / I P S u p p o r t . j a r   f i l e   t o   
                       H O M E / C O V E / d e v T o o l / I P G e n / a x i s 2 / a x i s 2 - 1 . 5 . 4 / l i b / 
 
 
 .   E a s y W S D L   -   w i t h   d e p e n d e n c i e s ,   a v a i l a b l e   f r o m   h t t p : / / e a s y w s d l . o w 2 . o r g / d o w n l o a d . h t m l .   T h e   t o o l   w a s   t e s t   w i t h   v e r s i o n   2 . 1   o f   E a s y W S D L .   P l e a s e   c a r r y   o u t   t h e   f o l l o w i n g   s t e p : 
 
 	 1 .   C o p y   a l l   t h e   j a r   f i l e s   t o   t h e   d i r e c t o r y   H O M E / C O V E / d e v T o o l / I P G e n / I P G e n _ l i b 
 
 
 .   l o g 4 j ,   a v a i l a b l e   f r o m   h t t p : / / l o g g i n g . a p a c h e . o r g / l o g 4 j / 1 . 2 / d o w n l o a d . h t m l .   T h e   t o o l   w a s   t e s t e d   w i t h   v e r s i o n   1 . 2 . 1 5   o f   l o g 4 j .   P l e a s e   a d d   t h e   j a r   
     f i l e   t o   H O M E / C O V E / d e v T o o l / I P G e n / I P G e n _ l i b 
 
 .   P R I S M   p r o b a b i l i s t i c   m o d e l   c h e c k e r ,   a v a i l a b l e   f r o m   h t t p : / / w w w . p r i s m m o d e l c h e c k e r . o r g / d o w n l o a d . p h p .   T h e   t o o l   w a s   t e s t e d   w i t h   v e r s i o n   4 . 1   o f   P R I S M   m o d e l   c h e c k e r .   
 
 .   P a p y r u s   U M L   m o d e l l i n g   t o o l ,   a v a i l a b l e   f r o m   h t t p : / / w w w . p a p y r u s u m l . o r g / s c r i p t s / h o m e / p u b l i g e n / c o n t e n t / t e m p l a t e s / s h o w . a s p ? P = 1 1 4 & L = E N & I T E M I D = 1 6 .   T h e   t o o l   w a s   t e s t e d   w i t h   
     V e r s i o n   1 . 1 2   i n s t a l l e d   o v e r   a n   e x i s t i n g   E c l i p s e   i n s t a l l a t i o n .   
 
 
 
 * * *   P l e a s e   n o t   t h a t   t h i s   t o o l   s e t   w a s   t e s t i n g   o n   a   s t a n d a r d   2 . 6 6   G H z   C o r e   2   D u o   M a c b o o k   P r o   C o m p u t e r .   