Réseaux Formels pour la Spécification des Systèmes d'Informations et la Rétroconception (These)

!
$%
"
&# ' ( &
& )
"
$+
#
#
#
& #
#
&
*
&
,-
'
-
) .#
0
#
/
#
!
+
'
& /
/
1
#
'
/
- .#
#
#
) 20
/ *
#
'
$ #
$
$ # (
' /
/
) .# *
#
$
!
) #'
( #
! #
/
) .#
"
#
$
#
!
#
!
#
) .#
.
.
3
!
'
#
4
.
.
* -5
#
% - .#
'
#
+
(
&
(.
## -
( (
'
7
6 &
5*
0
(
(
8
!
#
&
0
#
5
&
'
#
!
##
' &
!
) '
#
#
!
(
$ #
&
( #
&
!
$ -
&
#
&
) #'
.
-5
#
!
49
&
( & 000:
(
$
&
(
#
!
$
$
-5
##
-5
3
( &
'
%
'
&
%
(($
))
((
))
*
#
$
$
!
"
"
!
(
((
((
"
)
((
))
+
"
!
))
! "
))
/ !
! #
!
) .#
(
$
#
#
) .#
!
$
$
-
(
-
#
%
)
,
.
-
,
; # # #
# '
!
(
$!
$ #
#
'
#- (<
!
$#
$
#
-
'
! "
# # $ % & '
(
) $(
* + ) ,
(
) $(
* - + ) . /
!
"# $ "# %
& %
"'# $ "'#%
"# $ "# %
"( $ "( %
")# $ ")# * + $ , -./
+
#
1
*
!*
*
4
'
3
2/-
22
* 1*
0
0
!*2
/
* 1*
#
!*2
3
0
1
+
2/!*
'
22
4
,
5
*
*
"
= %
$
#
('
#
$
##
$
>#
!
&
>& '
!
# ' ( 9 "
:
$
>
# ' (
>& '
#
5 #
?
1 [email protected] A=9
9= " @ :
≠
1
1
= 9
:B
2
2
:CB 2
9= " %
9= " % :
!"#
!#
$% !
9%
9%
"@ :
$% !
" D>
- >&>
-
E:
"=
+
= %
( (
#
# "# #
!
*
#
7#?# &
#
#
&( + # ' -
) #'
( ( F
"
!
"
A
!
-
/
- .#
G&H I ;= J B A=,
%
?
BD - &
%
?
@ K - LB
9 #
# :
@@ B 9 [email protected] :[email protected]
E
%
#-
&
#*
0
*
O
' #
&
(
&
&
#0A
(
0
"
;%
$
'
6 &
(
#
(
0
$ 8
!
#
5*
' &
7
&
!
!
'
#
5
##
&
0
%
%
-
'
#
F'
-
'# #
# 0# ( )
( (
)# 0# ( )
)# & -+1++)++('#'+.
'
'
!
" "
#
0
#-
?
"
#
"
+-
7P
#
000
!
" #
"
-
# ' (
# ' (
# ' (
( -
#-
# ' (
A
∀
# ' (
∈
&
.
,
" "
!
#
∈
•
0
≠
0
0
- (
&
#
#
"
2
&
!
!
-
*
$
"
Q0
9Q
0
T 9Q
TQ
R
0!
0
R S
ã
0
5 Q0
#R
5 Q0
R
!
BQ
%
#R
BQ
0
BQ
0
#R
BQ
0
R
0!
0
:
:
µ
# BQ
5 Q0
5 Q0!
!
#BQ
%
!
-
#R
"
"
!
"
)
-
9Q
5 0
T 9Q
5 0
T 9Q
5 0
T 9Q
5 0!
BQ
BQ
R
!
B
C
I0
:
0
:
R # :
:
% &
A
&
9:
9'& & &(&)&%*+'&, &,-&-U:
"
'*
"
#! #
9 : (" → 9'"× ": ∪ 9 "× ' :
' *
'
0
5
&
9 : )
9 !: %
*
9!:
"→ & ¼ DIE
"→ Dë*"ì *"í *"î E
'
"
&
)
' )
9! : +' ' → FΣ&.
'
F
'
*
'
'
9
)
:
*
'
→ /Σ&.&α9+':
#
"
" "
9! : ,
*
"
'
&
9! : -
&'
"
-0 &
#
9 ": ,-
" "
'
" "
# ' ( -
#
/Σ&."&α9-: &
! &'
!
*
"
!
'
(
#
01"
#
#
#
'" 3 '
V " 3
V " 3
(" 4 9' 5 : , 9 5 ':
)" 4 2 , DIE
%" 4 D6& 7& 8& 9& :E
; "
; "
;
&
?
V
%9 : & D7& 8& 9& :E * (9 : & 9' 5 :
%9 : & D6E * (9 : & 9 5 ':
(9 : B (9 : * %9 : < %9 :
'
#
#
1 & &ì& 2
Q """ Q
Q
##
,
(
+
"
& V 000 V Q &
B = DQ """ Q E
!
#
!
W B
-
+
" #
*
&
# (
$
&
$
&"ì & 2"
1
Q
"
Q
"6Q B
DQ
E
@@ [email protected] ,J
#
0
#
2
*
"
"
"
1 & &ë& 2
Q """ Q
"
& V 000 V Q &
" B , D Q """ Q
Q
E
!
$
&
&"ë & 2"
1
Q
"
Q QE
" B
D
#
#
# ' (
1 & &í& 2
Q """ Q
Q
&
"
V 000 V Q
&
&
#
#
$
"
#
( ! #
! # ' (
&
1 & &î& 2
Q """ Q
Q
>
"
V 000 V Q
>
'
"
"
A
I
#-
1 & & ì &I2
Q
"
& "
Q I B D
" B =Q
Q
I
I
K "& ? B Q
I
I
E
!
,
#
.
(
#
I
.( (
0# =
&
#
&
0#
!
∈ • 0#
,
#
#
##
# )
###
##
9
:
# #
*
#
#
&
! #
##
*
"
1
&
1 3 &
1 &
&
"& 9 & 2 V
&7& 2V
"* 7 & I2 V
*
# ' ( -
# ' ( -&
3
&
0
&
&
.!
)
%
/
%
%
-
%
%
%
%
%
%
%
,
,
%
%
%/
%
/
%/
%
%
%
%/
%
%
%
%
2& ! 1$2&
, 7
/
!1 2
/
, 7
8
, 7
"
( ##
!
!
"
% ( ##
O ##
=%+ 9+X
$
$
$
$
( ##
( (
L ( ## C B 1L
CKL
0 L #R! - C L
CK
0 ' L #R! C L #R! C K
0
L #R! C L
CL
# ' $ 0
L 'R
CL
#R#
#
:
CKL '
=%+
C2I
CK
Y
CL
#R#
CL
#R#
C
9
@
-
#
+#
9
#
( ##
#
#
!
1
6
!
:
!
#
!
,
5
:
$
* +
,-
)
)
& '
(
(
(
(
& '
& '
& '
& '
!
"#$%
!
' .
' .
' .
' .
' .
' .
' .
' .
/
/2 2 3
&
01
01
Ø
01
01
-
#
#
( (
$
$
$
!
-
) .#
.
( ##
# ' (
) .# 0
' (
*
# F
' (
!
. "
"
-
*
*
!
!
*
5
-
/
:
1
9
1
59
:
;
5 5
1:
<
19
1;
=
>
1<
1
1
/
1>
1=
9
:
59
1
0
/
;
0 /
<
59
5
=
>
'
5 5
5
+#
#
9
9
1
1
;
1 6
1 6
;
1
:
:
1
:
:
59
6
59
6
5
59
1
1
/
5 5
/
6:
5
5
69
%
.
5
!
>
>
!
(
!
/
) ) # '
# ' - 9 "-
!
:
0
,
/ (
!
/
(
#
/
!
+X I; #
/
+OP = ,
; # &P
Z& ;
& @ (( & %
C
7!
7
C
Y
7
# ' (
Y
Y
&
7 ##
=
[
UUU (
#
=%+ 9+X
:
!
=
\UU (
=
(
!
( (
' &
#
#
'
.
'
&
%
#
& -
-
#
&
0
!
#
#
"
"
(
#
9 !
7
/ "
#
#
#
& 000:
*
'
!
= %
/ (#
"
!
#
.
]
=
,
!
!
(
(
!
#
!
#
J +
/
#
9%
(
#
(
-
"
P
7 J= @+:
# '
/
#
9
7 + J:
"
@ !
*
7 (
-
9^ S#
# &
:
#
,
9
#
-
(
9+
/
!
:&
+,
- .#
:
!
"-
+J ;