Concurrent and Distributed Applications with ActoDeS

4 downloads 6673 Views 336KB Size Report
the goal of both simplifying the development of concurrent and distributed complex systems and guarantying an efficient execution of applications. ActoDes is ...
MATEC Web of Conferences 76, 04 043 (2016)

DOI: 10.1051/ matecconf/2016 760 4043

CSCC 2016

&RQFXUUHQWDQG'LVWULEXWHG$SSOLFDWLRQVZLWK$FWR'H6 )HGHULFR%HUJHQWL(OHRQRUD,RWWL$JRVWLQR3RJJLDQG0LFKHOH7RPDLXROR 1

DMI, University of Parma, 43124 Parma Italy DII, University of Parma, 43124 Parma Italy

2

$EVWUDFW                                                                         !      "   #        $!               

     

                   #    %   ! 

          #     

,QWURGXFWLRQ &                           '                   #                    (!          

           )     *                %   !                 )  )                          )  +,!-.  $                                   )                 /    '              +0. 1    !      

      2   "   #                            !  '       !        

                   !             (!           '  !       !   '

 !                      !                         !        

 "!                               #               

      #              0       

                3     

               

       4

   #            5 !    6                    

5HODWHG:RUN   '            

               7         +3.                  +4.     '        %                           '      ! 2     !     '     %     !            $! '  

            8   +6.                      7  %                   '

        (! 

                       8  "  #      $!              +9.    2 '        

              



     

 

© The Authors, published by EDP Sciences. This is an open access article distributed under the terms of the Creative Commons Attribution License 4.0 (http://creativecommons.org/licenses/by/4.0/).

MATEC Web of Conferences 76, 04 043 (2016)

DOI: 10.1051/ matecconf/2016 760 4043

CSCC 2016

       

    %   !                "      2         "  !                      +R.               '    !   

   *%     '    7 /             U    !                                 7   +V.        7                        

  '                 +,X.        2 '  

               '       ! 

           2         %                  +R. (!             7Y$              

         7Y$ 

                            !   !                             !                     [         

                      !     #     !       #      #     

                

         +,X! ,,.       

             !    #                   U                               !                   !                                                        

     

    %   !  

                 !  !       #  !     !  !      #  %    !       #                       !   #!           5  ,                  

$FWR'(6                                         #           #  

              7       #   7          

                          

            

                  

        #                      

              

            

                  

    

)LJXUH         

               !                      % 

 !                            !                 "                       !       "       \               

               

    !    ]  ^         7 Y   $  7Y$"                        !        %*         %   !   

                

$FWRUV %   

                              2 !         #       +0.  $!     !     !         &             #       Z!                   #           [  '   )            

2

MATEC Web of Conferences 76, 04 043 (2016)

DOI: 10.1051/ matecconf/2016 760 4043

CSCC 2016

$FWRU6SDFHV

 !                      #                       %   !             #                #                   %         !      )       #      #                 (!     

  "       #           

                           !   !                           ]^                      /                   !        " %            2  / !                                      

   Z !         U        !                 "       2                      !        $!           %  !                                 2      

           2                    !             % 

 !     

           !                        #      "                                                                 #               !              !             ''       )                 ! !    

         7!                      (!          2                 2 "      

     2   

        #    

                       !                  

             ]  ^                    #   %   !                                   #                    

               !                     "  5  -                    

   

)LJXUH      

                  

   #                               !                     !        "           "            

                      

    %   !        _       !               !        

                     

                   % 

 !                                   %  !         !                                                                     

                          #     ] ^           / !            

                ! 

 !                   %   !    7           #    ! 

3

MATEC Web of Conferences 76, 04 043 (2016)

DOI: 10.1051/ matecconf/2016 760 4043

CSCC 2016

       #                            ] ^      

              / !   

    )  #               

  %   !             

    ! #    ]      ^   !       !                         "  $!      #                                    

   "       #           !        ! #       !       "           #                           

      

          #  

  %   !               2    

      !            "  !               

      !       "  5 !              !   !                

     

                       

    %   !                            *%       

                       (!                  # '                           !           !          #                 '                                       !# !             #     $!     

      

         )                                      /         !                      %     '                 #       !            

 

       )   

     %                 

          %   !              

                             $`+,-.!7\$%+,0.!$%j+,3. k$` +,4.  $!      

                        !         #         #       #       )              %    !                    5 !      

            !          #  %       

                                               !        !           %   !                                                 q   

 !           7Y$  '  "    

         '  "     

                      

