Towards a meta-tool for change-centric method engineering: a typology of generic operators

HAL Id: hal-00703610

https://hal.archives-ouvertes.fr/hal-00703610

Submitted on 4 Jun 2012

HAL is a multi-disciplinary open access

archive for the deposit and dissemination of

sci-entific research documents, whether they are

pub-lished or not. The documents may come from

teaching and research institutions in France or

abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est

destinée au dépôt et à la diffusion de documents

scientifiques de niveau recherche, publiés ou non,

émanant des établissements d’enseignement et de

recherche français ou étrangers, des laboratoires

publics ou privés.

Towards a meta-tool for change-centric method

engineering: a typology of generic operators

Jolita Ralyte, Colette Rolland, Rebecca Deneckere

To cite this version:

Jolita Ralyte, Colette Rolland, Rebecca Deneckere.

Towards a meta-tool for change-centric

method engineering: a typology of generic operators. CAISE’04, 2004, Riga, Latvia. pp.202-218,

�10.1007/b98058�. �hal-00703610�

!" "" #$ % & ' ( ' ) * " + # ,- . /0-"1 * 2 3 4& !5 "' 6 7 ) 8 ( ( 9 !9 ( 9 ) 9 9 ) 5 9 ) :

.) $ 5 ) 5 5 ) $ 7 ) 8 ( ( ;78< ) 5 9 ) ) ( ) = 9 # 9 ; #< ) ( ' 78 5 55 ) $ ( ! 5 9 ) 5 ( : ( 95 ( : ( 9 ) 9 ( 9 ) 95 ' > ) 55 ) 5 % ) 9 ) ) ( ' ? @ ) 5 5 5 9 ! ) ( ! 78 $) ) ) 9 5 ( ( 78 5 ' .) 5 ) 5 78 55 ) 9 ) ( ' .) 5 5 ) ) ( 5 ( $ 9 ! 78 55 ) '

!

9 9 95 9 ) 95 5 ) 9 9 ( 5 ) 55 ( 9 # 9 ; #<' .) 9 9 9 ) ( ) ) ( ) ( 5 ( 8 * 95 9 ( A ! ( % % 5 ) 95 ' 8 ) ) 9 = 5 9 ) ) ) ( ' .) = ) # ) ( ( ( 9 ) ) ) 9 5 $ 9 # ' ) $ # ) ( 95 ' .) 5 ) 5 5 ) ;78< ) 5 5 ) ' 78 ) B 5 ( ( ) = ( ( ( 9 ( ( 9 ) ) = ) ( ( 9 ) C D /E' F 78 $ 6 ) ) ' .) ) $ ) ( ! 9 ) ( 78 ) = ' .) ) 59 9 ) 55 ( ) # 95 9 :5 9 $ 9 ) 9 ( ( 55 9 ) ! 99 $ 9 # ' .) 5 ( 78 ) = 55 78 ) 9 ) ' * A> ( )9 55 B ) C 5 9 ) : 95 ) 9 ! ) = ' . 5 ( 78 55 ) ) = ) : 95 ' ? ) 5 5 5 9 ! ) ( ! 9 ) ( ( $) ) ) 9 ' ) 78 5 ) 5 ) 95 ) 9 ) ; < ) 78 ' > ) 95 9 * * 7 ;**7 < ) 5 9 % 55 ) 9 **7 ' .) 5 ( )

) ) 5 5 78 55 )' ? ) ) 5 78 55 )' ) ( 5 ( 78 55 ) $ 5 ) 5 5 9 $ ) $ ) ) 9 9 ) ( 5 5 78 55 ) 9 ) ( ' .) ) 5 ( 5 9 ' 9 ( 95 5 5 78 55 ) ) 78 55 ) ) ( ' # ) 9 5 = ) 5 ( >78 ' 7 5 5 9 : 78 55 ) $ ) 9 78 ' .) $ ) 9 ( 5 78 5 ' .) 9 ) 5 5 $ 6 5 5 5 ( 78 55 ) $) ) ) ) ( 78 5 5 1' $ ) $ ) ( 5 ( 78 5 5 5 78 55 )' 2 0 $ 9 $ '

"

> ( 9 7 ) 8 ( ( 55 ) ) 5 5 ) ' .) 55 ) 5 ( ) $ 9 ) D"" - "E ) 5 : ( 9 ) 9 ) ( D1-E 5 5 @ DG / "-E' > D 0 H 0 ,E 95 9 $ :5 D"HE ) 55 ) ( 5 9 ) ( ( ;2 (' "< ) $ ! " ! # $ ! 5 ' > ! 55 ) $ ) ) $ 9 ) B 9 )C' .) ) $ 9 ) ' .) 55 $ 55 9 ) 55 5 9 ) : 95 :5 5 ( ) 5 $ 9 ) ) : 95 ' * (9!I 78 D"/E 9 5 (9 9 9 !9

> ! 9 $) ) D0E D"HE 5 D1-E

