SOLAR Software Languages Engineering for Requirements

SOLAR Software Languages Engineering for Requirements

!"# $%&'()*+,- ./0
!"# $%&#'()%*+%,#-'./0/'!,#12/-'3#45/'!6#,#)
7898:;79-'<"%*+,4%=#=+'>/*#'=+'?%4 /#'
7#A#,%5#-'"/,&CD#)
#"#,=/)%*+%,#ED6#%)F5/6-'G2#-'*#45/F#6#,#)(E=%F)5&FC")FA&
!"#$%
!"#$%&'()*&+,-&,(. /+,0+(('0+, #"')
1(2-0'(3(+$. !4(50#05&$0"+ &+6 7(.0,+
!"#$%&$
! J/&%*#&%/"
! !($K'6+&,/=
! -.?'/ -/6#%" .A+5%)%5 ?#"DC#D+
! 9,+3%4C#)!($K -.?
! 3%4C#)!($K J+&#6/=+)
! 3%4C#)!($K 7/6A/"+"&4
! K*#)C#&%/"
! $+)#&+=0/,1
! 7/"5)C4%/"4
'
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
("$)*+$)"#
! !($K %4 /"+ /) &,+ 6/4& 5%&+= #4A+5&3/,%+"&+= #AA,/#5,+4
! .CAA/,&+= 4 !$7#=+ 5,%5, A,/*%=+4 6J? &+7&C#) 4A+5%)%5#&%/"4F
! -%))%5C)& &/ ,+#= #"= C"=+,4&#"=
! ./- !($K 6+&,/= =/+4"8& ,#*+ # *%4C#) 4CAA/,& &/ %6A,/*+ %&4
C4# %)%&4
! !)4/! ?#51 /) # 6+&#6/=+) 4A+5%)4%"D %& 6/,+ )/,6#))4
,
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
-.$/
! 9,+ #AA,/#5, 5/C)= + +&&+, =+)%"+= C4%"D # *%4C#)
-.?
! .A+5%)%5 #"= 5/"5,+&+ =/6#%" &,#& 5#" + ,+A,+4+"&+= 4 #
-.?9
! ! *%4C#) -.? %4 A,+)+,,+=
4 &,+ 5/66/" ./)&5#,+
K"D%"++,%"D: +#4%+, &/ C4+ 6/=+)%"D %" ,%D,+, )+*+)4 /)
# 4&,#5&%/"F
0
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
!"#$%&$
! J/&%*#&%/"
! !($K'6+&,/=
! -.?'/ -/6#%" .A+5%)%5 ?#"DC#D+
! 9,+3%4C#)!($K -.?
! 3%4C#)!($K J+&#6/=+)
! 3%4C#)!($K 7/6A/"+"&4
! K*#)C#&%/"
! $+)#&+=0/,1
! 7/"5)C4%/"4
1
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
234567%$8"9
891/ : !"#$%& '()$*&$+ ,$-.)($/$*&" 0*1)*$$()*1;
! [#4 &,+ 8.4(5$ #4 &,+ #4+ 5/"5+A&9
J/=C)+ &,#& +"5#A4C)#&+4 # 5'"..5-$$0+, 5"+5('+;
5/"5+," 45#&&+,+= 4 *#,%/C4 C"%&4 /) &,+ 444&+6 4A+5%)%5#&%/"
:
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
#"
234567%$8"9
! 8=+"&%)4
! J/=C)#,%\+
7,/445C&&%"D 7/"5+,"4
! .A+5%)4
! 7/6A/4+
;
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
234567%$8"9
<
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
!"#$%&$
! J/&%*#&%/"
! !($K'6+&,/=
! -.?'/ -/6#%" .A+5%)%5 ?#"DC#D+
! 9,+3%4C#)!($K -.?
! 3%4C#)!($K J+&#6/=+)
! 3%4C#)!($K 7/6A/"+"&4
! K*#)C#&%/"
! $+)#&+=0/,1
! 7/"5)C4%/"4
=
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
>? 6A >"7+)# ?B%C)D)C +#E.+E%
! .A+5%)%5 =/6#%"4 5,#,#5&+,%\+= 4 4+&4 /) &+,6%"/)/D%+4
#"= 5/"5+A&4F
! J/,+ 5/"5%4+9
! J/=+) #"= +7A,+44 4A+5%)%5 5/"5+A&4 /) )/,6#) 5#49
! ())+, 4/)C&%/"4 &,#& %"5,+#4+ &,+ )+*+) /) # 4&,#5&%/"F
FG
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
>? 6A >"7+)# ?B%C)D)C +#E.+E%
! ]4 /))+,%"D # ,%D,+, # 4&,#5&%/" #"= +7A,+44%/" A/5+,
6#1+4 %& +#4%+, C"=+,4&#"=%"D- *#)%=#&%"D #"= 6/=%)4%"D #
)#"DC#D+F
! <4+ # 6/=+) 5#))+= 6+&#6/=+) &/ 4A+5%)4 &,+ 5/"5+A&4 /) #
)#"DC#D+9
! 7#" + &+7&C#)- *%4C#) : =%#D,#66#&%5 /, /&,F
FF
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
>? 6A >"7+)# ?B%C)D)C +#E.+E%
• <4+= %" <"6(=>7'0?(+ 7(?(="43(+$ ^J--?:
"+,)/,6 444&+6 =+4%D" &,,/CD, 6/=+)4 &/ D+& &,+%, /*+,#))
4&,C5&C,+F
! ! 3"6(= %4 # 6/,+ 4%6A)+ #"= # 4&,#5& ,+A,+4+"&#&%/" /)
# 444&+6 4&,C5&C,+- )C"5&%/"#)%&4 /, +,#*%/C,F
F'
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
>? 6A >"7+)# ?B%C)D)C +#E.+E%
()*'%+$+
,-*$&.
!"#$%&'$
/&*01&0+
,+2&*$-'
,+2&*$-' 5)2&-*
,+2&*$-' 3&44-*0
F,
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
>? 6A >"7+)# ?B%C)D)C +#E.+E%
7(?(="43(+$ @'"5(..;
! 7"3&0+ 8+&=!.0.
! ;(-! 3 5,+#&%/" /) # )+#&C,+ 6/=+) 5/6A/4+= 4 )+#&C,+4- /, 444&+6 A,/A+,&%+4F
! *&+,-&,( 7(.0,+
! ;/,6#) "/&#&%/"3 5/"&+7& ),++ D,#66#,4 #"=:/, 6+&#36/=+)4 /) &,+ )#"DC#D+9
! 8")/,6#) "/&#&%/" 3 "#&C,#) )#"DC#D+F
! "(.$ &+6 /?&=-&$0"+
F0
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
>? 6A >"7+)# ?B%C)D)C +#E.+E%
! ./)C&%/"4 #,+ +7A,+44+= %" &+,64 /) &,+ A,/ )+6 =/6#%"9
! 9,+ *#)%=#&%/" #"= /A&%6%\#&%/" 6#4
+ =/"+ %" &,+
A,/ )+6 =/6#%" )+*+)9
! 9,+ 5,#"D+4 %" ,+`C%,+6+"&4 #,+ `C%51)4 6#=+ 4 &,+
+7A+,&9
! ?#"DC#D+ &,#& +7A)#%"4 %&4+)) =C+ &/ &,+ D,+#& 5)/4+"+44 /)
&,+ +7A+,&4 5%&, &,+ =/6#%" 5/"5+A&4 /) &,+ A,/ )+69
F1
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
!"#$%&$
! J/&%*#&%/"
! !($K'6+&,/=
! -.?'/ -/6#%" .A+5%)%5 ?#"DC#D+
! 9,+3%4C#)!($K -.?
! 3%4C#)!($K J+&#6/=+)
! 3%4C#)!($K 7/6A/"+"&4
! K*#)C#&%/"
! $+)#&+=0/,1
! 7/"5)C4%/"4
F:
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
H8%6I)J.+K2345 >?
! 3%4C#) )#"DC#D+ &,#& #))/54 &,+ 5,+#&%/" /) !($K 6/=+)49
! 86A)+6+"&+= C4%"D &,+ /<CDE<; A)#&)/,6 /) K5)%A4+
! /3#&$05 #"= /4.0="+ A)CD3%"49
! 7/6A/4+= 4 &,+ #4+ +=%&/, #"= &,,++ 4C 3+=%&/,49
! 8"&,/=C5&%/" /) &,+ 5/"5+A& 8,,'(,&$0"+ <"6-=(F
F;
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
!"#$%&$
! J/&%*#&%/"
! !($K'6+&,/=
! -.?'/ -/6#%" .A+5%)%5 ?#"DC#D+
! 9,+3%4C#)!($K -.?
! 3%4C#)!($K J+&#6/=+)
! 3%4C#)!($K 7/6A/"+"&4
! K*#)C#&%/"
! $+)#&+=0/,1
! 7/"5)C4%/"4
F<
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
I)J.+K2345 (%$+7"9%K A 2EEL%E+$)"#
("9.K%J
F=
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
I)J.+K2345 (%$+7"9%K M !"#C%L# +#9
I)%NB")#$
'G
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
I)J.+K2345 (%$+7"9%KM !"7B"J)$)"#6
L.K%OJ6C"#C%B$J
'F
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
!"#$%&$
! J/&%*#&%/"
! !($K'6+&,/=
! -.?'/ -/6#%" .A+5%)%5 ?#"DC#D+
! 9,+3%4C#)!($K -.?
! 3%4C#)!($K J+&#6/=+)
! 3%4C#)!($K 7/6A/"+"&4
! K*#)C#&%/"
! $+)#&+=0/,1
! 7/"5)C4%/"4
''
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
I)J.+K2345 A I)%NB")#$OJ +#9 C"#C%L#OJ
B+K%$$%
',
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
I)J.+K2345 A I)%NB")#$OJ 7"9.K%
'0
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
I)J.+K2345 A !"#C%L#OJ 7"9.K%
'1
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
I)J.+K2345 M !"7B"J)$)"# B+K%$$%
':
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
I)J.+K2345 A !"7B"J)$)"# 5&+7BK%
';
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
!"#$%&$
! J/&%*#&%/"
! !($K'6+&,/=
! -.?'/ -/6#%" .A+5%)%5 ?#"DC#D+
! 9,+3%4C#)!($K -.?
! 3%4C#)!($K J+&#6/=+)
! 3%4C#)!($K 7/6A/"+"&4
! K*#)C#&%/"
! $+)#&+=0/,1
! 7/"5)C4%/"4
'<
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
5*+K.+$)"#
! 3#)%=#&%/"'/)'&//)'C4# %)%&4:
! .6#,&'[/6+'5#4+'4&C=4'4/)*+='5%&,'&,+'3%4C#)!($KF
! 7/"5+A&C#)'*#)%=#&%/"'/)'&,+')#"DC#D+'#"='&//)'C4# %)%&4:
! 9+4&'#"='AC+4&%/""#%,+9
! .#6A)+'/)'BC'C4+,4'^5%&,'J.5 %"'7/6AC&+,'K"D%"++,%"D'
#&'&,+'<"%*+,4%=#=+ >/*#'=+'?%4 /#?F
'=
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
How easy did you find learning the concepts?
Bd
J
F
E
G
d
No. Testers
No. Testers
Did you understand the VisualAORE
language?
K
H
d
d
B
G
H
H
E
I
F
C
E
H
G
B
d
C
F
C
E
d
d
B
G
H
E
C
Rating
Rating
What is your overall appreciation of the
VisualAORE DSL?
No. Testers
BG
Bd
J
F
E
G
d
Bd
C
d
d
d
B
G
H
E
C
Rating
How easily did you create the AORE model?
K
J
I
F
C
E
H
G
B
d
J
H
d
d
B
G
H
Rating
E
E
C
No. Testers
No. Testers
Do you consider the tool helpful?
J
I
F
C
E
H
G
B
d
I
E
d
d
B
G
H
Rating
E
E
C
!"#$%&$
! J/&%*#&%/"
! !($K'6+&,/=
! -.?'/ -/6#%" .A+5%)%5 ?#"DC#D+
! 9,+3%4C#)!($K -.?
! 3%4C#)!($K J+&#6/=+)
! 3%4C#)!($K 7/6A/"+"&4
! K*#)C#&%/"
! $+)#&+=0/,1
! 7/"5)C4%/"4
,F
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
4%K+$%9 N"LP
!F'-%#4'3F'!6#,#)F'.F!,#C2/-'L!'-/6#%"'.A+5%)%5'
?#"DC#D+')/,'M!(.N-''$78.8dK
! 7F'>C"+4-'.F'!,#C2/-'3F'!6#,#) -'L!'-/6#%"'.A+5%)%5'
?#"DC#D+')/,'&,+'8O';,#6+5/,1N-'87K8.GddK
! HF)1F)<"+$(0'"G)HF)8'&-I"G)JF)83&'&=G)K<7E"'(;)
""%&'6.)<"6(=>7'0?(+)&+6)E"&=>9'0(+$(6)
1(2-0'(3(+$.)/+,0+(('0+,LG)@".$('G)1/MNOF)
!
,'
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
!"#$%&$
! J/&%*#&%/"
! !($K'6+&,/=
! -.?'/ -/6#%" .A+5%)%5 ?#"DC#D+
! 9,+3%4C#)!($K -.?
! 3%4C#)!($K J+&#6/=+)
! 3%4C#)!($K 7/6A/"+"&4
! K*#)C#&%/"
! $+)#&+=0/,1
! 7/"5)C4%/"4
,,
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
!"#CK.J)"#J
! 3%4C#)!($K /))+,4'#'D,#A,%5#)'"/&#&%/":)#"DC#D+'#"='#'
&//)'&/'4CAA/,&'%&9
! !))/5'&,+'=+)%"%&%/"'/)'!($K'*%4C#)'6/=+)4F
! 9,+'#AA,/#5,' +5/6+4'+#4%+,'&/' +'C4+=' 4',+`C%,+6+"&4'
+"D%"++,49
! 9,+'&//)'+",#"5+4'&,+'A,/5+44'/)'6/=+)%"D',+`C%,+6+"&4'
)/,'&,+'5/66/"'./)&5#,+'K"D%"++,F
,0
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
!"#CK.J)"#J
! 8"&,/=C5&%/"'/)'&,+'6/=C)+'5/"5+A&9
! ",/=C5+'/,D#"%\+='6/=+)4'#"='+",#"5+4'%&4'45#)# %)%&4F
! !4'#')C&C,+'5/,1:
! !AA)4'&,+'+*#)C#&%/"'A,/5+44'&/'#')#,D+,'4+&'/)'C4+,4-'%"'
#"'%"=C4&,%#)'+"*%,/"6+"&9
! ",/=C5+'#"'+7&+"4%/"'5%&,'5/6A/4%&%/"'/)'#4A+5&C#)'
*%+5A/%"&4F
,1
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#
AC+4&%/"4P
,:
;#5C)=#=+'=+'7%2"5%#4'+'9+5"/)/D%#4'=#'<"%*+,4%=#=+'>/*#'
=+'?%4 /#