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!17q -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