( ) 78 @ 5 ) . !I 9 ) $ 9 ) ' ) ) ) 5 ) > ! . !I 9 ) 9 $) ) ) > ! . !I 9 5 ' 8: !I 78 5 5 : ) : ( 9 ) ' .) @ ) 9 ) $ ) $ 5 5 5 D1E' 2 : 95 9 ) ) ) 8A ) 9 : 9 9 $ ) ) 5 9 ) () 9 5 ' 95 5 ) ) ) '

> 9 !I 78 5 5 $ 9 ) ) : ( ( 5 ) 9 ) 9 ( ) 9' .) 5 ) 55 ) D HE D"G E D / " GE # D" E' > > 9 !I 9 ) ( 9 ) = 9 ( 9 ) 95 ( ) 9 ( ) 9 ) 95 ' > ( $ 9 ) 55 ) 9 ) 95 D"0E' > 9 9 ) 95 $ ) 5 5 @ ' ? ) ( $ ) 55 ( 9 ) 95 ) ( ) 9 9 @ 5 ( 9 ' Method Engineering

Ad-Hoc Paradigm-Based Extension-Based Assembly-Based

Instantiation Abstraction Adaptation Association Integration

# . 5 ( 7 ) 8 ( ( >55 )

$

) $ 5 5 5 ) 5 $ $ % $ % 8 ) 78 55 ) 5 5 5 9 ) ( ( 5 $) ) 5 9 ) 5 ' .) @ ) $ 5 5 ( 5 ( 78 5 $) ) ) ) 5 5 5 78 55 ) $) ( ( ) 95 ' 2 (' 5 $) 5 78 5 ( 9 ) ( ' .) ( 78 5 55 ( 9 ) 95 9 78 ' . ) ) 9 ) 5 ( 9 ( % 9 9 ) ) 5 $ ) 5 $ 9 ' 7 !9 ( $ 9 ' .) ) 5 ( ( 78 5 $ 5 78 ' ' 9 9 ' .) 9 !9 5 ) $ ( '

2 $ ( 9 $ ;2 (' < 5 5 9 ) ( 5 ( ) 78 55 )' .) 5 ) 55 ) 5 78 5 9 > ! 9 ; < . !I 9 ' * (9!I 78 ) . !I 9 $) > 9 !I 8: !I 9 ) ) ( $ 9 > ! 9 5 ) ( . !I 9 ' > ! 9 ) $ ) > ! 9 ' 7 ) 8 ( ( 7 !9 > ! 7 ) 7 9 > ! 7 ) 7 9 > ! 7 ) 7 . ! 7 ) 7 7 ) 8 ( ( ?5 #5 7 ) 8 ( ( ?5 >55 >55 & ' ( ' ( #5 7 ) 8 ( ( * -''J > ( ) 7 ) 8 ( ( >55 ) # " ?5 ! 7 ) 8 ( ( 2 9 $ . 9 5 ) 9 ( ( ( 5 ( 78 5 6 "' .) ( 5 ( ( ) 5 5 ( 6 ) @ ) 9 K ' .) 95 ) 5 5 ( 9 ) 95 ) ( 5 ( K 1' #5 5 ( $ ) ) ) ) ( 9 ) 9 9 6 ) 95 $) ! 5 ( ) 9 78 55 ) 78 55 ) 9 ( ) D"/E' $ " & ) 2 (' 1 $ 5 5 9 !9 $) ) ) ( ) () () ) 9 78 ) 5 9 ) 9 9 5 $) ) : 9 ' > ) $ ) ( 9 9 ' 8 9 ) & ) ' ) 8A 9 : 95 $ $ # ' $ $ ) ) 5 ' ( $ # % 2 (' 1 ) $ ) 9 ) 9 ' ' 9 () ) 9 5 5 9 ) 9 ' 8 9 ) ' ) 95 !( ) 95 95 9

$) 95 ) 9 % 2 : 95 ) 8A 9 $ $ 95 9 9 # $) ) 95 9 ' Property Compound Simple Root Is-a Has a * 1 2..* Model Connection Composition {≠models} Instance of {≠models} Abstraction of {≠models} * _ModelElement Element Name Is-a Association 1..* 1..* 0..1 * * * 1 1 * 0..1 0..1 # $ 7 !9 7 ) 8 ( ( > ) 9 9 5 9 ) 5 5 ) 9 ) 9 ( ' 2 : 95 ) 5 : ) *+ 9 D 1E ) , ) 9 D,E' ) ( 5 ) $ 9 D",E $ $ ) ( ) ) $ 9 5 (' .) 5 9 ) ) 5 $ 9 9 ' .) ) 5 5 2 (' 16 9 9 9 5 # 9 ) 9 K ) 5 ) ) 9 ( 9 ) 9 K 9 9 9 9 9 : 9 ' .) 5 ) 9 !9 6 ) ' 2 ) 9 !9 ) $ ) 9 95 9 $) ) ) 9 ' $ $ .) 9 !9 ;2 (' 1< 9 ; < 9 ) 5 $ 9 - . ( ( 9 ' I ) ) 9 @ ) ( 9 ) ( ( ' .) $ $) ) . "'

