Adapting Components and Predicting Architectural Properties with ...

    

       
 
   


       

 
    


  



 ½ !  
"# $  % %&   
% "
"' %" #"

( )  
' % 
  
"

  #"* 
' % #   * %"
 % 
&   #"*
*   ) 
' % "' %"#"

+   ", " #'" " %  % 
%  "' %" #"

 * # "
 , "  %

   %"*+   * # "
 " *"
"  " $ '"

* #" * $   %"#"

 * "# 
*
%+ !  ", ", #  * %"
 % %
$ * " 

%     $ "' "',  %"#"

 
"',  % % + -"$

 #  * %"
 %      

#   * %"
 % *%$
   #"# "' %"#"

 $ + ! #
 " %""
%"

%"
  , % %
$ * " %"
% * '" "%  %"#"

 #"# " "$  % %   #"#+
 

      


    
   
 

    
       !" #$ 
 
 # % "     
        % %
&' '
 (
$   
 )  
 '
     
%   
    %   


  
      %   %


#$  & ' *' +' , - 
    
   
 # 

%    
        


#$ 

 
 

 $  
 %%#
   
   .   &  

   ' ' + 

&
   
   %
  '    #   

#


$ 

 %    
   .      &   

   & /'
  $
  "
     $' 
&
  

%

   
$  

    
 

  
  . 
 
   

 0)1        2  

   

