=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== https://ceur-ws.org/Vol-69/paper02.pdf
                                    !             "                                       #
                                                          $ %     & !   '
                                                             #' '     (
                                                          ()      * + %+ +

, -                 ! (                                                     - '      ! (                %
               !                        '     .       (       -         '       ! (! -          -           / +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                                       (                +