78 5 * ) 8 9 ' ) ( ) 9 9 ' > $ 9 ) 9 ' ' 9 9 9 ) 9 ' .$ 5 9 9 9 ' > 9 95 $ 9 ' ' > 9 5 ' / > 9 ( % $ 9 ' #5 9 $ ! 9 ' 95 > 95 > 95 9 ' ' ) 9 95 9 95 9 ' ) > 95 5 ) 95 9 ' * 5 / > 5 5 9 ' 0 9 5 5 9 9 ' $ ) ( 5 5 9 ' ' $ ) ( ) 5 9 ' 7 8 9 > ! 9 9 . !I 9 9 ' # . !I 9 9 > ! 9 9 ' ) 1 9 9 9 5 % 9 9 ) 9 ' > ! $ ) $ 9 ' ) 1 / % $ 9 9 > ! 9 5 ! 9 ) . !I 9 ' ) 1 ) 95 9 ) . !I 9 ( 95 9 9 $ > ! 9 ' ) 1 ( 9 95 9 9 ) 9 ' ) 1 > ) . !I 9 $ $ 9 9 > ! 9 ' ) 1 .$ 9 9 9 > ! 9 9 9 ) . !I 9 ' ) $ ) 78 5 ) 9 @ 5 ) ( 6 ) ( ) ( ) ( ' • & $ ) ) ' 5 ' J 9 ( ( $ ) ) 5 9 9 ) ' • 9 9 ) 9 ) 9 6 ( # $ $ : 95 ) ) ( % • . " 5 5 ) 5 5 9 ) ( 9 $ / 0 ' • ) 9 95 ) 5 9 ) 9 ) 95 ) 9 ' .) $ 5 ) ( 6 − $) ) 9 ( ( 9 6 ) 5 5 ) (

− . <6 ' ' ' $ / ) ) ' ) ' 2 : 95 9 ( ( $ 5 > ! 5 9 ) . !I 5 9 : 95 ) ) ( ' $) ) ) ( $ 9 9 ' .) 5 5 78 ' . " : ) 96 ) 1 ) 1 / ) 1 ) 1 ) ) 1 ( ) 1 % 2 : 95 ( 2 ' ) ) *+ 8 9 ) D 1E 5 % ) , ) 5 ) , D,E : 95 9 '

+

&

.) ) 9 $ ) ( 5 ) 5 5 78 ' F $ 9 ! 78 55 ) 6 ; < ) # $ #$ 5 5 I 95 ' D E ; < ) # $ #$ 5 5 ' D",E' ) 5 5 9 ) 9 ) ) A (9 9 9 ' .) $ $ ) 5 ( 9 !9 ) ) ( 5 ( 5 $ ) ) 9 ) 9 !9 ) 9 $ ) : 95 ' + , ! & ) 78 : 95 ) ) 5 9 ) 9 ) (9 A ) 9 :5 ( ( 9 ' 2 (' 5 ) 9 !9 ) 2#3 ) 78 9 !9 ;2 (' 1<' > ) $ ) ( ) 2#3 95 ) $) ) 95 # ' > ) $ ) ) ) ' > ) 95 9 $) ) ) ' > # ) $ 9 ( ) $ 5 5 $ 4 $' 8 ( 5 9 ) 9 !9 ' > = ) ( 5 ( ) 9 ) # ) ' . 99 % ) 5 ) ) ) 9 ' .) 9 5 5 ) 9 ) ( 5 ) 9 ) 5 ( 9 ' $ 5 9 9 ) ) ' BJA>B 9 55 '

1..* Attribute Name Attribute Name Domain Is-a Link generic specific Class Name Class Name Composition Link compound component 1 1 c * * 1 1 * * Association Name Association Name source target * * 1 1 SourceMultiplicity TargetMultiplicity 1 1 1 0..1 0..1 * Compound element

