Levels of Abstraction for Behavior Modeling in the

International Journal of E-Health and Medical Communication 2012 DOI: 10.4018/jehmc.2012070102, pp. 12-28

!"#"$%&'(&)*%+,-.+/'0&(',&1"2-#/',&3'4"$/05& /0&+2"&6",7'8"&9,':".+ !"#$"%&'()'*+',%-./0,%-1*2$1%.3+1*2+45#1%12%/136*+5#1%7#%082+(1*2,%9$"*31%"*7%!.:.,%;+"$?1+@@1%A*+B1$?+2C,%9$"*31 >"$3%!1%D'3,%!.:.,%;+"$?1+@@1%A*+B1$?+2C,%9$"*31 ;@"+*%;*E'??',%-./0,%-1*2$1%.3+1*2+45#1%12%/136*+5#1%7#%082+(1*2,%9$"*31 F$+3%&"?3#"@,%-./0,%-1*2$1%.3+1*2+45#1%12%/136*+5#1%7#%082+(1*2,%9$"*31 !"#$%!&$ !"#$%$%&'()*$+$*,'-./"01'$%'.2/"2'*.'-.%$*.2'34-(%'5"3(+$.2'$%'1-(2*'"%+$2.%-"%*1'$1'.%"'.#'*3"' -(6.2'$114"1'(*'*3"'-.-"%*'.#'54$0/$%&'1,1*"-1'.#'()*$+$*,'147"2+$1$.%'#.2'/$(&%.1$18'72"/$)*$.%' (%/').%*2.09'':.2'*3"'7427.1"'.#'(//2"11$%&'*3$1'72.50"-8'*3$1'7(7"2''72.7.1"1'('&"%"2(0' *3".2"*$)(0'(772.()3'5(1"/'.%'*3"'41"'.#'(';%."36+*1%!1"$*+*H,%/+(17%I"2"%>+*+*H, % J*'K@17H1%F*H+*11$+*HL '($%)*+&$')( B'1-(2*'"%+$2.%-"%*'C+?%"M@1%2'%"35#+$1%"*7%"))@C%N*'K@17H1%"M'#2%"*%1*B+$'*(1*2%"*7%"@?'%2' % "7")2%2'%+2?%+*6"M+2"*2?%+*%'$71$%2'%+()$'B1%261+$%1$%$%&'#.2'?"(2%$%&'72.)"11' E@A>e?M'(2"'72"1"%*"/'$%'.2/"2'*.'/"1)2$5"'('G%."BG'(1%7"2"%R-''N%S%"@L,%QTTUV

]%'*3"'>(+O.-"'72.6")*'ES.4%&50../'H'F..G8'IJJTM8'.%)"'(&($%8'*32""'0"+"01'.#'(51*2()*$.%'(2"' 72.7.1"/'E/$1)2"*"'"+"%*1').-$%&'#2.-'1"%1.218'"+"%*'1"^4"%)"'(%/'()*$+$*,M'(%/'*3"'-.+"'#2.-' (%'(51*2()*$.%'0"+"0'*.'*3"'.*3"2'$1'5(1"/'.%'-./"01'*3(*'(2"'72./4)"/'41$%&'('72.)"11'.#' ;%.M'$%'.2/"2'*.'(/(7*'*.')3(%&"1'$%'*3"' 5"3(+$.2'7(**"2%19 B00'.#'*3"1"'(772.()3"1'$%)04/"'*3"'$/"('.#'3$"2(2)3$)(0'(51*2()*$.%8'(%/'/"a%"'*32""'0"+"01'.#' (51*2()*$.%'E@(50"'\Mg'/$1)2"*"'"+"%*18'1"^4"%)"'.#'/$1)2"*"'"+"%*1'(%/'('*(N.%.-$)')0(11$a)(*$.%' (*'*3"'3$&3"1*'0"+"09'Q4*'*3"1"'/"a%$*$.%1'/"7"%/'-($%0,'.%'*3"'*")3%$^4"1'41"/'*.'54$0/'-./"01' #.2'()*$+$*,'2").&%$*$.%9 k"'72.7.1"'*3"%'('&"%"2(0'7(2(/$&-'*.'/"a%"'(').%)"7*4(0'%.*$.%'.#'34-(%'()*$+$*,'./"0$%&'#.2'!$(&%.1$1'-"*3./.0.&,' E@A>e!M'Eh.-7.%$.'H'?"'b.)8'IJ\JM8'E?"'b.)'H'"@98'IJJPM8'E?"'b.)'H'>(11"8'IJJTM'(%/'*3"' -()3$%"'0"(2%$%&'72.)"11')(00"/'@$-"/'A51"2+(*$.%1'>$%$%&':.2'?"(2%$%&'E@A>e?M'EQ"%(,(/$8' IJ\JM8'E?"'b.)'H'Q"%(,(/$8'IJJPM9'Q.*3'@A>e!'(%/'@A>e?').-"'#2.-'*3"'-(*3"-(*$)(0' @3".2,'.#'@$-"/'A51"2+(*$.%1'E?"'b.)8'IJJRM'(2G.+'F3($%'@3".2,8'*3"'h.$11.%'h2.)"11' @3".2,8'*3"'Y3(%%.%_1'F.--4%$)(*$.%'@3".2,'EY3(%%.%8'\WePM'(%/'*3"'?.&$)(0'@3".2,'.#' !$(&%.1$1'EV"$*"28'\WPTM9'@3"'72$%)$7(0').%)"7*1'.#'*3$1'*3".2,'(2"'&$+"%'5,'*3"'%.*$.%'.#'*$-"/' .51"2+(*$.%'(%/'.51"2+(*$.%')0(11'*%)?% @4&% :;'71@%R*="$C%$1@"2+'*?V%"??'3+"217%K+26%"32+B+2C%;O Y$&%(*42"']!'E-./"0'>JM

B)*$+$*,

?"+"0'J

A51"2+(*$.%'F0(11"1

B51*2()*'F0(11

?"+"0'J

?"+"0'\

K8'R8'IK8'eW8'KJ

B\

\JIL8'\JLK8'\JIe

\\\

I8'L8'T8'W8'\I8'\L8'\e8'\K8'\T

BI

\JJL8'\JJe8'\J\T8'\J\P8'\JIe

\\I

J8'e8'P8'\T8'Ie8'IR8'IT8'Le

BL

\JJK8'\JJR8'\JJT8'\JJP8'\JJW8'\J\J8' \J\\8'\J\I8'\JIL8'\JIe

\\L

LT8'eL8'eP

Be

\JLL8'\JLe8'\JIe

\\e

Ü

999

Ü

Ü

/"M@1%QP%;32+B+2C%I1E+*+2+'*%"2%;M?2$"32+'*%!1B1@%O%E$'(%*="$C%X1@"2+'*?

*'#&+##')( ?$G"'-"%*$.%"/'$%'('72"+$.41'1")*$.%8'2")"%*'?B8'E:0.2$/$8'IJJPMM'/"a%"1'('&0.5(0' "7$1*"-.0.&$)(0'*3$%G$%&'72.)"11'*3(*'($-'(*'&"%"2(0$`$%&'/$##"2"%*'72.7.1$*$.%1'(1'*3"'d"./"00$%&9':n.% &$1??9 Q24-$**'Q98'>","21'Q98';24--'U98';"2%'B98'H'Y9'Y3(#"2'EIJJJM9'=(1,0$+$%&g'@")3%.0.&$"1'#.2' $%*"00$&"%*'"%+$2.%-"%*19']%'*3"'h2.)""/$%&1'.#'.13'*7%:*21$*"2+'*"@%.C()'?+#(%'*%G"*761@7 % "*7%AM+5#+2'#?%-'()#2+*H'E779'\IâIWM9 F3$**(2.'?98'b4$/('b98'@(11.'F98'H'@.77(%.'=9'E\WWLM9':4%)*$.%(0'(%/'*"0".0.&$)(0'G%."*%"*7%-CM1$*12+3?8'ILERMg\T\Pâ\TK\9 F0(%)",'k9'U9'E\WPKM9'O"42$1*$)')0(11$a)(*$.%9'V"7.2*'d.9'Y@BdiFYiPK'\JRR9'B01.'%4-5"2"/' ;Y?iPKiK9'!"7(2*-"%*'.#'F.-74*"2'Y)$"%)"9'Y*(%#.2/'X%$+"21$*,9 F..G'!9'U9'H'!(1'Y9'EIJJKM9'.("$2%1*B+$'*(1*2?P%2136*'@'HC,%)$'2'3'@?%"*7%"))@+3"2+'*?9' O.5.G"%8'd"9'>.G3*(2$' (%/'Q9'B5/402(`(G9'O.5.G"%8'd"'M+@1%-'()#2+*H8'eEKM8'779'ITTâIWP9 F2(+"2'F9':9'EIJJTM9'=N70($%$%&'*3"'Q2$(%9'>")3(%$1-1'(%/'*3"'>.1($)'X%$*,'.#'d"42.1)$"%)"9' n+*7?%"*7%>"36+*1?8'\P8'779'LJLâLIW9 :0.2$/$'?9'EIJ\JM9'?"+"01'.#'(51*2()*$.%'(%/'*3"'@42$%&'*"1*9'J1CM1*121?8'LWELM8'779'eILâeeJ9 b%.0$'V9'h9'F9'EIJJeM9'?"+"01'.#'2"(0$*,'(%/'0"+"01'.#'2"72"1"%*(*$.%9'J*'K@17H1%n$H"*+p"2+'*8' L\ELM9

O(&2(1'O98'!.)*.2':98'F(00(&3(%'[98'H'?.7"`'B9'EIJJTM9'B%'$%)2"-"%*(0'(/(7*$+"'0$#"'0.%&' 0"(2%$%&'(772.()3'#.2'*,7"iI'#4``,'"-5"//"/'(&"%*1'$%'(-5$"%*'$%*"00$&"%*'"%+$2.%-"%*19':FFF% /$"*?"32+'*?%'*%9#ppC%.C?21(?8'\E\KM8'e\âKK9 U(GG40('[98'F..G'!9'U98'H'F2(%/(0'B9'EIJJPM9'=%3(%)$%&'(%.-(0,'/"*")*$.%'41$%&'*"-7.2(0' 7(**"2%'/$1).+"2,9';7B"*317%:*21@@+H1*2%F*B+$'*(1*2,'779'\TKi\We9 ;$-'=98'O"0(0'Y98'H'F..G'!9'EIJ\JM9'O4-(%'()*$+$*,'2").&%$*$.%'(%/'7(**"2%'/$1).+"2,9':FFF % &1$B"?+B1%-'()#2+*H8'EWM8'ePâKL9 ?"'b.)'>98'=9'>(11"8'H'F9'F42*'EIJJPM9'>./"0$%&'h2.)"11':2.-'@$-"/'A51"2+(*$.%19']%'*3"' h2.)""/$%&1'.#'*3"'W$7%:*21$*"2+'*"@%-'*E1$1*31%'*%.'E2K"$1%"*7%I"2"%/136*'@'H+1?8'77'IeWiIKR9 ?"'b.)'>9'H'Q"%(,(/$'d9'EIJJPM9'!$1).+"2$%&'"N7"2*_1'G%.9'EIJJRM9'Y'2+'*%7f'M?1$B"2+'*%)'#$%@1%7+"H*'?2+3%71?%)$'31??#?%7"(+5#1?P%;))@+3"2+'* % m%?"361(%12%m%@"%7l3'#B1$21%71%3'**"+??"*31?%21()'$1@@1?9'O(5$0$*(*$.%'ä'!$2$&"2'/"1' V")3"2)3"18'X%$+"21$*à'/"'!2.$*8'/_=).%.-$"'"*'/"1'Y)$"%)"1'/_B$Ni>(21"$00"'â'h(40'Fà`(%%"8' :2(%)"9 ?"'b.)'>9'EIJJeM9'YBFO=>8'('2"(0i*$-"'$%*"00$&"%*'/$(&%.1$1'1,1*"-'5(1"/'.%'*3"'/$1)2"*"' "+"%*'7(2(/$&-9'.+(#@"2+'*8'\\EPJM8'KW\âR\T9 >"/6(3"/'O98']1*2(*"'!98'Q.4/,'U9'H'!.2$``$'Q9'EIJJWM9'O4-(%'()*$+$*$"1'.#'/($0,'0$+$%&' 2").&%$*$.%'41$%&'#4``,'0.&$)'#.2'"0/"20,'3.-"'-.%$*.2$%&9']%'*3"'h2.)""/$%&1'.#'*3"':FFF% :*21$*"2+'*"@%-'*E1$1*31%'*%9#ppC%.C?21(?'E779'IJJ\âIJ\JM9 >43(--(/'O9'EIJJPM9';%3'()#2"2+'*"@%E$"(1K'$N%E'$%#*?#)1$B+?17%"*"@C?+?%'E%1B1$C7"C % 6#("*%"32+B+2+1?9'!.)*.2(0'!$11"2*(*$.%8'F.00"&"'.#'F.-74*$%&'b".2&$(']%1*$*4*"'.#'@")3%.0.&,9 d"9'EIJ\JM9'@$-"/'.51"2+(*$.%1'-./"0$%&'#.2'/$(&%.1$1'-"*3./.0.&,g'(' )(1"'1*4/,9']%'*3"'h2.)""/$%&1'.#'*3"'c26%:*21$*"2+'*"@%-'*E1$1*31%'*%.'E2K"$1%"*7%I"2" % /136*'@'H+1?8'EIM8'77'KJeiKJT9 V(13$/$'h9'H'F..G'!9'EIJJP(M9';""7$%&'*3"'$%*"00$&"%*'"%+$2.%-"%*'2"1$/"%*'$%'*3"'0..79']%'*3"' 72.)""/$%&1'.#'*3"'Z26%:*21$*"2+'*"@%-'*E1$1*31%'*%:*21@@+H1*2%F*B+$'*(1*2?8'779'\âW9 V(13$/$'h9'H'F..G'!9'EIJJP5M9'B/(7*$%&'*.'2"1$/"%*'72"#"2"%)"1'$%'1-(2*'"%+$2.%-"%*19']%'*3"' 72.)""/$%&1'.#'*3"';;;:%q'$N?6')%'*%;7B"*31?%+*%&$1E1$1*31%G"*7@+*H8'779'TPâPe9 V(13$/$'h9'H'F..G'!9'EIJJP)M9'B%'(/(7*$+"'1"%1.2'-$%$%&'-./"0'#.2'7"2+(1$+"').-74*$%&' (770$)(*$.%19']%'*3"'72.)""/$%&1'.#'*3"'Q*7%:*21$*"2+'*"@%q'$N?6')%'*%J*'K@17H1%I+?3'B1$C%E$'( % .1*?'$%I"2"'E779'e\iKJM9 V(13$/$'h9'H'F..G'!9'EIJJWM9';""7$%&'*3"'2"1$/"%*'$%'*3"'0..7g'(/(7*$%&'*3"'1-(2*'3.-"'*.'*3"' 41"29'/$"*?"32+'*?%'*%.C?21(?,%>"*%"*7%-CM1$*12+3?8'7(2*'B8'KELWM8'WeWâWKW9

V(13$/$'h98'>"-5"2'Y98'F..G'!9'U98'O.0/"2'?9'Q98'H'Y)3-$**"2i=/&").-5"'>9'EIJ\JM9' !$1).+"2$%&'()*$+$*$"1'*.'2").&%$`"'(%/'*2()G'$%'('1-(2*'"%+$2.%-"%*9':FFF%/$"*?"32+'*?%'* % J*'K@17H1%"*7%I"2"%F*H+*11$+*H8'ILEeM8'77'KITiKLW9 V(13$/$'h9'H'F..G'!9'U9'EIJ\JM9'B%'(/(7*$+"'1"%1.2'-$%$%&'#2(-""*3./.0.&,9' >:/%&$1??9 Y3(%%.%'F9'=9'E\WePM9'B'>(*3"-(*$)(0'@3".2,'.#'F.--4%$)(*$.%9'/61%01@@%.C?21(%/136*+3"@ % o'#$*"@8'IT8'779'LTWâeIL'(%/'RILâRKR9 Y2$G(%*'V9'H'B&2(