%  
 '     3  #$
  
  ( %  
 '  2
    (  #$
  
   
$        
 
   
   ½   # # 
.
"
"' /01+

4       

   

      

% 
 

  
 # "5
      2        

   #    $

$  "
#  

        
#        
 
    
 $'     
   
    

   
   #
 $ 

   $  # "'  
  
 

      $

   
   ' #


  
 
            
 
 

$  
 

#  6 
 7 ! 
     
  

    ( 
  %&  

#   


#$ 
5        

  
 
   #$     $ '    '

 &'  '
 8       



   (  #$
  



#9 8  



   
     " 2
$     

 9    
' 

 2     
 2     
$
 #  
 2
 $
    
'      

     
    - 
   



   #$   
    :     

 
    

    #
 $ 

%      $   
 % 
 

  (
$
 #  
  
 ( 
 
& (    %  #   
     
  

  

   
   
   

 
 

# 

  
 

 

  

 
'
 "  #$ .$ , 6  

  
    
  ; 

%
 ( %   
'  

        "  2 <       
   
$    #
&%# 2%         
    
   $'        

 $    
   
 

$ 


  &  


       
 $         8        & # 
  

%   '  
   
  

  

    % 
     
 $
      :     

  






    


     *    

  

  
  2
   3 %     
      /      



  
        
#  
 #  %           
$  #  

  
  %

      
 #  
         

    #
   #
   

  

# 

     

      
#$      ; 

  -  + 
   

  

  


   

 
    

    #
 $ 

    
 (  

          
                 

  
   
 
  
#       
     ' 
   
   
    
    

   

  
$ 
      6    # 

   

  ' 


 
%   '  
 
          

$    3   
    

 2        
  ; 2 6     
   
 
  '  
$
 
  3      ;


  = 
$'    
$   0-> 


   
   
   
     
 


  
  3  

 5 
 -%
 
   %
 

      
   
 ' /' 8?    2 

 '    3    
 
  &   


%   

 # 
 



 
   #$
 
  
    



 Æ   (  '       % 

# 
  ' 
 $   


   ' 
 



    # 
    



 
 
 %

 



 
 
          




   
  
 

    2   $%     
     $   Æ  ' #
   $ 

  
     %


 
 

   
 


   
#     

  % 
   
'          ( %  
 
      
   3
  
$'
    
'          

%  
 
   

  3  
 (  
$         
 $  
 


  

$ %

 
       
 $
  

            

 

$ 
   
      '   



 3     ; 
#$    
' 
 
    
 !" #$  #
 
     
 

% 
 $ 
#   


;  
$  ' 

  %   '  
     
$
   3    



      '       "   (  
$

#     ;  
$
          
'
    
$    


  ;


#$   
'   
    

    (      

          # # '   %   #   
#' 
$   
      
  
      @ 2
' 
  $ 
   
  



      $       
$  
 $ 
    '    #  $ 
# #
    
  &   %      '  $         &    '   ( 
 &    

   
    '
 
   
&   $  
   -    ; 

$   
       



  A  $  '    $ 
  


  % 
$     (      

 

$ 
$

(    2
    
   

 

$ 4 #  $ " %
         0  $ 
  

 2
   ' $  

  
$   
$   
    $   
    
 @ 

' $
  $  " '   
#
 

      

   

 % 
      

$% %

#
 #
    
 
 

%
 ( %  
 
    2      3
  
$'   
  "   

%  

   
% '    
$  $  '
     

$ ( 
  
$'     "   ( %  
  ' 
  ' 

     
$'       ( 


   #$
$'    
$'         % ( '  

  (  
$ @      2  $'     
  
  '

       2  $%   &   
 
 

 #$ 

  
           !      

 


#$  & #    
  B 

C 
 

 
    0 
 
    "'      % 
   
  "      

    %


#$  &'   &    

      #$   


3 
  
$ 2     &     ; ( %   
     
; 

   
       "      &  ' "     

 
  3
      

%  
      '  


#$  & 

#




 5
   "   $  4  

 
    

   
 
 ( ' 

  ' 
      "     

  
"              

6  


#$   &  ( %  
 
  

   

%  
 
     ' 

  
  &  

%  
        ( %   
     %       8
 :  "   

 
 ,   A     # 

%
 ( %  
 

 
'   
 

$          '
 
   %

  
  
  2   
   
 Component Provides-interface of the component

3

Requires-interface of the component Provides-interface of the environment

2 1

Environment

   2
"# $ % %& 
* 3) #  * -"
 % 
* 4"*#  * -"
 % 5

  &   

  
 

%

  
 
  

%  
 
( %   


( %

  
 
  ( %  
 


%   
   
$  & ' 

  



     #      
     
      
  ( %

  
 
&

   ( %  
     
  

%  
    

   ' 

%   

    
  #   
     
   
      4   
 
#  
 

$

     0 


    

  

#     :      
   ( %  

   

    %  
  #   
$    (  #$    
 

 #$   

    
   
 

( %

  
    

%  
   %    0
  $'


 %  
    ( %  


        
     
  ( %  
       

 $
 $ :    

  
     ; A  $       
   
 

  

  % 
 

%

  

     
 $ 0  

  
   
$
   
  "  

"   


    
  $'    
 
 

(   
$ @
 

    
   
$ $ 
$    2 
 

%

  
 
#   #
   
$     
  

   2  &   ( %

  

    
       2  $ 
 
2  $   #  "  
   '
2  $
     #  
 #$
2%        (   
     
$           
    

       @


  
% 
 $
   ( %

  

#

  %    #
  
% 
 $    % 
  & '    
$
  
3      
 

  



#
 '      
% "   
   1&   0)1' 

  
 $   2%   

  

%
 ( %  
 @ 

' 

  

#

  % 
 

$ 

    
 ' #
      % '   
      2  $
  % '  
 $ 
  1& 

 % 
' 

  

#
 
#  3    
  '  
  '  ' #! 
    4 

  
 
$ 

    
$      0$  

  
   
    
' 
    
     
   $

$   
   # 

 @ 

 
     
' 
  


    
   
 



  #   


  

'  
 
# #$ 

  
 .   
$' 

  
 A   
' 
  

 


  
 # 
  
$

# $ "2
 #      .   '    

   

$     " 2'       $   @ 2
'    #
  
  
 #   #$   "2 #    ' #
     $      #
 
 

     $   

  
' -' 

 -
$'  
#$


      
#$    

  @     

$   


 (     
%


  
 
$  
&   >' 
  %
  
 

 %  
( %

  

 

%   

%  
    

0   ' 

  

   
 "   
         

  

  
 
   %


   
  

   
     

    
 '    "  
 
  0
2
' 

%
 %
     
 

$ 
    ' #
 3  
$           '  $  
 
#


$ 

  "  "  % 
  $  
  
 3   
& 2'   '
     
 
  

    
&     $%  "    5
 
       
$ 3  #$
  
    

%  
     ' '  '  '   '
  
   
!    ' & 
 ' 
  '   





 
$        '   

 
 
( %

  
 
   

%  
       
    0
$  
 %'   

#        % 
    ;   
'  

  

 (      ;    +' D      
 (    

 

  
        

 

 



 "  8'    
  (    
 

 
"  
 
   
 '   
 
 % P-FSM

VideoMail

1

volume_up/- volume_down/brightness_up/- brightness_down/contrast_up/- contrast_down/speed_up/- speed_down/2

play/-

play/-

4

stop/-

P-FSM VideoMail x VideoPlayer brightness_up, brightness_down, contrast_up, contrast_down, speed_up, speed_down

3

pause/-

play

stop

play

pause

brightness_up/- brightness_down/contrast_up/- contrast_down/speed_up/- speed_down/save_to_file/-

(unrestricted)

(restricted)

     #"* #""%" "'   
 %"#"

+
%* "
' %"
" #%6%   %"
. $ ) #  * %"
 %  

(      "  2 ' 
 (     % $ 
    - 

  

( %

  
      
$ 

 
 "  2   

      "  
 
   "  8   <  
     

   
  
$ 
  
  2 #  
  '  
 


#$          
 

  

  
      &
 #   
   #  8 
  
    "  
 
  : 2  
  
  
     
 




  

   
  
 & 
&'  
 #   2
$  "  
 
 

!                

   (      

      

 
 %    

    #
 $ 

 ' 
#  

  
  A   #
 
#$     0
 #%  ' 

  

 %   # 

   

 % 
    '  


  
 
&  2  
  # 

%
 (    
 2  6 
        

    
  # "  

             '    &   #        


  


   '  ( '    #  

  


    

$' 
  #
  

  
  




  
    # 
#$   %        
   ' 
  #
  

  
  A   
$      
 ' 
 
 
 5 ' %
%" :' +' 
 % & '  %
%  '   A;B

A + B

A

β

A B B

   -"$
"
 "' #  * %"
 %7 ) 
 "
'
* 
"
Sequentation

Alternation

 

  
$  #    
 
       
 # #      
  
  
      

%        $   '  2
 # 


 @ #  #
     

   #
   

  % 
 2 @       #  

  
 #$ ( 
 "  : '  #     

  

 #  #$

 "  :   4  &   #
   

  
 
   " 

 5  

   
   ( 
 

  
    # 

 
 

   
      4 
#    
; 

   
      ; (    
 $ 0
  $'  (    


  ( 
       # 

 
 (    


   
 4 
# 
& '     (  $
  # 
; (    
  
'


 

  % 
      

  
       '     
   
$       ; 

   



(    
    
#    #  3   %  0 


  
      
      : -( 




   $       
% #      #
  

  
 6 

& 


 

  
      
   #$  
       '   $ 


  #        

 

    
#   
 $ 



# 
 #$ 
 
 $'  
  "  
   
    
 $ 


 

  & 
 
#   
 & / "   

6    

  


 

   


#$  & #    ' 

 
     0$  

  
   
   
     


     
 

$'         ; 

% ( %   
  #
  

  
    #
 
    


  

%  

  ( %  
 
  
   
5 0     3   
$    

  %   
  
$     (   


 


  
$ 0 '
    (    
$'  
 3   
$        #  #$     '   
    ; 
#$      ; 

%  
 

  ( %  

    
   &
 #
  ; 

%
 ( %  
   %    

     
   - 

$ 

  
   
 %%#
   
' #
  

 %#
   
' &  
   2
 @   &  #         
 #
 

 

  
 #$  ( 



      
 
  & # %# #
     

 
    

    #

 
 

   
   5 
      

   

#      
  


  '
 #  

   


  #
 $ 

  @ 2
'  
& 
#     #
  

      Æ    

#           ' #
   #  ' 
 
 &       
 

$
$   

    $   


 $ ' D
 

     ('


 
   #
 

 $

$  
 4E % 0 

8  %