Compound element Simple elementSimple element PropertyProperty

# + 7 !9 ) ? @ 7 " ?5 ) ? @ 7 > 9 & & > > 95 ! ' 9 9 > 9 > JA> JA> > JA> > > > 95 > ' 9 JA> 9 > 9 95

7 ( 7 ( > JA> JA> JA>

#5 #5 > JA> JA> JA>

' 5 5 > JA> JA> JA>

/ JA> JA> JA> JA>

#5 % JA> JA> JA> JA>

> 95 JA> > > JA> JA> JA>

' ) JA> 9 > JA> JA> JA>

) JA> 7 > JA> JA> JA>

/ JA> 9 7 5 JA> JA>

0 JA> F )' 9 F ) $7 5 JA> JA>

$ JA> 7 9 7 7 5 JA> JA>

' $ 5 5 > 5 > 5 95

55)1 L#5 JA> JA> JA> JA>

)1/ L JA> JA> JA> JA>

)1) L 95 JA> JA> JA> JA>

)1( L 95 JA> JA> JA> JA>

)1 L> JA> JA> JA> JA>

)1 L7 ( JA> JA> JA> JA>

6 > > > 9 > > 7 > > 5)16 ) 1 M 99 ) ( ) ) 78 55 ) ' > ( D"0 ",E ) $ @ 9 ) ( $ 9 ' .$ 9 9 > ! 9 $ ) . !I 9 ' .) # ! 95 $ # ) . !I 9 ) 9' .) ) 5 $) ) ) ( $ @ 9 ) 1 ) 1 ) 1 / ) 1 ) ) 1 ( ' .) 95 $ 9

55 ) ' ? ) ) 5 ) 1 ) 5 ) 9 D E' .) # 5 55 ) 9 ! 78 ) > ! . !I 9 ) 9 ' + & > ( D E ) 9 $ 5 (9 ) ) $ ( 5 6 − > $ @ K − > $ K − > $ ' I ) $ ( ) 6 "6 > 9 ) (9 9 ) ) ' 6 > 5 A ) $ 9 ) (9 9 ' 16 > $ 5 ) $ 9 ) (9 9 ' 6 > $ ) $ 9 ) (9 9 ' 06 .) ( 5 ) ( 9 ) (9 ' G6 .) 5 $) ) ) ) 9 9 $) ) ) 9 ) 5 ' ) ) = 5 55 ( ) 5 ) ) 1 2 ) ) # # ' .) 5 9 $ 6 .) 5 $ 9 > ! 9 $ ) $ ) . !I 9 ' L > ? 6 → > L > ? ; " < N >' ; "< ∧ >' ( ; < O >∈ > "⊂ ?7" ⊂ ?7 ;?7" ?7 < ∈ ? @ 7 M : 95 ) ) $ $ ( 9 ) (9 2#3 D E' .) ) ) ) 5 ' > $ ) $ ) 96 ) 1 2 ) -) . 7 % -) . ∧ % -) . 8 ⊂ ) ⊂2#3 % 9 9 ) 9 ) (9 $ ) ) # 9 ) 2#3 (9 $ % # ) 9 $ ) 9 $) ) 5 ' ) 1 2 ) - # . 7 % - .∧ % - # . 8 ⊂ # ⊂2#3 % .) 5 55 $ ) . !I 9 9 5 ) $ > ! 9 '

> 6 ? @ 7 → > ;?7< N O ⊂ ?7 ∈ 2 : 95 ) 4 9 ) (9 ) 5 ) # $) ) 9 ) 2#3 (9 ' > = $ ) ) ) . !I 9 ) 4 # 6 ) -2#3 . 7 ) 8 ) ⊂2 3 % $ ) . !I 9 ) (9 ) ) > ! 9 ) (9 ' > > 6 → '> > > ; < N '> O > ∈ > > > > 6 > → > '> > > > ;>< N >'> O > ∈ > > ( ) : 95 ) $ D E ) ) ) 6 # - . 7 % > ) $ . ) ) 5 ) 55 9 ) 9 ) ) 5 ' 9 ) ) 5 5 9 > ! (9 ) 5 ) 9 5 ) . !I (9 ' > ( ) 5 6 $ ) $ ( ) ) ) ) 5 ) ) 55 ( ) 5 ' $ 9 $ 6 .) 5 9 > ( $ " $ ' I $ $ ) $ ) ) " ' 5 > 6 > → > 5 > ;> " < N ∧ >"' ; "< ∧ >"' ( ; < ∧ > ' ; < ∧ > ' ( ; < O ;>" > < ∈ > ∈ ' G ; < 9 9 ) 9 9 ) 9 ) 5 ( 9 ) (9 ' .) 5 ' ) $ ( $ 9 6 9 6 → # ( 9 ; < N ' 9 ;J< O J∈ # ( 2 5 5 ) ) ) 5 9 ) 9 5 5 . 9 ) ) 9 ) 9 '

