The F-Logic Approach for Description Languages

!" #$ !%&!'( ) *#& +! ,''
-.+# /0(!1 #$ !% 230
4"5"" 6789 -,%0 :;<=79 >(
&?3+("!!
@ABCD-7 B -;6<6 CC
E'%' F #! G*- A 8-= C
HIJKLMNK
OPQ RSTUQVWXYZ[ \RVWXYZ[] T^^SXT[P X_ `abc Zd deYYQdfQg Td Th ehgQSWiZhY _STUQjXSk _XS gQd[SZ^fZXh WThYeTYQdl
RVWXYZ[ Zd dPXjh fX ^SXmZgQ T _eWW T[[Xehf _XS gQd[SZ^fZXh WThYeTYQdn jZfPXef WXdZhY fPQ gZSQ[f dQUThfZ[d Thg fPQ
gQd[SZ^fZmQ hTfeSQl of [Th de^^XSf de[P gQdZSTpWQ _QTfeSQd Td PZYP XSgQS SXWQ qWWQSdn [XWWQ[fZmQ QhfZfZQdn ZhfQhdZXhdn SXWQd
Td qSdf [WTdd XprQ[fd Thg hVTSi SQWTfZXhdPZ^dl sQfn Zfd dQUThfZ[d Zd qSdf XSgQSl oh Th RVWXYZ[ pTdQg gQd[SZ^fZXh WThYeTYQn
_Qj gQd[SZ^fZXh [XhdfSe[fd TSQ peZWf Zhn Thg [Xh[Q^fdn SXWQdn Mtu fQSUZhXWXYZ[TW X^QSTfXSd TSQ gQqhTpWQl vZd[eddZXh X_
gQdZSTpWQ _QTfeSQd Zh gQd[SZ^fZXhd Zd UTgQ ^XddZpWQ jZfPZh T dZhYWQn ehZ_XSU _STUQjXSkn fPTf TWdX [XPQSQhfWi ZhfQYSTfQd
jZfP WXYZ[ ^SXYSTUUZhY Thg gQge[fZmQn XprQ[fVXSZQhfQg gTfTpTdQ fQ[PhXWXYil Oi^Z[TW gQd[SZ^fZmQ X^QSTfXSd [Th pQ
gQqhQg Zh fPQ WThYeTYQn fPQSQpi iZQWgZhY T wQxZpWQ gQd[SZ^fZXh WThYeTYQn Zh jPZ[P hXf TWW X^QSTfXSd Uedf pQ peZWf Zhl
yz{|}~

!"
#$" %
&
& '
& ,
!() * +"

& - .

/ . % /
0 1
! #* +$2 +( $ 3
/ 4

1
/
- 3 ,
56 3 /
7 8 } 9 : ; <

/ %
5 = >5 ?6 @ ?5
> A
>@ > @5 55
4
@5 = 3
>B %
5
&
% 3 @5 ? 5 > 5>
? 5 ?@ ?B 55 @5 >@ > ? B
&
0 3 55 @5
&
@
& 5@ 5 ?
&
> 5

- >

/ 0
3 3
/ : 7 } :97 z 0 3
= 4
/ 4

- 3 : ~yz {
4 1
>

/
/ .
!" +#( # * ! "
! "! # ! # " 3
= > = ? =

= @ 3 = 6
=
- 3

' @>

4 !" #$ " /
!() * -
.
3 # +#
%
:8 5

} z
: !"# $ :8 % " " } z } }z '
(
} z : % " % " % " & !"# $ $ $) !
?
% " & #( * ( * ( $ ! " * $ (! + 2 ! +*
#$ " * $ } z

(!+ 2 ! +* +2 : #*
# } }z # " !("!
- ! #* +$2 .
3 ! # +# / #$
# " !("! # " !("! %

5
} }z

/ % ,

-
3 %

@ %
% " % " & '
(
!"# $ $
% " & !"# $ $
'
(
!"# $ $
% " & # +# / 4
"" # !+ ( $ ) % /
. #* +$2 +( $ ) 3 %

% " &
"# $
/ A
3 / 3
.
/
3 /
.
3
- /
3 %
-
/ %
: %
-

/ - ,
-
, - ' - ' -

4 4
1
3 >> ? 6 ?? .
3 > ?5 5
/
3 / 6 ?6 >> ?> 3
, - == , @ 3
3 3

?6
55 / '' >6 , - == , %
@
3 3 / -, >? >
3 , - == , >
3 3 3
>B 3 3 - 3
/ 3
, - ' -
-
A

% ! " !) " $ "
! " !) " $! ) "
/ .
/ ! #$ ( * " * $"
#+*+ ! + ! #$ " * $" / . . /
%
5 ) > A
%
:8 ) $" :9 z : 9 5 ! . %
$# : #
% ""
? 4 %
! " %
! - 3 @ .

{
" 89: %
6
{ } } 9 z :8 : z %
! !! *

z~ % / ! ! #* " #$ ! #* " , . .
. -
#
% % #
}~ : z %
1

" z :897 %

/
. 3 3
:8 : } z :8 ~} z 78 z~z %
:8 : } z :8 ~} z 78 z~z = %
-
- / /
"
!
!
!
!
!
!
" "
'
) "
")
""
!
!
!
!
!
!
!
! " !"#$#%& %'&(&!'%) *(+# , ##% -)#. !% &*# /) 0 1!&#$(&-$# 2 3$!4 !&!+# .#5%!&!'%) *(+# ,##% .#%'&#. (1)' -)!%6 7 '$ 89 : 4 #4,#$)*!; *(+#
,##% .#%'&#. (1)' -)!%6 < '$ 88 : = >() (1)' -)#. ?'$ .#%'&!%6 )-,)-4 ;&!'% 2 @ *# (, '+# ?'$4-1(&!'% ?'11'> ) &*# %'&(&!'% !% ABCD 2
EF% AG H IBDH $'1# )J4, '1) ($# ())!6%#. &'&(1 ?-%K&!'%) ?$'4 L &' M NL O2 @*!) !%&#$;$#&(&!'% '? $'1# )J4, '1) !) )'4 #> *(& K1')#$ &' PQ1'6!K 0)
+!#> '? 4 #&*'.) 2
RS# +!#> $#1(&!'%) () )#&Q+(1-#. ?-%K&!'%) H > *#%#+#$ !& )!4 ;1!5#) &*# ;$#)#%&(&!'% 2 F% &*# .#5%!&!'%) '? &*# 4 #(%!%6 '? &*# ';#$(&'$) H ># 1#& H
?'$ ( $'1# )J4,'1 T (%. ( .'4 (!% #1#4 #%& U H V NT ONUO .#%'&# &*# )#& '? (11 .'4 (!% #1#4 #%&) $#1(&#. &' U +!( V NT O H !2# 2 H &*# )#& W XYNU Z XO < V NT O
[2
/ 3 /
/ " " * ! + % / / / + ( $
/

-
!" ~} } 797} 8 ~}} (
+ +
-
!" * ! " ! "!# ! # "
( # ! + ( $ # #+ 2 -
3 /
1

! ( # " #+ + # " + ! * $ "

/ -
3 %
"
"
$ ! " "
"
$ "
"
"
$# " "
$# #
"

/
( +# + #* (! + 3 " " +$ #
'
B
/ +$ # 3
% 3
! )! - " "
(!! #+ ! ( * (2 ( #""
* ! ! #(! / 5
+ #+!( $ + #+!( $ 3 $# ( # (2 ( $ ( # +$ #
+$ #

/ 3 /

#2 +"! # + $$2

* * + !! " + 3
/ +2 $2 + (! + % ~z 7 z
= ? >

z~ :97 } 8 % -
~ z 89:97 } 8 % / !" #$ " + + + ( $" 4
/ /
4 4 /
4 4 %

0 3 3

"
"
"
"
"
% !# $
$
#
$# $# " "

% - (!! #+ ! (! #
(!! #+ ! #$ (!! #+ ! (! #
5 (!! #+ ! #$ 5 (! # #$ / * !
/
3 3 ? :8 $ 2 + "
:8 $ 2 2 $" ( # " * $ " 2 + ! #* " / :8 $ 2 + "
:8 $ 2 2 $" 3
:8
( # " ! "! # ! # " % /

/ % +" ( (!(
" +2 (! #
) " $
5
"(

/ * ( # " :8 $ 2 + " %%
=
> 3 %
* ( # * ( " " (!(
) " "

* ( # " ( ( # $# &
* ( # ! ( ( # $# %
4
# &
" ! ) $"

) )

4
5
3
" ( (!! #+
! (! #
$# + #+ !( $ (!! #+ ! (! #
! ( (!! #+ ! #$
$# + #+ !( $ (!! #+ ! (! #
+$ # (!! #+ ! #$
? =
3
" ( +$ # ) $"

+$ #
/ %
" (
) $"
% :8 * ( $ * ( ##+ " (
" ( }
} :8 * ( $ * ( ##+

1 3 > 3 3
%
5 ( $! " $ $ ( $! * ( (2 # (2 +2 "! 2 # ( # " !
+2 "! 2 # & ) ( 2 ( $ ( # @ /
"" (2 +2 "! 2 #

( # " - +2 "!
( 2 ( $ ( #

2 #
@
% !# % !# % !# % !# > % $ $ % ! ) $ * ( ( # /

5
$-1# !) (% !4 ;1!K(&!'% > *')# K'%K1-)!'% !) (% PQ4 '1#K-1# 2
55
$ $
5
?
%
$+"! # "! / #"! $
$ 2! ( $
$
%
+ ! # "! + 2 !! #+ ! " # $
% % !# + ! # "! + 2 !! #+ ! " # $
% % !# /
% ) $" % ) $" }

}
(!! #+ ! "

% !# $ @ , 4
"
) $"
- .
3 56%
* ( # $ /
# $
) " $ $ % " $ ) $

4
4 A ' ' 4 4 /
%

) 6
")
$
")
$
4 %
$ $
% ) $" 5 B /
/
%

/ % ~z 7 z
/ 3
3
5
.

/ 3
3

%
" %
/
/
3 * #
(
" ( 5

/ %
" % " %
%
%
" %
# $ "%
% %
"
/ & &
/
" 5?
.
/

= - %
>
" % 3 % -
/
> %
%
"
"
%
%
"
"
5
?
4 %
" %
5 %
>
4 %%
" %
5 % &

? >
5 = /
.
3 3
@
" $ +$ # # " * ( $ ( 2 +$ + " +$ # .
3
3 > .
%
5 / 3 !
"

$" " 5

) $"
/ 3 % @
" ! " ) $"
! > / "

$ 2 # ( 2 +$ + ! 2 #

$" " ) ")
"#) ? /
"
@
$ "
$"

? 4 4 4
4 /

/ > 3
3
?
3
/ 3
4 3
4
1
/
4 4 /
'

5@
/ } z~ } : 78 '
3
/
/ 4 4

/ 3 3 %
5 / 1
:8 } z 3 4
> =

? A
4 1

4 /

/
4
4 3
& / :8
~z :9 z 9 }|z~ } 8 & / :

& / :9 z : 9 :9 } 9 } z
56

/
/
4 :

3 4 4

' ' '
3
> 5
4 3
4

:8 / :8 6
%% :8
3 %
%% :8
- 3 %
%% :8 B
:8 %% @*# K*(%6!%6 ($!&J !) )-;;'$&#. ,J &*# !1'6 #%*(%K#4 #%& &' PQ1'6!K A D 2
5
%% 5
/ )! " + :8
3 %
% :8 z 7 9 /
% z 7 9
z 7 9 %
/

z 79 z 7 9 %
( $+( $ - 3 %
5 %%
z 79 & %
z 7 9 & 5>
z 7 9 & 3 z 7 9 3 3
- 3
z 7 9 3 %
55
%%
5?
%%
z 7 9 & 5 :9 z : 9 5
( $+( $ %
5 %% z 7 9 %
5@
%% z 7 9 56
z 7 9 >5 - 3
: / :

4 : %
5
%% : 5B
: : A
3
/ : +$ ! # / / : 1
%% : 5
- 3 %
! " !"
! " !"
! " !"
%% : 5B
: 5
/ : 3 %
5
> %% : & %% = 3
3 3 :9 z : 9 5 z 7 9 :9 z : 9 > z 7 9
:9 z : 9 # z
%% :9 : 9 5 >5
>>
z
%% :9 : 9 > & & 1 z 7 9
) ) ! >?
:9 z : 9 5 %%
z 7 9 > :9 z : 9 > %%
z 7 9

5 >5 >> '
>? >

5
- ( $+( $ z 7 9 %
: 5 5 z 79 %%
- %

%% 5 : %% : = 6 5
3 3
3
% :9 z : 95 3
/
- % :9 z : 9 5
3 >5 >5 :9 z : 95 &
> %% :9 z : 9 5 &
A :8 ~} z 78 z~z 7 z 8979{ } }z
3 %
"
" "
" !
!
! '
:8 ~} z :8 (
.
3
>@

%
& :8
:8 6 B >@ >6 / 4
4 4
%% :8
3 B
%% 4
>6
:8 &
78 z~z >
78 z~z >
>B
78 z~z & & 1
.
3 , - == ,
%
$"
%%
$"
z 79 :8
) $"
: ( # #
$"
%%
# :8 :8 :9 z : 9 5 :8 $# $ " %%
: :9 } 9 > ( # # $) " $ $"

- %
" # !" ( # ( #
( # +$
%
! / ( $+( $ %
z 7 9
" # " %% #+ #
( # #
%% #+ #
" ! !
%% " # " " # " %% # " %%
''

.
/
>5
##"
3

/
%
%
")
")
")
/
4
- 3 @ .
/ 3 > 5
/ /
/ !
!! * / . .
/ /
4 / 4
4
' /

! !
! !
!
!
!
%% ! " " % "
" /
.
)!4 ;1#$ H (1&'-6* 1#)) !%&-!&!+# H &$(%)1(&!'% !) ',&(!%#. !? (% ?'$4-1( 8 !) $#;1(K#. ,J &*# ?'$4-1( 88 2
>>
; z 8797 } 8 !
%% ") % ( $ ! ( + ! # # !(! + ( # # " #* $ ( % "" %% $" % %
%% # $" !" !) ( + ! # # !(! + " ! (!
"( ! (! ( +
=
< z : # # (
+ ! # # !(! + ! # ) +"!" ( ##" + 2 + +" ( + ! # # !(! + ( + # "( ~}} / 3 /
3
3
/ 3 - 3 z}~z ( # " # $2 +( $ +* $+(! + % %
(! +" # # " ! #* $ ( ( ( #* $ ( +
~}} - / >

/ >
; z 8797 } 8 ! # ! + # # " ! #* $ ( ( ( #* $ ( + % %
}~} : ~{
## " " ! }~} : ~{
! ! ! ! ! #* " ( + ( ! #* +$2 +
( ! # ! (! ## " " ! ! %% ! >?
! ! $ "
z}~z ! : :9 z : 9 :8 ~} z ( :8 %%
:8 %% :8 %
% :
%% % % % :9 z : 9 :8
# % $ "" ! # +" " + ( $$ ( #+ ( $ " "!( # ! + !
%
# (" $ !! # ( # + # "( $$ ( ! + ## " " ! ~}} / / ?
>%
< z : # # ( + ! # # !(! + ! # ) +"!" ( ! (
+ ! # # !(! + " ! (! # # " #* $ ( % %
! / 3 B 5
:8
/
3 3

>
1
=
3 @5 / A " A -
- 3 =A = A
/ %
%
%
" "
3 3
A
" A %
> ? " / 3
% % %
% % %
# " $+ # " " $+ (
$ ( ( # ! * ! /

' 3
- !( # "
$# !( # " % * (! # " !( !( # " * (! # " %
$# $#
# "

$# !"# $ !"# $ F& 4 ( #) %' )#%)# &' ,-!1. '; #$(&'$) 1! # (%. !%&' &*# )#4 (%&!K) H () &*#$# ($# 4 (%J '&*#$ )!4 !1($ ';#$(&'$) &*(& *(+# &*# )(4 #
)&(&-) 2
>@
#(! # #*+ 2 #(! #
3 4

1 5
%
%% %% % % ?5
& !( # " * (! # "

= :9 z : 9 A :9 z : 9
%
$# :9 z : 9 :9 z : 9 ,
/
5>

/
%
$ &
""
!

& , /
%
%

% %
% %
%

@*# )-;#$ -'-) )&(&-) '? &*!) .!)&!%K&!'% ?'$ %'> 1#.6# $#;$#)#%&(&!'% !) %'&#. !% AC D 2
>6
/
/

3 ,
3 5>
& A
3 3 5>
3 %
5
%
!
> = %
/ / 7 9 ~ 7 97 z
%
7 9 ~ 7 97 z 3 %
" $
$
"
"
# # $ $
~
z
$ 7 9 7 97 "
%
# % ?
%
/
/ 3 :97 z
%
:97 z 3 %
'
$ '
z
' :97 % % %% & = %
/ %
$ $ ' :97 z " " " $ 3 ,
>

? /
% -
/ -

%
/
-
%

5 >
- 3
) ) ! " !"
! ) ) $" ! " " !" " ! "
# " $) " $) / >@ > @5 /

& } z 9{ ( 78 %
& : ~ 78: 79{
) ) ! " "
!" " ~z 9 ~ 7 97} 8 % / 3
3 %
'
- %
z 7 9 %% :9 z : 9 > :9 z : 9 %
%% :9 z : 9 /
%% :9 z : 9 >
%% :9 } 9 >
) z 7 9 %
) ) >B
%% :9 z : 9 & ' z
~} z z~ %
%% z ' %
%
& %% %
%% %
& %% / z '
%%
&
z
'
} z %%
z
78
'
%% %
} ~} z % A 789 ~ 78 7 z 9 ~ 78 7
: ~ 9 } zz 897: z~ 7 z 3
6 /
'
'
(
& 97 { 9 z
z 7 9 z 8 z } : } 8 z 9% - 3 ( ! 5? %
%

'
'
' (
% % % % /

?
-
3
:8 : z : 9 { >
%
'
5 / %
* ( ** ( $ ( +* (! ! ( # # " # " > /
* (
%
# * ( ** ( $
>
% : ) ! % % ) ? - 3 "
3 z : ' 9 { >
%
# # %% % %
% : ) % #

: % ) % # /
/
z z~ : :{z~z >@

=
, = 4 3 B%

-
/ %
:8 } z ~

- z ~ 7 97 } 8 z 7: }~
4 #( $ ! # ! #( $ +
%
#$ " " + (! + " ( # ! + ! + " ( # !
/ 3 %
'
(
( '

" " / = 4 3 %
+$ ( * $ :8 # " ?
'
} 8 797} 8
$" " # " $
!#
$ (2 2 " $ $ (2 2 ! # 2 2 ! # } 9 z ( ~z 7 } 8 5B %
+$ ( * $ :8 # "
$" " # " $
/
! # " $ (2 ! # (2 %
%% '
} 8 797} 8 '
} 8 797 } 8 /
1
%
'

-
/ 3
%
+$ ( * $ :8 * (
$" " " $
" # " ! # " $ (2 ! # (2 A

@ > /
)! " + /
)! " +

! " !) ?5
3
, - 3

3 /
%
A / '' , - == ,

= 3
? 5 > B 5@ @5 55 >
- 7 :9 /
%
'
& /
& = 6 5
&

&
3
& -

,
6 >
T U TX K(% ,# K(;&-$#. ,J &*# K'%K#;& &#$4 NT U Z
N
TXO *'1.) !% ( )#4 (%&!K )&$-K&-$# H &*# .#%'&(&!'% '?
NT U Z
TXO H > *')# .#%'&(&!'% *() %' 4 #4,#$)2 '&# &*(& -%1#)) T U
TXO %##. %'& H %#K#))($!1J H ,#
2
@*!) # (4 ;1# !) .-# &' S''.) 2
F%&#$#)&!%61J H &*!) ?$(4 #>'$ )##4 ) &' ,# ( .-(1 &' &*# / F +!#> ; '!%& H !% > *!K* #+#$J&*!%6 ,#J'%. / F 0) K(;(,!1!&!#) ,#K'4 #)
;($& '? ( ,1(K ,' &#)& 2 F% &*# (;;$'(K* '-&1!%#. *#$# H &*# ;'>#$?-1 !%&#6$(&!+# )K*#4 # '? &*# P/ !) &*# .'4 !%(%& '%# H (%. > !&*!% &*(&
)K*#4 # &*# 1!4 !&#. &#$4 !%'1'6!K(1 $#()'%#$ !) !%K'$;'$(&#. H ;'))!,1J () ( ,1(K ,' 2
?>
% /
, - == , ?>

z } 8 9 ~ :789 : z ~} : } " 7 9 " :
((
'
'
'
:8 " } y :
/
/
- A %
, , 3 %
")
% % /
/
/ 3 /

/ "!#( + !" " "! * "
/
/ * $! "!#( + !" " "! * "

/
3

%
!" !
??
5 -

!
> / !
$ ) % ? / !
!

!
!

/ /
!" )
!
!
/
1

/ : z 7 9 :8 }~ 8 } 9
%
; z 8797 } 8 5
%% : >
%%
?
%%
}~ & %% %% %% %% %% 8 } 9 ") %% %% }~ 6
%%
B
8 } 9 8 } 9 ") ")
")
}~ 8 } 9 % % +" ! !" ~} } 797} 8 (

$ ) % 8 } 9 5>
! " #+ ! + ! +" " " * % 8 } 9 ! + + 2
8 } 9
% " #+ ! +
8 } 9 ") ! " #+ ! + ! +" !" + + !
( ! " #+ ! + ! ! + ! " #+ ! + ! +" !" + ( $ + ~} } 797} 8 (
8 } 9 ") ") ! " #+ ! + ! +" !" + %
:8 8 } 9 8 } 9 ") !
; z 8797 } 8 %
55
& %% @
5 -
z 7 9 :8 !
%%
% ! +" "(! +" ( $ + / %
# + $ ) +"
( # ~}} A ,
?

:8 }~
8 } 9 :8 }~
6 :8 }~ %
~} } 797} 8 (
" * ! + + " + ( $ ! ! + # !
1
% " %
:8 ! 8 } 9 $ !" :8 }~
-
5 -

% %
& %% %% !
!
!
%%
!

!
>
!
(
?
~} } 797 } 8 !
+" # ! + ( $ +

!
%% : ! ) !
%%
) !
%%
) !
%%
z 79 :8 }~ ) !
%%
")
~} } 797 } 8 (
!
!
!
%
&
%
!
! ! & % %% !
%% ! %% }~ %% ! %%
!
+" "(! +" ( $ + ( $ +
!" ) !
%% !
!
+" %
& %% }~
%
!
$ !
# & %%
%
~} } 797 } 8 (
+" "(! +" ( $ %
&
%
) !

!
!
!
+" "(! +" ( $ + ( $ +
!
+" ?@
%
%

!
!

; z 8797 } 8 ! $ %% 8 } 9 ") %
~} } 797 } 8 (
z}~z +
!
+" ( " " ! #* $ (" ! #* %
%% ! % %% 8 } 9 ! #
!
+" "(! +" ( $ + ( $ + + ! +$ " $ (" ! " #+ ! + ! + " +* $ +" # ! + ( $ +
!
+$ " $ (" z }~ : 7 z } : ~z ~} : }~ ; z 7 78 " 97} 8
(
((
'
'
(
/ #* ( $+ * ( # .
.
/

/
/
3 /
?>
" & !" ) " & !" ) }~ : 7 :97} 8 ~ z
&
:8 !
! & :8 :8 ! :8 !
& :8 : ! : & : ") ")
: :8 !
& :8 :9 z : 9 :9 z : 9 :9 z : 9 %
,
. . 1

} : ~ 7 } 8 ~ z
(
/ ,' - A ?> . ,' - A !

!
. ?6
= %
& 8 } 9 ")
& ! :8 ,' - A 5
& ! :9 z : 9
:9 z : 9
& ! :9 z : 9
:8 ) ,' - A )
,' - A ! 5

-
/
/

3 : %
" " ! %% : & %%
%% : /

4
/
4
3 :8 %
%% :8 :8 ~z :8 ~z :8 :8 ~z %% %% :8 ~z %% :8 ~z " " ! ) ! (
(
(
(
?
(

/ :8 ~z 3
: ~z -
(
(
/

3 /

4
4
= :

3 0 3 - 3 -
. 4 /

> 3 %
< z : ! ( + ! # # !(! + + ! # # !(! + ( ! ! ! ! ! ! ! ( ! $$ + 2 + ! + " 2 ( #( ! ## " #$ (! + ! ( # # ! " * $ + " " # ! " * $ + ! " +" + ! + +* $+ " ! " # ( + + + ( $
# # ! " * $ ( # ! " * $ + " ! + ! " ! ! ?B
#
( ! ! " * $" " "
+ ! " ! " #
( ! ! " * $" ! #
# ! " * $ ( # ! " * $ + ! ! ! " #
# ! " * $ ( # ! " * $ +
!
+ ! ! ! ! ! " ! ! +" + ! + 2 ( #( ! " ! (!
"(! +" " ! ! +# ( # ! () +* " + " + ! + # # ! ! ! " * $" + ! ! + ! ! ! ! (! +" ! $* !" ! (!
+ ! # # ! " * $" " # ! ! ( $+ $* !" ! # " ! ( # ! + $ ( # ! +" + ! + 2 ( # ( ! "
! (! "(! +" " ! # "! ! () +* " + " + ! + #
# #$ " * $ # + ( $* !" #* + ! ! +" ( +$ " ~}} ! 5 @ !
% >

!
! !
!
"

- !

! 3
3 5 > ?
! /
!
! !
5 @

! ! @ ?
! /

%
%

! ! >
! ! ! ! @ ! " "
" "
"
"
"
"
"
"
"
"
"
"
< z : > # # ( + ! # # !(! + ! # ) +"!" ( ##" + 2 + +" ( + ! # # !(! + ( +
# "( ~}}

4 5 @
B 5
! / !
4 ! 4
4
%
!
! !
"
"
!
!
"
!
!

! ! $ % !# $ ! B 5 $2 * !"

=
/ A =

5
1
? 6 ? 5 5 >

>
1 1 -

> >B 5 5 >
? =
= , = A 3 # + 2 ! " "" " + " #+ ! + 2 + " 55 5? 5 >
( $$
* " + *
-
/ % ,
>@ >6 5 >

@ -
A - A , % -
' A 5 B
6 A
= - A - %
= #++ $" * ( !+ ! # " ) $#(! + " + ! #" !(! + $ 2 5 @6 5 5
A
1 ,
- 5 B>
5B 5 >
B A
1 /
? ? - / 3 5 B
A
= -
%55 >56 5 B@
2 + ! + +

5 , = 1 % - * + 2 5@ ?%5B >? 5 ?
5
2 + #2 #( * 55
A = / % 3
# !+ + ( $ ! $$+2 B ?%>65 > 5 5
5>
,
"" " + " #+ ! + 2 + " ? 5 ?@ 5 >
5?
# + 2
! " ( $$
* " + * / = A # + 2" ! # " @ 6 1 5 B5
5 # +2 ! " ( $$ * " + * "" " + " #+ !+
2 + " ?6 ?B 5 >
5@
1 1
" #+ ! + 2 + " @ B 5 >
# + 2
! " ( $$
* " + * "" " +
1 / #( * !+ " ( 5 ,
)! # "!( + 2 6 6 5
56
5
1 = = =
? B ?@? 5
5B
= ? ? > 5 >
5 % -
5 B
> / A
?. 6 , = = = - 5 ? -,
>5 1
A - A
1 ( +2" + $ 2 #" !(! + 5 , 5 B@

>> 1
*
A 3
!(! + ( $ ! $$+2 ? %B ? 5 B
>
>?
, - = / / A
, = / A 5 B@
> , - = / / A
5 , = / A 5 B
/ A >
/ A
>@ A
/ =
#++ $" * ( ! + ! # " ) $#(! + " + ! #" !(! + $2 ?B@
5 5
>6 A $$ ! + >?%BB > 5 5
> A 4
"" " + " #+ ! + 2 + " @? @@ 5 >
>B A / A
" #+
> ! + 2 +" --- 5 >
5 4
@ 6 5 >
# + 2
! " # + 2
( $$
# + 2
! " ( $$ * " + *
! " ( $$ * " + * "" " +
* " + * "" " + " #+ ! + 2 + "
? -
=
>@ > 5 >

?5
, 3
5 BB
?>
(" + 2
= 5 B
( +" + +
# ! + + ( $ ! $$+2 ? %?5 ?B?
#+ #" !(! + "! * "
=
??
/ ? / % = = #++ $" ! # " ) $# (! + " + ! # " !(! + $ 2 ?? 5 ?65 5 5
?@
# ! + + ( $ ! $$+2 ? %>?@ > 5
, %
# + 2 ! " ( $$ * " + * "" " + " #+ ! + 2 + " 6 5 5 >
?
* ( ! +
-

?6
= =
# " , 5 B
# + 2"
! ?
?B
= =
2 + " @ 5 >
# + 2
# ! + + ( $ ! $$+2 ? %>6? >> 5 B
! " ( $$ * " + * "" " + " #+ ! +
? = # +2
! " ( $$ * " + * "" " + " #+ ! + 2 + " @ 5 >
= = / -/ /
5 ?
/
+ " #+ ! + 2 + " 6 5 >
5 -
# + 2
! " ( $$ * " + * "" "
>
-
B B> 5 >
# + 2
! " ( $$ * " + * "" " + " #+ ! + 2 + "
?
A -
> ? @ 5 >
- A -
A = ,
/ A 5 > -/ / 5
@ A

2 + " + B 5 @ % = - 6?? 5 >
6
= = = # + 2" # #++ $" $2 #" !(! + ( (" + 2 >5 ? 5 / ' , 5 B
= = = - # ! + + ( $ ! $$+2
B 5%5 >6 5 5
B - =
3
" #+ ! + 2 + " B 5 > 5 >
# + 2
! " ( $$
* " + * "" " +
= / # #++ $ "
$2 #" !(! + ( (" + 2 ?> ? / ' , 5 B
@ = / 3 = #++ $" * ( ! + ! # " ) $# (! + " + ! # " !(! + @5
@>
$2 5@ 5 5 5
- 3 % - = #++ $"
* ( ! + ! # " ) $# (! + " + ! # " !(! + $ 2 @ 5 5
- = / *
= - 5 >
@
! # " ( (! * (! + " + !
$+(! + " =

Download Report

The F-Logic Approach for Description Languages

Paperzz.com

Your Paperzz