$SSOLFDWLRQFRQILJXUDWLRQ  )    #        

                                             #                    

   #           (!            !  #  U ) #   

   !                 

    $!          

                 !        !          "      )                   !  

                      "              "                   7Y$   

4

MATEC Web of Conferences 76, 04 043 (2016)

DOI: 10.1051/ matecconf/2016 760 4043

CSCC 2016

6FDODELOLW\DQGSHUIRUPDQFH

  5  3   #      

     ,XX  4X XXX       !

                   

            

                  U      #         

              %  & 9' 39,-(` '- 0Xw(U!,6 wx\$!q  ,X' 63 ! 7 R! R wx    U   #               !            "!    !            "!   !               #       )  )"!    '!

 !               

    " 

)LJXUH $ '#     5 !    

             '  

    %   !        )            )                [       ,XXX) '            5 4 #     

     ,XX  ,XX XXX      !      '    5               

    

)LJXUH $ #    

$Q([DPSOHRI$SSOLFDWLRQ /   #                        %          

                                %   !            ][ x^! ]* x^   ]5x^              [                       

               

    5 # ! 5  6    ]  U^           ][ x^         U                                          !         )    !                               

          ] ^         U  !                       Z  !       !  !     ]  ^          !  !  !

)LJXUH x #         

          ' '   #                 

                !   ,XXX                  5  0   #      

     ,XX  4X XXX     !                                        

                   

                          [        !  !     !       !     

5

MATEC Web of Conferences 76, 04 043 (2016)

DOI: 10.1051/ matecconf/2016 760 4043

CSCC 2016

   

   5 9   ] ^      

   

           $!   #     !                              

               /!    !

  !                                

                           [                      $!                                                   )                                                 !            %  !     

     $*  *1*[\j{  $*  $*  5   $5  &/j[j! %%    * """Z 

    U  x ! /2 +."|     x   % "+X.""Z   U "Z } 

    U  x "|      { x  "    "Z 

&{ "'~|        * "  &  ""  [ ""Z   !  /j["Z 

        U "{{       &   ""|    5x "Z } |    * x "Z } } 

   *1*[\j!"Z    8%zz*[\j!    &"Z }

                           

  Z                  

    Z                         

)LJXUH ][ x^            +."|      {,XXXZ    U {,XZ     {,XZ     {,XZ

$!      

                 

           %                                               #                             q     #                       

                     q                 ]   z j     &  ^ +-6.      !               !   !            "                            "                         !                           

       %  !                                 ! 

                     



&    {&  %jj&[  &    "Z 

      j ""Z 

    ,!%     j "!   ! U! ! "Z 

&  %jj&[  "Z }

)LJXUH 

   ] ^  

([SHULPHQWDWLRQ q #       #          

       !   !    '         x$" +,6.!           +,9!,R.!    '   +,V.        +-X.    '           

 ' '  +-,.!   +--.         +-0!-3.  %   !                         

              /                       '  )       U                 U +,9! -4.  j                          !      !           



6

MATEC Web of Conferences 76, 04 043 (2016)

DOI: 10.1051/ matecconf/2016 760 4043

CSCC 2016

&RQFOXVLRQV

4  &  Y   w    ! *               z!%w*zjj ! 06!  ,-!

-X' 03 -XX," 6     !  $ !8  %  '      7!  *    [&//* -XXR  /2 '/   *  &  ! x ! w !  !

,X3',-R -XXR" 9  *  (!   $  /!       '    '  !  &    ! 3,X!  -'0!

 -X---X -XXV" R    -X,6"!   !     __   V  $  \  -X,6"! 7          __  _2  _  ,X  7  !   Y  & !   $ #!   ‚(     q   $ !   '  

    ! *  [&//* -XX6  /2 '/   *  &  ! x !w !  !

-0X'-43 -XX6" ,,  $    $ ! [        7   ! &     !   w &  !x !w !  !

,V4'--V -XX4" ,-  x  ! x   \  ! $`    !q   !j7!1!$  -XX," ,0  [ *  8 $j !7   \ $  %    w ! x  ! $! 1!   ' q -XX," ,3      5    -X,6"!   $  5!  __     ,4  *  ( 2 ! k$` $   $  

   !  !&!1!/ƒ\ !-X,0  ,6   * !         $! *   ,6  q    5 /2     q/ -X,4"! j Z % !

 V,'V6 -X,4" ,9  5  x ! [  5       * !  '

          ! &       $   / U   ! ,V!  -!

,X4',-9 -X,0" ,R  [ 5  ! *  $  !/             ! %     7   '&  !   V!   0!

 4X'6R -X,0" ,V    j !   * ! $   !   *   !  'x 

   ! 4 % 7  &            $ '   ! ( ! 7   &$!

 VX9'V,3 -XX6" -X  5 x !  *   '

           #  &&q  !  *                   ! &$!

 -69' -6R &$ -XXX" -,    * !   $   !  ('  '            !  j&      %   5      \  ! x ! w    !

 ,V9' -,0 -X,0"

                                     

           #                       #                7            &[ +-9.                              $!                 7[ +-R.                 8  +6.!+9. 7   +V.         

              !        

           #       $!                    

      

             

       '   %  !                         #

          

                                      $!                            &                " #    #          !

"                  x$    '  

   !  

" #              %   !                                  

                  U   +-V! 0X.                   #  +0,!0-. 

5HIHUHQFHV ,  &  z ! *        &    $!*  

!j !j!17 q €  -XX," -  $  * 

 !       2 '     ! &   *    [#   ! ,-!  ,X!

V,9'VRX -XXX" 0  w    !    $  &   &            ! & ! $!1$%* ,VR6" 3  \  8  8 !       w    !      7Y$         ! *  9 %    &     * 

   *   *   7! &! !& !

,,'-X -XXV"

7

MATEC Web of Conferences 76, 04 043 (2016)

DOI: 10.1051/ matecconf/2016 760 4043

CSCC 2016

--  5  x !   * !z[* 5%*           ! %      Y%%% x !w !  !

306'336 -XX," -0  5  x !     * ! 1 )  %     ! %     7    &   %    !Y ,,!j 0'3!

-0,'-33! -XX-" -3    * ! (    5   \ U    *  

   ! q[     &  ! ,X!  V!

,,3V' ,,4V -X,X" -4  5  x ! [  5  ! [!     * !      '         !  *  0        j    $     j$ƒ,,"! !18!

-9'0- -X,," -6     1   -X,6"! j*    z j     &  !     __     _ _ #    -9  5 x ! * ! $  !   x   5   

   !  %          &    ! x ! w    !

 -6'04 -X,3" -R    * ! $   !   *   ! [#    7[      

   !  [      %     &  [   !$ !%  %[[[&    !

04-'049 -XX3" -V    * ! $      w  Y   !    %       $    $ '  !     [    ! 

    (&%   ['&! zj&!   0499!   ! x !w !

,6-',9V -XX4" 0X  5 x !  * !  '

           #  &&q  !  *  3  %     &         ! x !   ! &$!

 -69'-6R -XXX" 0,  $   ! *   ! 5  x      * !     

       !   '/  %    %%%!zj&!  04-V!  !x !w !

,3X',40 -XX6" 0-    * !      

     /0z!q[   &  !!R!   R!

,-R6',-V4 -XXV"

8

Suggest Documents