+ " & . 5 ) 9 ( $ ) 55 ) 5 5 D",E' > ( ) 55 ) ) 9 5 ( 99 9 5 5 9 9 9 ) ) 9 ( ( A ( ) 9' .) 9 () = 9 9 ( @ 9 9 9 ) ( ' 8 9 5 5 9 ) 9 ) ) 9 ( $ ) 9 ( 9 ( ' .) ( $ 5 9 $) ) $ ) = 9 ' 2 : 95 D"0E ) ( ) , 9 D,E ) *9 9 D 1E' .) ) , 9 ) ) *9 9 ) ) 9 9 ' .) ) $ 9 9 5 ) 9 ( ' : 95 9 ' ' ) -% . 7 & - . ' F) $ ): ); 9 > ! 9 9 ( $ ) ) . !I 9 ) ) 5 ): ); ) ( ): ); ( ' 7 ( 6 3> 4 → 7 ( ; " 3> >@4< N D > ' ; <E ∧ D @ >@' ( ; <E O "⊂ ?7" ⊂ ?7 ⊂ ?7 ∈ ;?7 ?7" ?7 < ∈ ? @ 7 .) ) - ,)< 9 ) , 9 ; 9 < - < 9 *9 9 ( $ ' .$ " $ ) ,) , 5 5 ( ,) ' # 9 ) < 4 $ ) ) *+ ) 5 % ) - ,) " % - ,). % - ,). < % - . 4 % - .. 7 ∧ " % - . ∧ % - .∧< % - .∧4 % - . .) 5 ) 1 ) ) 1 / ) ) 1 ) ) ) 1 ( ) ) 9 ( ' .) $ ) ) 9 9 9 ( ' 2 : 95 ) / 5 : ) ) , ) *+ 9 9 2#3 ) , ) ) 9 ) % ) $ 5 $ 9 ) 2#3 ) , ) 9 ' .) ( 55 ) D",E ) 2#3 $ 5 ) ' .) 5 9 ) ) ' $ # 5 ' > " 9 $ $) ) ) "$ ) $ ' 5 > 6 '> → > 5 > ; "'> < N ∧ >' ; "< ∧ >' ( ; <  ∈ > ∈ >

' $ # -, ) % 2#3 . 7 / ∧ % -, ) . ∧ % -/ .% 8 5 ( ) 9 ( 5 ) / *+ ) 5 $) ( ) , ) 9 9 9 ' .) 9 ; < ) / ) , ) 9 / ; < ) / ) *+ < / ) 9 ( ) / ' > ) ' ) 5 $ 5 $ 5 ) ) 5 ) 1 / ) % - . .$ 9 > ! 9 ( % ( ) . !I 9 ' .$ ! $ ) 5 ) ( ' L 6 → ! L ; " < N ∧ D ! '( ; < ∧ ! ' 5 ; "<E ∧ D ! '( ; < ∧ ! ' 5 ; <E  ∈ ) 1 / ) - / < / . 7 / ∧ = % -/ . ∧ % - / .> ∧ = % -/ . ∧ % -< .>% + " , & ) $ ) ( 5 ( 5 ( 5 78 5 9 5 9 ; < ) 9 ; < ) 9 ( ' 5 9 :5 ) 5 9 9 ) (9 A ) ' 95 5 9 ( 9 95 : 9 ! ( 9 :5 ) () ( 5) ' .) 5 5 9 9 5 ) 5 ) 5 9 ) > ! 9 ) ' 2 : 95 ) 55 ) 9 D E ( 9 9 5 (9 $) ) 55 ) 9 ( 5 5 ( 5 9 5 D E ; ( 5) ( <' ) ( ( 5 $ ) 5 ( 9 !9 ' + " & 2 (' 0 5 ) 9 !9 ) $ ) 78 9 ! 9 ;2 (' 1<' > ) $ ) ( ( 9 5 $) ) ' 4 $) ) 5 ( ) ) ) ( ' 8 ) $ ) $ 6 1 # $) ) 5 ) 5 4 $) ) 5 ) ( 5 9 ' ) 5 5 4 '

Activity Name Activity Name target source Condition Verb Target has 1..N 1 Transition Name Compound element

