=Paper=
{{Paper
|id=Vol-69/paper-2
|storemode=property
|title=RECOCASE-tool: A CASE tool for RECOnciling Requirements Viewpoints
|pdfUrl=https://ceur-ws.org/Vol-69/paper02.pdf
|volume=Vol-69
}}
==RECOCASE-tool: A CASE tool for RECOnciling Requirements Viewpoints==
! " #
$ % & ! '
#' ' (
() * + %+ +
, - ! ( - ' ! ( %
! ' . ( - ' ! (! - - / +0
( ! ( ! - ! ( + . '
- . ! - - - ! %
( +1 - 2 ( % '
( ( + -
' ! - ! - +
3 # 4 (+ 5 .6 ( (
( ( ( 7 5 8+ 5 ( + (
(' ! ( ( ! - + ('
! ( - . ! (
( ( % +
# 0 ( ! - ! ( ( ('
!" # #
, - ! ( 7 + + . # . 9::; .
1 9::< . ( ( 9:=: $ (( ' 9:;:8 - ' ! (
% ! ' . ( - ' ! (! -
- / +0 ( ! ( ! - ! (
+ . ' - . ! - -
- ! % ( +1 - 2 (
% '( ( +
! ' ' / 4 (' 2 . - -
. ( ' ! - - '
7> 9:: 8+ 0 (- / +
" ! ( . ( ! - % ' '
? +0 ' ((
( ! - (- (( ( + ! ! (
( ( (' - (( ( 7
98+ 5 .6 ' - 2 ' 7 2 8 (
( ( ( 7 5 8+ 5
@
( + ( (' 7 87 (( 9:= 9:: 8 ! ( (
! - + (' ! (
- . ! ( ( ( % +
(( 3 # - # 7 - 8
( - ! - 3 ( +3 - .
- 7 $ A 9::= B - 9:::8+ 0
' 3 # 4 (+ 0 ( ( '
9+ 0 ( ! - (
! - ( + ( (
7 )C 8+ ! - ! - (
7 ) C ! - ( 8+ " (
! - 7 ) C ! - 8 ! - 7 ) C
! - 8+ (' ! - (
' 7 ) C! ' 8 (- (+
! - +0 (' ( ( ( (
(' % (' + D - ! (( ! -
/ ( ! - ( - !
' C (' + . ( ! - - -
( ' - ! - ? +
9) & ( 3 # 4 (
3 # 4 ( - > ! +0 ( 5 .6 - -
- > ! 1 ! $ ( .
( '+ 2 - # 4E ( + 0 > 4 . # 4E (
# 4E ( > ! ( - E ( ((
2 5 + - > ! 1 ! $
- - 5 3 # ( +0
( . ( '+ (( ( - & 2 ( 2
2 ( 2 ( (' 2 ( + 0
3 # 4 ( ! - ( - ( +
F
" ( ! ( ( $#
! - + 3 # 4 ( - - .
! > ! +
- ( 3 # 4 (+ ! - ( /
7C E / 8 + ! - 7C & 8
/ ! - (+ ! - 7C # 8
! - + (( ! - ( !
/ +
(( ! ( ( - ' ' 7C & 8+
! - 7C , - 8+ 0 2 ! -
7C , - & 8 ! - 7C , - # 8+ ! -
! - ! -
! - + ! - / +
0 2 - ( ! ( 3 # +
) $ ( 3 # 4 (
$! "% & # '
0 3 # ! ( ( 2 ! +
- ! , - ! ( E ' .
# . 79::;8 - ( ! - ! -
4! - (' 4! - (' ! - +
2+
<
$! (
, - - ! - (- 2
> ( 79:: 8+ (( >
( ( ! - (+ > 79:: 8
4 ' - -
' 7 8 ! ' ( '7 8+ 0 (
'- ( + ( ' '
2 ( ! ' ( !
+ 3 % ' ! + 0
! C! - ( ! - +"
( ! - ( - !
! - + ( / ' '
( ( ' / +" /
(' ! - +0 ! -
! - - ' (( +
$!$
3 # ! - ( %
+ 0 ! - ! ! ( ) 4
( - + 0 !
( + 0 ( - !
2 !
+# ! - ( - +
3 ( ! ( ! - ' +3
( - ' ( - 2 74 '( 948+ 2 7 98
- ( G HI G
I ( 74 '( 48+ 4 . 79:: 8
- ! 4 4 ( ' 4 4 (
- ' ( 74 '( 4
8+ # 0 ( 9 2 ( + 0 4 ( -
' 4 -( ' +0 ( .
' 5 .- 79:::8+ (
4' ' 4 . 2 ( 4'
( - ' +0 (
! @ ! ('+
- ' ' '( + &
' - '( '( 9 (
( (( ( +
;
)
9+ " +
+ % E"1
@+ E"1 F+ , ' E"1
<+ ( '
;+ E . ' =+ ( '
:+ E . ' 9 +E
99+ 9 + ( '
9 +E . ' 9@+
9F+ 0 . 9<+
9;+ 0 .
0 ( 9) $ ( 4' 4 . 79:: 8
)6 (& " & , -
=
F) -# #
@) 6&" #
, -
! - ! - ' ! ( '
/ +0 ' ! -
! - + ! - ! ( ' ! - -
+ 3 (' - (' ' ' ! - +0 (
! - ( - +0
( - . - 7 F8+ 0 (
(('+ 0 ! - ( ( ' ! 2 +
0 ( - (( ( - (('+
$!* (
! - ( . ! - (( -
( 7 98+ 0 - ( (? ((
( ( +" 3 # 4 (- ! (
. +0 C! ' ( ! .
' % ! ( +0 -
( (( . . - - (! ( !
( . ! ( ! + ( ! ('
( C ! - - ! ' +# ' ! '
! - ! ' '
( ( ! - ( (( ( +
(' - . ! ( -
( ! (+ 0 (' ( ( ( ((
( + ' (( ( ( ! (
(( ( +
:
0 ( (( ( ' ! (( - + 0 ( !
% . ! + 0 ( ! ((
7 98+
" C' ' C ' ' C ' ' ' (
9
! ! - ( ' ( J 9 K+ 3 (' ((
! ! ' '! ( (( (. C
' ' - - ! ! 2 ('
7 . 9::< +9 98+ D - ! 2 - !
! + ( (! (
2 ( ( ( +$ ( +
5 .6 ! ( ( 5 .6
! - + 0 - ' - 5 .6 (
! - - ! - (( ( - +
0 5 .6 - A . (. (
7 + + 8 ! 7 8 ( 2( 7 + +
((8 ( ( J 4 F K+
#( ! ' ( ( J <4 ; K+ - A
5 .6 . - - . . '- +0 - ' . -
(( - ( ' 5 .6 +" (
2 ( ' 2 ' -
( +
0 ( ( ! ! - ! - (
@
J# K - )
)G / IG I
)G IG ( 7 8I
9
J 9K 0 ! - ( - - ' ( ! ' '
' ' ' ' + ') 0 ( +
J K 0 ! - ( ( 7 + + 8 ! 7
8+ ') E (' ( (!
! ' +
J @K 0 ! - ( (! 7 + + ( ( 8+ ') $ (! 2
+
J FK 0 ! - ( ( ( + ') 3 # ( 7
+@ +F8 ( ( + 0 ( (( (
( ( +
J
' ! ( +0 (
- - . . ((
' (( ( + 2 (
( - - ' '
R' - J K 'S+ $ ' - +D - !
- #' ! % 7 ( 8+ 0
( - ! '
(+ " ( +0 ('
@4% ( ' /
! ! % - (( ( ' !
- + ' ( ' -
- (' '+ 2 (
( '- ' ' ( +"
- ' ( ' +
9@
;) 5 R . S
! - - ' +
*! # %
" 3 - ' ! ( ( '
( 3 # ( ( '+ 0 ' (
2+
*! "% "
! (! - - (( '
+ ' + ((
- '+ 0 ( 9+F -
(( - @F +
- 3 # ( ' (
! ' 7 ,#8 - ( .
! ! +0 - - 9
' - ! - ( (! + A - '
! ' - 4 2 +
- . (( 4 % ((
! ' ' 2 ( - + 0
! 3 # - 2 (
3 # (- +0 !
+3 ( ( -
+
4 .- ( ( /
3 # ( ! (
9F
(+ 0 - @F ! ( ( (+ 0- -
- . -
(( - - ( + 0 9F .
- + . (
3 # ( ( - ( -
+" ! ( !
( - ' ' ( (
+" ' ' '
( ( 2 +" ' - ! (
! ( (( ! ! - +
0 - (
( ' ( -
! (( ! (! ! - +
(' ( - - -
- 3 # (+ - ((
- ' (+ ' - -
! - ( ( (
+
*!$ "% "
0 ( ' 3 # (- 7 =8+ (( ( '
2 ' ! ( '- - @ F- ' ((
. R S R (' S ( ' ( +
= ! ' ! ' ( -
'+
. 0 9 ' -
+ ( 0
- + 0 - ( ( - .
( +0 0 ( ' ( 0 9
- . '(. +0 ' ( ( '
3 # (( (' - ' - (+
- ( (. ! ! ' - . (' .
( +
9<
!
" !
#$%$&'#
=) ( - 3 # ( ( '+
R S 9 R (' S R S R S @ R S
F R (' S+
+!
0 ( ! ( (
3 # ! - ! ( + ! ( - (
(( ( - ! ! ( ' 2 3 # 4 (
' + ! ( ( ( ! ( !
' ( '+ 0 ( ( (( - ( (
( 2 ( ( ( !
( +
0 3 # 4 ( 2 - - (( ! -
! - (( - ( + ! ( '
( ! - ! ( ' (
' + 2 ( ( ( (
( - ' ( ((' ( '+ 0 - .
! ( ! +
, $ ' . 3 ( - . 3 # 4 (+ 0 . (
# - $ (( 4 (( - 2 ( / +
0 . ( . 3 # +
- %
+ 7 98 $ (( ( ( % , - &
?# ( (' & ! ' $ +
+ # - + + ( 3+ $ (( +7 98 ( & ! ((
5 6 ($ ( 0 E 9@ " ( ( E (
7"1 E 98 4 3 9 & ! ' 0 .' > 9=< 9:F+
9;
5+ 5+ 5 .- 5+ + + 79:::8
$E +
2 + 7 98 2 ($ ( )?? ? + + .? ?. 2?& - +
. E+ # . 6+ 79::;8 $ & , - %
! " !+
. #+ 1 + 79::<8 & , - " ' $ # # -
> (> ' 9::< 94@ +
. ( + + + 6 . $+ >+ 1 . + 79:=:8 , - 3 # - ! ( )
$ , - % " # $ %
& ! % # , ( 51 #+
. ,+ + (( E+ ( + 79::<8 ( D T
' ( +
> "+ 79:: 8 '() ' * 4 ( '+
$ (( ' 6+ E+ 79:;:8 3 4 (( % 2 +
* , * +- " # 'E 9 <49 F+
+ $ A 0+ 79::=8 2 #"#UED """ 2 -(
% 0 . .. # $ / 0 ! # 6
E ( # & ! ' ( ' ( ' 9= 4 (
9::=
+ B - + 79:::8 $ % &
1 0 ! * 1*233 $ % & ! ' #' ' :4 #
9:::
(( + + + 79::=8 6 0 2 ( & # S 4
/ * 5 , ( F 1 94 + 9 F49< 1 D (( ( ! # E ( +$
9::=+
# - + 1+ 79::<8 !% & ! % 6 7
*8 ( % " " . & ! B 9::<
# - $+ 5+ 6+ 6 + + 79:==8 $ ( ' (
-( % #' 9 / 0 / :
" ! # $ % 9:==+
#( + + 0 ( ' + 79::98 E ( - 5 .6 1 % 3. .3;
$ (( & ! ' # ( # E E 9::9
(( + 79:= 8 5 0 ') D ' +
( + @@F4@; +
(( + 79:: 8 5 ( -( S !% ! %%
+ @: 4F +
4 . + 79:: 8 # )$ . & - .+ ! $1 % 1 !4
9:: + 1U 1U) #"61# E ( +