Compound element Simple elementSimple element PropertyProperty has 0..1 1 1 0..* 0..* # / 7 !9 > ( 9' > ) $ 2 (' 0 ) 9 > ( 9 $ 4 ' .) 5 ) 9 ) $ . 1' $ ?5 ) > ! * 7 > 9 ' ( ( & & > . ' 9 > 9 . > > > . ' 9 > 9 . 7 ( > 7 ( . #5 > #5 . ' 5 > 5 . / L . ( 0 F ) $L F ) $. ( F ) $ $ 7 L 7 . ( 7 ) 1 L> ? > JA> ) 1 L7 ( > JA> ) : 95 ( $ ) ) 9 2#3 (9 D E ) ) $ 5 6 ;"< $ ; < $ ' > $ ) 9 (9 $ $ $ $ ( ) 5 ( 5 (9 9 ' .) $ 5 9 $ ) ) 5 $ 4 ) 1 2 ' ' > $ $ 9 9 > ! 9 ' .) 9 5 ) 5 9 ; < = 5 5 ) ( ' L > ? > 6 > → . L > ? > ;>" > < N .' ;>"< ∧ .' ( ;> < | .∈ . >"⊂ > " > ⊂ > ;> " > < ∈ > ( 9 2 : 95 ) : ( ) 2#3 2:6 $ 2#3 ) 5 5 ) :6 $ ' .) ) $ $ ) $ 6 ) 1 2 -2: :. 7 % -2:.∧ % - :.%

>( ) : 95 5 ) 5 . 1' $ 5 ) ' ' 55 ) $ 4 ' # 9 ) 9 ( ) > ! (9 ) 4 ! (9 9 ( ' 2 / 0 $ 9 ) ( ) 5 5 $ 4 ) 4 ! 5 ( (9 ' 2 ) $ $ 9 ) ( ( ) 4 ! (9 95 $) $ ) 9 ' + " " & > ( ) 9 ( 5 5 D", "0E ) 5 9 ( ( ( 5 9 5 D E' 2 (' G 5 ) 9 5 9 ! 9 ) 78 9 !9 ;2 (' 1<' Section Source Intention Target Intention Intention Name Intention Name Name Start Stop has-for-target has-for-source 1 1 1..* 1 1 1 1..* 1..* Strategy Name Strategy Name Guideline Pre-condition Post -condition Verb Target Parameter has has 0..* 1 1 1 1 1 Compound element

Compound element Simple elementSimple element PropertyProperty

# 0 7 5 9 !9 > ) $ 2 (' G ' > (( ( ( $ 5 ) ) 4 $' .) ) ) 9 9 56 $ % > ( ) ) ) 5 9 ; 9 A 9 ! 9 9 <' 2 : 95 ) *+ = 9 5 K 0 ) ' .) $ 5 ) $ ( ) 5 ( ) 9 5 5 ' > :5 $ ( ( 55 ) 5 5 D"1E $ ) # ' ) $) ) 5 9 5 $ ) 5 ) ' .) 1 # 4 ) ) ' > $ 55 ) 9 ) ' 2 : 95 !$ ( ) ) 5 5 ) *+ 55 )' > ( '

> 5 ? 4 $@' .) ( 9 ) 9 5 9 ( 5) $ ) ( ' * ! * ! ) 5 ) 5 ( $ ) 9 5' 8 ) 5 / ( ) $ ) ) ( $ ( ) ( ( ) ) ) ' . 5 5 ) 95 5 9 5 ( ' ? "" 5 ) 9 - 5 ;. 0<' 9 ( 5 9 ) 9 5 ( 5 ' 2 : 95 ) / 5 ) ! ) 5 $ ( ) 9 5' .) ) 9 ( 5 9 ) ' ) ) ) 9 55 ) 9 ) 9 ) $) ) 99 ' .) ( $ 9 5 9 ( ( 9 ' > = ) ) 1 5 $ ) 1 ) 1 ' 95 9 ( $ ( ( ( 9 5 ' + ?5 7 5 ( ' # ( # 9 9 # ( 9 # > > # ( > # 9 9 # ( 9 # 7 ( 7 ( # ( 7 ( # #5 #5 # ( #5 # 5 JA> JA> L . ( * 9 JA> * * F ) $L F . ( F ) $* 9 JA> F ) $* F * F 7 L 7 . ( 7 * 9 JA> 7 * 7 * 7 5 5 # ( JA> L7 ( JA> L 7 ( # .) : 95 ( D",E ) MC8 9 5 $ ) ) 9 ) 9 ( ' .) ,):6 , ) ) 9 ) :6 / MC8 ) ) 9 9 6 ) 9 B ( C' 7 ) / 5 $ ) 9 ( ) 5 9 ( $ ) 9 ( ) $ 9 5 ' D",E ) $ 9 ( ) ,):6 , ) ,):6 / ' .) ( 5 ( 78 5 $ 9 ) ) ( 9 5 $ 6 ) 5 5 ) 5 5 $ 5 6 $1 # $4 $ ' ) : 95 $ 55 ) $4 5 '

.) ) 5 5 4 5 $ ' .) $ 9 5 9 ) 5 ( 5 9 ' 7 . ( 6 → # ( 7 . ( ; < N ' ( ;J<  J∈ # ( $4 -,):6 , ) . 7 ,):% -/ . - .) 5 $ ( $ 9 5 9 ( ( ) 9 ' F) $ : ; 9 ( ) 5 : ; ) ( : ; ( ' L 7 ( 6 3# ( 4 → L 7 ( ;" 3# 4 3# @4< N D # ') ! ! ; < E ∧ D @ # @') ! ! ( ; <E O ∈ "⊂ 7" ⊂ 7 ;7" 7 < ∈ 7 5 9 ( ) ,):6 / :6 / $ 9 $ $) ) ) 5 ( 9 5 ) ' > ) $ 2 (' / ) ) ) 9 5 ( ) "$) ) : ) MC8 9 5' .) :6 / 5 ,): : ) ' 86 F A64 B6< 8-6# :6/ ;6) # 8"6 8 ( 86 F A64 B6< 8-6# :6/ ;6) # 8"6 8 ( -6# ,);6& ,):6 $ ,)B6' "6 8 ( 6 5 -6# ,);6& ,):6 $ ,)B6' "6 8 ( 6 5 1 2 '3 1 2 4 & ConnectViaMergeIntention # 5 8: 95 ( MC8 9 5 ' ) 1 -,): : ,): ,); ,)B : ; B A. 7 ,):% -:.∧ ,);% -:.∧ ,)B% -:.∧ :% -:.∧ ;% -:. ∧ ;% -:.∧ B% -:.∧ A% -:.% ) 9 9 ) ) 9 5 9 ( ' ? ) 5 ) $ ' $ 95 ) 4 ! 9 5' 2 : 95 ) ( ) MC8 9 5 $ 95 ) $ ( 5 $) ) ) 5 ) 9 ) ( 5 ' 55 ) ) ( ( 55 ( $ ( 9 ) 9 9 ) ( 9 5' . ) 9 ( 9 95 5 D",E ) ( 9 ) 5 ( ( ) $ )

; < $ 9 5 ) 9 ; < ) 9 5 ) B !) C 9 @ 9 5 ' .) ! 2#3 $ 5 9 : 95 ; <K / 0 $ 55 : 95 ; <'

/

!

) 5 5 $ 5 9 ( ! 55 78 ) 9 ( 78 5 ' .) 5 ) 5 78 9 ! 9 ) $ 5 ) 5 5 78 55 ) 9 ' .) 5 $ ) $ $) ) 5 ) 9 ) 9 ) 9 ' .) ( 5 ) ( ) 5 5 = ( 78 55 )' ? 5 5 9 ) 5 ( ( 5 5 9 ) ( ( ! 5 ( ) ( 78 55 ) ' . 0 ) $ $ ) ' 2 5 ) ( ) $ ) 5 $) ) 5 ( ) 55 ) ' ) ) ' F ) ) 5 5 ) 78 ' / # ! 5 ( 78 5 * # & 6 , & 7 8 & ' > ' > 5 ' > ' ( ' 7 P 8 ! # P 9 ) 1 P P ) 1 / % P P ) 1 ) % P P ) 1 ( P P ) 1 P P ) 1 P .) ( 5 ( 9 5 ( 5 9 ) ( ( 5 ' $ ) 5 9 : ) 95 ' > ( I @ D"E 5 95 9 5 ) 9 K ) : 5 ) 9 ' I ( 5 ) 95 ) ( 78 5 5 ( $ 9 9 5 $) ) 5 5 = 9 ' 2 : 95 ) ) 5 9 5 ( $ $) 9 5 ' .) ) ( ) 9 5' > 9 ) = 9 5 ) : 5 > ! 9 5; < ( $ ) . !I 9 5'

2 ) ( 78 5 $ ) 59 >78 55 ( 78 55 ) '

%

D"E I @ ' Q 9 F' Q 9 '! ' Q ) ' 2' # 9 95 9 # ) 9 8 ? @ ? ' % ) / 2( ) 55' 1""!!1 # 2 > ",H/' D E I 95 #' # 7' 9 2' > 9 . ) = 7 ) 8 ( (' :C ) $ ) +DE% * ",,H' D1E ' ( 7 !5 * ' % ) 2#3 2 $ 22 9;CC; #5 ( 2 -- ' D E ' ' L ' ' . $ ( 8 9 7 ) 8 ( (' ) ' $ ( ' F'F' 9 '>' # ;8 '<' ) F R # ' ) ) ' 55' 0!G ",,G' D0E 5 ' * ) J' 8 ( ( 7 ) 9 7 ) = 9 #5 ' ' F L 'G 55'"10!"G- --"' DGE 9 >'2' I 95 #' ? ' # 7 ) 8 ( ( 9 # 9 * @ ' 2 4%0% % % 1 3 - %. 4 $ * )$ * ( ) 2 * F H'" F ( #S, 55' "G,!", J )! >9 9 ",, ' D/E 9 >'2' ' G H ",,/' DHE 9 7' ? ' 95 ! 9 ) ( ( (' 4 $ L ' 10 ;GA/< A 55' 1 0!10 ",,1' D,E ' ) 7' *' ? ( ' ? @ ? # $ 8 ( (6 >55 )' 0 $ ",, ' D"-E Q 9 Q' F ' ' 7 ) 8 ( ( > * 5 # ! 5 7 ) ( ' $ $ ( 6 ' 9 # ; < F 55 0/! GH ",, ' D""E * ) J' I) 7' *' #' 7 8 ( ( 7 ) 9 ' ) +C; . MJ # 1 H 55' G" ' -- ' D" E * ) J' . $ 9 9 ) ' ' F ;"< ",,/' D"1E * J' 9 = 9 ( (' 6 * ( ) .) F ) 5 = 9 8 ( (6 2 # $ T 82#TC,/ I ",,/' D" E * '.' M 99 Q' .) 787> 9 6 . $ $ 55 ) 7 ) 8 ( (' 4 $ 1H; < 55' ,0!1-0 ",,G' D"0E ' ' > > 9 * 7 7 ) 8 ( (' :B ) $ ) +C: #$ % --"' D"GE ' ' > 55 ) 9 ) ( (' ;C ) ) 8 --" U ) 9 5 MJ # #5 ( 55' /"! H --"' D"/E ' ' ' . $ 7 # 7 ) 8 ( (' :I ) ) +CB Q ( AL > MJ # GH" #5 ( 55' ,0!""- --1'

D"HE ' ' I > 7' > >55 ) 8 7 ) 8 ( (' . 5 ) ' ' Q ( .' 5 Q' # ;8 '< 5 ' #> --1' D",E ' ' * ) L' 7 ) 8 ) 9 # I . ) = ' % :: ) % $ ) +DD ( 9 ",,,' D -E ' * ) L' ( ( ) ( 5 9 (9 ' ; ) ' 8S,G #5 ( ",,G' D "E ' * ) J' > 5 5 : ! 5 9 ) ( (' < 0/ E%: ) ) 59 55 ","! -H > ( #> ",,G' D E ' * ) L' ' #5 ( ) : # 7 ) ) ' :C ) $ ; > #8S,H< * ",,H' D 1E ' # ' # ' ( 7 ( ( # 888 . ' ? # $ 8 ( ( ;#5 # 7 ( 9 < ;" <6 "-00! "-/" ",,H' D E ' * ) J' I @ 9 >' > 7 !7 L $ * 7 (' ' F L ' ; < 55"G,!"H/ ",,,' D 0E 7' . !*' 9 ) I' M Q' Q 5 ' 7 ) 7 ) 8 ( (' * ( ) 11 $ # 9 # ---' D GE # 7' 89 ( 9 9 # 9 59 9 ) 6 > >55 9 ) 8 ( ( . ) = ' :I ) ) +CB 1 *&) ;JE: 55' 1/ !1H, --1' D /E # 7' . $ > 9 7 ) 8 ( (6 # 55 ( 7 ) > 9 >78' ) ' F ) 5 8 ( ( 7 ) # 55 9 # 9 8 ;87# #8C-1< ) 56AA ' ( ' )A ! )A87# #8-1A --1' D HE # ( V' # 9 ( ( 7 ) ' ",,/' D ,E . !*' 7' R M ' 7 ) 8 ( ( 6 ) 95 )' 6 % #' I 95 Q' M ' ' F ;8 '< * ( ) 2 * . H F H'"AH' ' > #> 55' ,G!1"/ ",,G' D1-E . '!*' 9 7 ) 8 ( ( $ ) 7 ( . 6 .) * 5 895 8 ' ( ( % , $ F$ K $ K 2 ",,H'