Publicações do PESC VDM-TXT: Um Tradutor de Especificação em VDM para Linguagem Natural

VDM-TXT: Um T r a d u t o r d e E s p e c i f i c a ç ã o e m VDM p a r a L i n g u a g e m N a t u r a l

M a r c o s V l a n n a V i l I a s

T E S E S U B M E T I D A A O CORPO DOCENTE DA COORDENAÇXO DOS PROGRAMAS DE P6S-GRADUAGáO DA U N I V E R S I D A D E F E D E R A L 00 R I O DE J A N E I R O COMO P A R T E DOS R E O U I S I T O S N E C E S S Á R I O S PARA A OBTENÇÃO DO GRAU D E MESTRE EM C I E N G I A S E M E N G E N H A R I A DE S I S T E M A S E COMPUTACÃO. A p r o v a d a ~ o r : P r o f . S u e l i M e n d e s , P h . D . ( P r e s i d e n t e ) P r o f . S h e i l a R e g i n a M u r g e l V e l o s o , D . S c . P r o f . J o s é ~ u c â s M o u r ã o R a n g e 1 N e t t o , P h . 0 . R I O DE J A N E I R O , R J

-

B R A S I L J A N E I R O DE 1 9 9 1

V I L L A S , M A R G D S V I A N N A V D M - T X T : U m T r a d u t o r d e E s p e c l f t c â ç ã a em VDM p a r a L i n g u a g e m N a t u r a l E R i o d e J a n e i r o 1 1 9 9 1 V i 1 1 , 9 6 p . 38,7 cm C C O P P E / U F R J , M - S c . , E n g e n h w r l a d e Slswrnas e G o m ~ u t a ç a a , 1 9 9 1 ) T e s e

-

U n i v e r s i d a d e G e b e r a i d o R l o d e J a n e i r o , L O P P E 1 . C o m p u t a ç ã o I . C O P P E I U F R J 1 1 . Titulo

C u r r i c u i u m M a r c o s V i a n r i a V i l l a s , n a t u r a l d o R l a d e J a n e i r o , n a s c i d a em 31 d e J a n e i r o d e 1 8 8 2 , f o r m o u - s e n a G r a d u a q ã o e m T e c n o i o g i a d e P r o c e s s a m e n t o d e D a d o s d a P U C I R J e m 1982. T r a b a l h a d e s d e 1982 n o desenvoiwirnento d e s i s t e m a s a p l i c a t i v o s c d e s a f t w a r e b á s i c o , a n d e a p l I c o u o s e u c o n h e c i m e n t a s o b r e rnetodo9ogias e t b c n i c a s e s t r u t u r a d a s p a r a d e s e n w o l w l m e n t o d e s i s t e m a s , b a n c o s d e d a d o s , s i s t e m a s o p e r a c i o n a l s e l i n g u a g e n s d e p r o g r a m a ç a o . J 5 a t u o u c o m o p r o g r a m a d o r , anal-ista d e sistemas, c o n s u l t o r e g e r e n t e t é c n i c o . P r o f e s s o r A g r e g a d a d o D e p a r t a m e n t o d e T n f o r m á t i c a d a P U C ~ R J , l e c i o n a a nivei d e g r a d u a ç ã o

em

T e c n o l a g i a d e P r o c e s s a m e n t o d e O a d o s d e s d e 1983 d i s c i p l i n a s c o m o L i n g u a g e n s e T é c n i c a s d e P r o g r a m a ç ã o , E s t r u t u r a d e D a d a s , I n t e l i g 8 n c i a A r t i f i c i a l e B a n c o d e D a d a s , a l é m d e o r i e n t a r t r a b a l h o s d e f i n a l d e c u r s o . É c o - a u t o r d a s E i v s o s " V A X : Urna I n t r o d u ç G o n ( E d . G a m p u s , 1987), " P r o g r a m a ç ã o : c o n c e i t o s , t é c n i c a s e I l n g u a g e n s n ( E d . C a m p u s , 1 9 8 8 )

e

* E s t r u t u r a s d e D a d o s : e s p e c I f i c a c $ o e Irnplementac5o" E . C a m p u s , t i t u l o p r o w i s b r i o , em preparação).

E s t a t e s e 4 d e d i c a d a a o m e u p a i , T o m a s A g u s t i n V i l l a s , f a l e c i d o e m 16 d e F e v e r e i r o d e 1 9 8 8 , a o s 66 a n o s . P a r a um pai q u e t e v e q u e a b a n d o n a r o s e u p a i s ( C Q i n a ) c o m p o u c o s b e n s m a t e r i a i s e q u e s e m p r e d i z i a " e s t u d a , p o r q u e o q u e vote a e r e n d e n u n c a n i n y u e r n v a i p o d e r t e t i r a r n , v e r o s e u f i l h o t r a b a l h a n d o , l e c i o n a n d o , e s c r e v e n d o l i v r o s e f a z e n d o m e s t r a d o d e v e t e r s i d o m u i t o g r a t i f i c a n t e . P e n a e l e n ã o e s t a r a q u i p a r a p r e s e n c i a r m a i s e s t a e t a p a r e a l i z a d a .

A g r a d e c i m e n t o s G o s t a r i a d e a g r a d e c e r à s s e g u i n t e s p e s s o a s :

-

P r o f e s s a r a S u e l i , p e l a s u a paciência e o r i e n t a ç ã a :

-

P r o f e s s a r R a n g e ! , p e l a s a u l a s p a r t i c u l a r e s d e t e o r i a d e c o m p i l a ç ã o , p e l o s e u bom h u m o r e p a r me a i t i b a r a " r e s o l v e r c o n f l i t o s " em r e u n i õ e s m a r c a d a s I n v a r i a v e l m e n t e n u s d o m i n g o s 2 n o i t e , p a r a s e r e m r e a l f z a d a s n ~ ~ e g u n d a - f e i r a s e g u i n t e ;

-

R a u l M a r t i n s , d a I B M B r a s i i i , p o r m e f o r n e c e r m a t e r ! a t s o b r e VDM;

-

M a r i a E m i l i a X . M e n d e s , m i n h a e s p a s a e e t e r n a n a m o r a d a , p e l a s u a c o m p r e e n s ã o e a p o i o (mesmo p o r q u e e l a t a m b é m e s t á f a z e n d o a s u a t e s e d e m e s t r a d o a g o r a . . . ) .

Resuma d a T e s e a p r e s e n t a d a à C O P P E / U F R J c a m a p a r t e d o s r e q u 1 s t t r s s ' i ; l e c e s s á i r i o s p a r a obtenf;ãa d o g r a u d e M e s t r e em C i ê n c i a (M.Çc.). VDM-TXT: U m T r a d u t o r d e E s p e c i f i c a $ 5 a e m VDM p a r a L i n g u a g e m N a t u r a l M a r c o s V i a n n a V i l I a s J a n e i r o d e 1991 O r i a n t a d a r a : S u e l i B a n d e i r a T e i x e i r a M e n d e s P r o g r a m a : E n g e n h a r i a d e S i s t e m a s e C o m p u t a ç ã o Um d o s p r i n c i p a i s pr80$lemas d o d e s e n v o l v i m e n t o d e s i s t e m a s 6

a

e x i s t ê n c i a d e e r r o s

n o

s o f t w a r e rechrn c r i a d o . T e s m s snãu r e s o l v e m e s t e p r a b l e m a , p o t s R u n c a s ã o c o m p l e t o s e s õ s e r v e m p a r a m o s t r a r a e w J s t S m c i a d e e r r o s , e n a o a s u a a u s ê n c i a . O u s o d e m é t o d o s f o r m a i s d e e s p e c i f i c a c ã o p e r m i t e a verificação m a t e m á t i c a d a e a r r e ç z u d e um s i s t e m a , p o r é m u s u á r i o s f i n a i s n z o t ê m p r e p a r a p a r a ler e v a l i d a r e s t a s e s p e c j f i c a ç õ e s . O VDM-TXT g e r a um t e x t o em l i n g u a g e m n a t u r a l a p a r t i r d e uma e s p e ç i f i c a ç ã o f o r m a ! , d e tal f o r m a q u e u s u á r i o s p o s s a m v a l i d a r o enteodirrieritu d o ani'i1Ista d e s i s t e m a s a r e s p e i t o d~ p r o b l e m a a s e r r e s o l v i d o .

t 1 D e s e n v o l v i m e n t o d e S o f t w a r e a 2 I ! . I c i c l o d e V i d a 5 2 1 1 .E! E s p e c l f l c a ç ã o : i n f o r m a l , S e m E - F o r m a l e F o r m a l a3 11.3 O P r a b l e m a d a V e r i f l c a ~ ã o d a E s p e c i f i c a ç Z o 05 I I I E s p e e i f i c a ç ã a F o r m a l em V D N 1 i 1 . I A p r e s e n t a ç a o I I I . 2 A L i n g u a g e m d o VDM I il.2.1 D e s c r i ç ã o G e r a l I 1 1 . S . 2 D e s c r t ~ ã a d e D a d o s 1 1 1.2.3 D e s c r i c ã o d e E x p i e s s B e s 1 1 1.2.4 ~ e s c r i d e O ~ e r ã c O e s P 1 1 . 2 . 5 O e s c r i c Z o d e F 6 r m u l a s

í n d i c e 1 V O T r a d u t o r VDM-TXT t V . 1 C o m p i l a ç ã o I V . L . 4 O G e r a d o r R w S IV.1.2 A n á l i ~ e L b x J c â IV.r1.3 A n á l i s e Sintática 121.1.4 A n á l i s e S e m â n t i c a 1 V - 2 G e r a ç ã o d e T e x t o l V . 2 . 1 Q r d e n a q ã o d a A r v o r e S e r n 2 n t l e a l V . 2 . Z T e x t o s C o m p l e m e n t a r e s p a r a t d e n t l f i c a d o r e s iV.2.3 E s t r u t u r a d a D e s c r i ç ã o 1V.2.4 D e s c r l f 2 o d o E s t a d o I V . 2 . 5 D e s c r i q ã o d a s T i p o s IV.2.6 R e s c r l c ã u d a s D p e r a ç i 3 e s I V . 2 . 7 D e s c r i ç ã o d o I n v a r i a n t e IV.3 A r s u i t e t u r a V C o n c l u s õ e s A p ê n d i c e A : G r a m á t i c a d o V D M A p ê n d i c e E: T a b e l a d e T s k e n s A p ê n d i c e C: O S i s t e m a E x e m p l o A p ê n d i c e C: T e x t o s C o m p l e m e n t a r e s A p ê n d i c e E: O T e x t o E x e m p l o R e f e r ê n c i a s B i b l i o g r á f i c a s

GRPITULCi 1 : I n t r o d u ç ã o T o d o s o s c o n c e i t o s s e 8 a t i v u s à s á r e a s d e l n f o r m á t i c a e G i G n c i a d a C o m p u t a q ã o t ê m urna b a s e t e b r i c a f o r m a l , c a n h e c l d a p e l o m e l o a c a d 8 m l c o . O q u e s e p o d e o b s e r v a r n a p s i t l c a d e u s a d a t n f o r m A t i c a n a d i a a d i a d a s e r n p r e s a s 6 q u e m u l t a s t a r e f a s e n v o l v i d a s n a c o n c e p ç ã o , a n á l i s e e p r o j e t o d e s i s t e m a s d e c o m p u t a ç 5 o s ã s r e a t i z a d a s s e g u n d o " r e g r a s d e o u r o n , a d q u i r i d a s com a e x p e r i ê n c i a e p e r p e t u a d a s d o s " m a i s w e i h o s " p a r a o s " i n i c i a n t e s ' " . Com a c r e s c e n t e demanda p o r q u a l i d a d e d e s o f t w ã r e , a l i a d a a o a u m e n t o d o u s a d e c o m p u t a d o r e s em á r e a s o n d e um e r r o n ã o p o d e s e r t o l e r a d o e nem r e p a r a d o ( e ~ : c o n t r o l e d e a p a r e l h a s m é d i c o s em um C T I ) , t a m b b r n o u s o d e i n f o r r n á t l c a n a s e m p r e s a s d e v e t e r U m s a l t o q u a l i t ~ t i v ~ . . Uma d a s f o r m a s d e s e a u m e n t a r e s t a q u a l i d a d e é v o l t a r 5 s o r i g e n s m a t e m 5 t l c a s , t o r n a n d o f o r m a l a p r o c e s s o d e desenvolvimento d e s o f t w a s e . E s t a t e s e t r a t a d o s o f t w e r e V D M - T X T , q u e t e m p o r o b j e t i v a t r a d u z i r uma e s p e c i f i c e ç ã o f o r m a l em Y D M p a r a I i n g u a g e m n a t u r a l . I n i c i a l m e n t e s ã o a b o r d a d o s a l g u n s a ' s p e c t o s d e d e s s n v o l v l m e n ' t o d e s o d t w a s e ( ! I ) . Em s e g u i d a é a p r e s e n t a d o o V D M , um t l p ò d e a s p e c i f i c a ç ã u f o r m a l ( 1 1 8 ) . F i n a l m e n t e 4 d e s c r i t o c V D M - T X T , em s u a s d u a s p r i n c i p a i s f a s e s : c o m p i l a ç ã o V D M e g e r a q z o d e t e x t o t W .

3 . Il.2 E s p e c i f i c a ~ ã o : i n f o r m a l , S e m i - F o r m a l e F o r m a l T o d a s a s f a s e s p e l a s q u a i s um s o f t w a r e p a s s a s ã o ~ m p o r t a n t e s , p o r é m q u a n d o wigurn e r r o é c o m e t i d o n a s f a s e s I n ! c i a ! s , m a i o r e s s % o a s s u a s conseqiiências e m a i o r é o s e u c u s t o d e c o r r e c ã u . A p r i m e i r a f a s e , d e n o m i n a d a e s p e c i f l c a ç ã o ,

diz

r e s p e i t o à d e f i n i ç ã o d o q u e d e v e s e r d e s e n v o f v l d a , o u s e j a , qual o o b j e t i v o d o s o P t w a r e . U m a e s p e c i f l e a ç 5 0 p o d e s e r r e a l i z a d a d e t r g s 'Formas: i n f o r m a ! , sem!-farnis!

e

f o r m a l . EM u m a e s p a c i f i c a ç ã o Y n f a r r n a l g e r a l m e n t e u s a m o s u m t e x t o e m I inguaqern n a t u r a l p a r a d e s c r e v e r a s o b i e t i v o s d o s o f - t w a r e , a s e n t r a d a s p r e w l s t a s e o s r e s u l t a d o s e s p e r a d o s a p a r t i r d e s t a s e n t r a d a s . E s t e t i p o d e e s p e c l f l c a ç ã o e r a m u i t o c o m u m a t ó m e a d o s dda d k c a b a d e 70, p o i s e x i g i a a p e n a s o c o n h e c i m e n t o d e u m a l i n g u a g e m n a t u r a l . O p r i n c i p a t p r o b l e m a o b s e r v a d o e m S l J t e m a s d e s e n u a i v i d o s a p a r t i r d e s t e t i p o d e e s p e c i d i c a ç ã o e r a o t r a d i ê j o n a t m n ã ~ e r a b e m I s t o o ~ U Pe u queerla

. . . " .

P o r n 5 o t e r ~ m a s s e r n â n t l c ã r i g o r a s a a l i n g u a g e m n a t u r a l l e v a a v & r i a s i n t e r p r e t a c õ e s , t o d a s c o r r e t a s , d e p e n d e n d o d o p o n t o d e v i s t a . N o s a n o s d e 1976 e 1977 s u r g i r a m o s p r i m e i r o s m & t o d o s p a r a t o r n a r m a i s f o r m a ! o d e s e n v o l v i m e n t o d e s o f t w a r e : P S L / P S A ( T E 1 C H R O E W

e

H E R S L E Y , 19771, S A D T ( R O S S , 1977) e Analise E s t r u t u r a d a ( G A N E e SARSON, 1 9 7 9 1 , e n t r e o u t r o s . E s t e s rn6todus a b o r d a m o u t r a s F a s e s a l e m d a e s p e c ! f i c a ç ã ~ . E l e s f a z e m u s o d e s i m b o i o s e p a l a v r a s - c h a v e p a d r o n i z a d o s , o q u e leva a u m a u m e n t o n a q u a l i d a d e d a e s p e c i f i c a ç ã o . M e s m o

a s s i m m u i t o s e r r o s p o d e m s e r i n t r a d u z l d o s e n ã o d e t e c t a d o s d e v i d o a X n f o r m a l l d a S e d a c o m b i n a ç 2 o d e s t e s s í m b o l o s , o u s e j a , e m b o r a a s i n t a x e s e j a r i g o r o s a , a s e m a n t i c a n ã o o é . N o B r a s i i â f g u r n a s e m p r e s a s t e n t a r a m u s a r e s t e s m é t o d o s c o m p o u c o s u c e s s o , d e v i d a a o g r e n d e n U m e r o d e i n f o r m a ~ õ e s q u e p r e c i s a v a m s e r m a n t t d a s m a n u a l m e n t e C e m f i c h a s ! ) . C o m o surglrnersto d a s f e r r a m e n t a s C B S E d m G o m p u t e r - A f d e d ' S o f t w a v e E n g i n e e r i n g " ) e s t e p r o c e d i m e n t o m a n u a l foi a u t o m a t i z a d o , t o r n a n d o m a i s s u a v e o t r a b a l h o d o s a n a l i s t a s e serrnitindo uma m a b a r b l f u s ã o d e s t e s m é t o d o s . O u s o d e t é c n i c a s s e m i - f o r m a i s é s a t i s f a t õ r i a em m u i t o s arnblentes, p o r é m e x i s t e m . si-tuaçiies o n d e n e n h u m e r r o p o d e s e r t o l e r a d a . E s t a s a p l i c a ç õ e s c r i t i c a s s ã o r e c e n t e s e f r e q u e n t e m e n t e o c l c l o " i m p l u m e n t a ~ ã o - a j u s t e - a \ i a l i a $ ã a n

( m u i t o utl!izacio e m empresas,) n ã o p o d e s e r r e a l i z a d o de%:

o forrnalismo c o n t r i b u i n o s e n t i d o d e e l i m i n a r

a

i n t f a d u ç ã a d e e r r o s d u r a n t e a c o n s t r u ~ 5 o d o s ù f t w n r e . N o m o d e l o p r o p o s t o por LeJlman 118843 e x i s t e m d u a s f a s e s : a b s t r a ç ã o , a n d e a d e f i n i ç a o I n f o r m a l d o s a f t w a r e a s e r desenvolvido é r e f i n a d a a t é s e r t r a n s f o r m a d a e m uma especlflcaçZio f o r m a l , e r e i f i c a ç s o , na q u a i e s t a e s p e c l f l c a ç ã o s o f s e transf.orma$ões d e m o d o a s e r cianstruida o s o f t w a r e . E r r o s n s o s ã o i n t r o d u z i d o s d u r a n t e a relficaçiia, p o i s a s r e g r a s d e t r a n s f o r m a ç ã o p a r a e s t a f a s e g a r a n t e m m a t e m a t i c a m e n t e q u e o s o f t w a r e c o n t r w i d o c o r r e s p a n d e l o g i c a m e n t e i e s p e c i f l c a ç 2 o f o r m a l i n i c i a l .

5 I . O P r o b l e m a d a V e r i f i c a ç ã o d a E s p e c i f i c a ç ã o A s i r e s f o r m a s d e especificaçiio a p r e s e n t a d a s q u a n d o a p l i c a d a s g e r a m u m a d e s c r i ç ã o d o s o a l e t l v o s

e

r e q u i s i t o s d o s i s t e m a a s e r d e s e n v o l v i d o . C o n f o r m e m e n c i o n a d o n o i t e m a n t e r i o r , o c u s t o d e um e r r o n a e s p e c i f i c a ç ã u 6 m u i t o a l t o , p o r t a n t o e s t a p r e c i s a s e r v e r i f i c a d a . T o d o s o f t w a r e é p r o j e t a d o p a r a a t e n d e r à s n e c e s s i d a d e s d e u m o u m a l 3 u s u o r i o s . E s t e u s u h r i o s a b e ( o u p e l o m e n o s d e v e r i a s a b e r ) d e s c r e v e r c o m p i e t a m e n t e t o d o s o s r e q u i s i t o s d a s o f t w a r e . C a b e a o anal l s t a d e s i s t e m a s e n t e n d e r e s t e s r e q u i s i t o s e e x p r e s s a r a s u a I n t e r p r e t a ç ã o a t r a v é s d e u m a e s p e c l f l c a ç 3 o . P o r t a n t o o u s u á r i o 6 o r e s p o n s á v e l p e l a v e r i f i c a ç ã o d o e n t e n d i m e n t o d o anal f s t a a c e r c a d o p r o b l e m a (especiflclcaçãa). P a r a o w s u á r i u e n t e n d e s u m a e s p e c i f i c a ç 5 o informal 6 s i m p l e s , urna v e r q u e e l a 6 um t e x t o

em

I l n g u a g e m n a t w r a i . Em u m a e s p e c i f i c a ç ã o s e m j - f o r m a l o u s u á r i u p r e c i s a c o n h e c e r o s s i m b o l o s e p a l a v r a s - c h a v e s w r l i l z a d o s . A e x p e r i êncl a m o s t r a q u e , d e v l d o a o e n f o q u e m u l t o especializado d a s t b ç n i c a s s e m i - f o r m a i s ( F u n e l o n a l , d a d o s , temporal), n e m s e m p r e o u s u á r i o c o n s e g u e e n t e n d e r cornptetamenie e s t e t i p o d e e s p e c i f i c a ç ã o , p o r é m e m g r a n d e p a r t e e l a p o d e s e r v a t t d a d a . A n o t a ç ã o f a r t e m e n t e m a t e m á t i c a d e uma e s p e c i f i c a ç ã o f o r m a l i m p e d e a s u a verificação por u s u á r i o s l e i g o s ( e m m a t e m á t i c n l . A s i n t a x e e a semântica d a I b g i c a d e p r i m e i r a

a r d e m , u t i l i z a d a t a n t o

em

e s p e c i f i c a ç õ o s a l g é b r i c a s q u a n t o e m e s p e c i f i c a ç õ e s b a s e a d a s e m m o d e i o s , a m b a s f o r m a i s , n ã o é d u u s o c o t i d i a n o d o s usu&rius. P a r a d o x a l m e n t e , e m b o r a a s e s p e c t f i c a ç 6 e s f o r m a l 9 t e n h a m e l i m i n a d o

a

i n t r o d u ç ã o d e e r r o s n a c o n s t r u ~ ã o d o s o f t w a r e a p a r t i r d a e s p e c i f i c a ç ã o ,

a

d i f i c u l d a d e d e entendimento d e s t a p e l o u s u á r i o p o d e compfornzter t o d o um p r o j e t o . N o parabigrna d e p r o g r a m a ç 2 o autornátlca p r o p o s t o D a r B a l r e r e m ( B A L Z E R , 19851, a p r i m e i r a a t i v i d a d e a s e r r e a l i z a d a & a " a q u i s i q ã o d a e s p e c i f ! c a 6 ã u n , a n d e é u t i l i z a d a u m a i i n g u a g e r n f o r m a l d e e s p e c i f i c a q ã o (Gist). E a l z e r a c r e d i t a v a q u e a s e s p e c t d l c a q 6 e s e m Gist S e r i a m d e f s c l l l e i t u r a , p o r é m n a p r t á k l c a Isto n ã o a c o r r e u . P a r a r e s o l v e r p a r c i a l m e n t e e s t e p r o b l e m a s u a e q u j p e c r i o u um " p a r a f r a s e a d o r W ( S W A R T O U T , , 1 9 8 2 ) , q u e t r a d u z uma e s p e c i f l c a ç ã o em G i s t p a r a " E lnguagern n a t u r a l n (inglês). C o m o v a n t a g e n s d a u t i l 9 n a ç ã o d e s t e r e c u r s o B a l z e r c i t a a a p r e s e u t a ç G o d a e s p e c i f t c a ç i o c o m o u t r o * p o n t o d e v h s t a n , o q u e p e r m i t i a e n c o n t r a r e r r o s na e s p e c i f i c a ç ã o . (4 s a f t w a r e WDM-TXT, t e m a d e s t a ' t e s e , é

um

" p a r a f r ã s e a d u r d e B a i z e r " q u e t e m por o b j e t i v o t r a d u z i r uma especificaçi3o f o r m a ! e m V D M , p a r a t i n g u a g e m n a t w r a i ( t e x t o s e m p o r t u g u ê s , t a b e i a s etc), d e tal f o r m a q u e e s t a e s p e c l f i c a ç ã o p o s s a s e r v e r i f i c a d a p e l o u s u & r i o . Um u s a s e c u n d á r i a d e s t e s o f t w a r e , p o r é m d e g r a n d e u t i l i d a d e , é q u e o p r ú p r t o a n a l i s t a d e s i s t e m a s p o d e v e r i f i c a r se a s u a d e s c r i ç ã o f o r m a l c o r r e s p o n d e o u n ã o a

sua

i n t e r p r e t a ç ã o d o p r o b l e m a .

CAPITULO 1 1 1 : E s p e c i f i c a q ã . ~ F o r m a l ern VDM 1 I 1 . 1 A p r e s e n t a ç ã o O V D M - T X T t r a d u z e s p e c i f i c a ç õ e s f o r m a i s d e s c r i t a s s e g u n d o a I t n g u a g e m p r o p o s t a p e l o V D M ( " V t e n n a D e f i n l t l o n Methodn). O VDM 6 um m é t o d o p a r a d e s e n v o l v i m e n t o d e s l s t e m a s g r a n d e s e c o m p l e x o s , d e s e n v o l v i d o n a d é c a d a d e 70 p e l o l a b u r a è b r i o d e p e s q u i s a d a I B M e m V l e n n a . Ele 6 b a s e a d o e m m o d e l a s e f a z u s o de s e m z n t i c a d e n o t a c i o n a ! c o m a b a s e t e a r i c a . O s o f t w a r e 6 m o d e l a d o a t r a v é s d e d a d o s ( e n t r a d a s , s a í d a s e e s t a d o s i n t e r m e d i á r i o s ) e o p e r a c i l e s , q u e m a n i p u l a m e s s e s d a d o s . O u s o d e s e m â n t i c a d e n o t a c i o n a / em VLPM 'teve o r l g l n a i m e n t e p a r o b j e t i v o d e s e r e v e r a s e m â n t i c a d e ilnguwgens d e p r a g r a m a ç a o . D e f a t o , uma d a s p r i m e i r a s u t l t i z a ç b e s d e VDM f o i n o p r a l s t o d e um c o m p i l a d o r p a r a ADPI. E x i s t e m o u t r a s f o r m a s d e especiFicaq$io f o r m a l , t a i s c o m o e s p e c i f i c a c ã o a l g é b r i c a e e s p e c i f i c a ç ã o de s i s t e m a s c ù n c o r r e n m t e s u s a n d o o m o d e l o o p e r a c i o n a l (MENDES e DE A G U I A R , 19882 C C O H E N et. a ! . , 1 9 8 8 2 . A e s p e c i f l c a ç 2 o

f o r m a l b a s e a d a ern rnadelos, d a qual o VDM é o p r i n c i p a l

e x e m p l o , foi a e s c o l h i d a por a t u a l m e n t e s e r a m a i s u s a d a ,

t a n t o em a m b i e n t e s c d m e r c i a l s q u a n t o e m a m b i e n t e s

r e s t r i t a a a m e i o a c a d ê m i c o . A l é m d e s t e s f a t o r e s , o s e u u s a em a m b i e n t e c o m e r c i a l e a s u a d i s s e m i n a c ã o s ã o f o r t e m e n t e e s t i m u l a d o s p e l a tBM, o q u e l e v a a u m a rnwlor f o n t e d e r e f c r g n c i a s s o b r e VDM t a i s c o m o I l v r o s , a r t i g o s e a n a i s d e e n c o n t r o s a n u a ! s , r e a l i z a d a s p r i n c s p a t m e n t e n a E u r o p a . U m e x e m p l o c o m p l e t o d e um s i s t e m a d e b i b l i o t e c a d e s c r i t o

em

VDM e n c o n t r a - s e n o a p ê n d i c e G ( O S i s t e m a Exemplo). 1 1 1 " 2 A L i n g u a g e m d a VDM A l i n g u a g e m p a r a e s p e c i f i c a ç ã o f o r m a l p r o p o s t a p e l o VDM c h a m a - s e M E T a - ! V . N e s t e t e n t o , " V D M " e " l i n g u a g e m M E T A - I V n p o s s u e m a m e s m a s e m â n t i c a . A d e s c r i c ã o s e r á f e i t a d e f o r m a n a r r a t i v a , i n d i c a n d o o s e l e m e n t o s d a i i n g u a g e m e s e u s o b j e t i v o s . S e g u J n d o c a d a d e s c f i ç ã o s e r & a p r e s e n t a d o

um

t r e c h o d e gramiitsça e m " e s t i l o B N F " , ( c o m r e c w r s i v l d â d e 21 e s q u e r d a ) p o r é m n o f o r m a t o necessário p a r a s e u u s o n o G e r a d o r R * S (RANGEL N E T T O , 1 9 8 8 1 , u t i l i z a d o n a i m p l e m e n t a ç ã o d o V D M - T X T . A d e s c r i ç ã o - c o m p l e t a d a g r a m á t i c a utt l i z a d a e n c o n t r a - s e n a a p ê n d i c e A . A s i n t a x e u t i l i z a d a n a grarnhttca e n c o n t r a - s e na rnonografia d e R a n g e ! N e t t o ( R A N G E L N E T T O , 1988). Os l;xamplus a p r e s e n t a d o s a s e g u i r s e r ã o acurnulativos, I s t o 6 , o s e x e m p l o s s ã o i n t e g r a d a s e f a z e m r e f e r ê n c i a e n t r e si. Ao s e r e x p l i e a d a o ú i t i m o e l e m e n t o d a I t n g u a g e m s e r á

a p r e s e n t a d o um e x e m p l o c o m p l e t o d e

uma

d e s c r i ~ ã o em V D M . O s e x e m p l o s s e r ã o a p r e s e n t a d o s m e s m a q u e n e m t o d o s o s e l e m e n t o ? , d a l i n g u a g e m exernp!iflcados e s t e j a m descritos a t é o m o m e n t o ( n e s t e c a s o e l e s s ã o m e n c i o n a d o s e n t r e os s i n a i s n-(n e n ) - n , q u e n ã o s ã o s í m b o l o s l é x i c o s n e m p a r a o g e r a d o r R * S

e

n e m p a r a o V D M - T X T ) . S e r á d e s c r i t o c o m o e x e m p l o , e d e t a l h a d a a o l o n g o d a a p r e s e n t a ç ã a d a g r a m 5 t i c a d o V D M ,

um

t r e c h o d e u m s i s t e m a de F o l h a d e P a g a m e n t o , q u e m a n t e m a l g u n s d a d o s s o b r e f u n c i o n h r i o s e d e p a r t a m e n t o s d e uma e m p r e s a e q u e t e m

uma

o p e r a ç ã o de i n c l u s ã a (cadastrarnento) d e f u n c i o n á r i a s . E x e m p l o ( a ) : SISTEMA F a l h a D e P a g a m e n t a : T E P O T e x t o = GHAR-LiST TIPO M a t r F u n c = '5 l e t r a s s e g u i d a s e

um

d j g t t o ' T I P O G a d D e p t u . I % T TOPO R e g F u n c = REG I STRCP Nome: T e x t o ; S a i a r i o : R E A L ; D e p t o : G o d D e p t o ; F I M TIPO R e g D e p t u = R E G 1 S T R O N o m e : T e x t o ;

R e s p : M a t r F u n c ; T o t F u n c : I N T ; Fifuf T I P O F u n c N a p = M a t r F u n c < - ) R e g F w n c T I P O D e p t o M a p = C o d O e p t o < - ) R e g D e p t o E S T A D O F u n c i o n a r i o : F u n c M a p ; D e p a r t a m e n t o : D e p t o M a p ; T o t a t S a B a r t o s : R E A L ; O P E R A C A B t n c l u i f u n e ( M F : M l a t r F u n c ; N o m e : T e x t o ; S a l a r i o : R E A L ; D e p t o : C o d D e p T o : ) E X T F u n c i o n a r i o : WR F u n c M s p ; D e p a r t a m e n t o r W R D e p t o N a p ; PRE ( ( M A 0 ( M F PERTENCE D Q M i i U f O ( F u n c i o n a r i o ) ) ) E ( S a i a r i o

>

0 ) E E N V A R I A N T E

F I M 111.2.1 5 e s c r i ç ã o G e r a l U m s i s t e m a é d e s c r i t o e m l i n h a s g e r a i s p o r 4 t i p o s d e d e f i n l ç ã a : e s t a d o , t i p o s , o p e r a ç õ e s e I n v a r i a n t e . P a r a o VDM-TXT e s t a s 4 e f t n i ç O e s p o d e m s e r r e a l i z a d a s e m q u a l q u e r s e q i i h c l a . D e f i n i c o e s = D e f i n i e u e s O e f i n i c a o I ;

E x e m p l o C b i : SISTEMA F a l h a ! ? e B a g a r n e n t o : - ( d e f i n t c o e s > - F I N N o e x e m p l o ( b ) , o s i s t e m a " F o l h a D e P a g a r n e n t o n começa a s e r d e f i n i d o . O estado d e s c r e v e o s d a d o s m a n i p u l a d o s p e l o s i s t e m a . C a d a d a d o é e s p e c i f i c a d o p e l o seu n o m e e p e l o s e u t i p o . E x i s t e u m a e a p e n a s u m a d e s c r i ç i i o d e estado em u m s i s t e m a . G r a m á t i c a : E x e m p l o ( c ) : S I Ç B E M W F o l h a D e P a g a m e n t o : E S T A D O F u n c i o n a r i o : F u n c M a p ; D e p a r t a m e n t a : D e p t a M a p ; - < a u t r a s d e f l n i c o e s ) - F l N

N o e x e m p t o ( c ) s ã o descritos os d a d o s q u e s e r ã a m a n i p u l a d o s : d a d o s d e f u n c i o n á r i o s e d a d o s d e d e p a r t a m e n t o . O s t i p o s u t i i ! z a d a s ( F u n c M a p e D e p t o M a p ) s 5 o d e f l n l d o s a s e q u l r , n a e x e m p t o ( 6 3 . Um t i p o é a a s s o c l a ç i á o d e um i d e n t i f i c a d o r l a n o m e d a t i p o ) a uma e s t r u t u r a d e t l p o s . E s t a e s t r u t u r a p o d e s e r b e m c o m p l e x a , ç a m u v e r e m a s a d l n n t e ,

o u

a p e n a s f a z e r

usa

a o s t i p o s ~ r b m i t l v a s d a t i n g u a g e m . A e x p r e s s ã o I n d i c a d a n a g r a m á t i c a 6 d o T I P O " I c Z e n ' t I i 1 c a d o r = . E x p r e s s ã o w . P o d e m e x i s t i r v á r i a s d e s c r l ç 6 e s d e t i p o em um s l s t e m ã . P a r a a VDM-TXT o s t i p o s d e v e m s e r d e f i n i d o s a n t e s d e s e r e m r e f e r e n c i a d o s . G r a m á t i c a : 1 3 z f T i p o = T I P O T e x t a = CHAR-LPST T I P O M a t r F u n c = '5 l e t r a 3 s e g u t d a s e u m d 1 g T - t ~ " T I P O C a d D e p t o = I'Depl',"Dep3',"~e7','Dep2'2 T I P O R e g F u n ç = R E G I SBRQ Nome: T e x t o ; S a l a r i o : R E A L ; D e p t o : G s d O e P t o ; F 1 R

T l P d R e g D e p t o = R E G I S T R O N o m e : T e x t o ; R e s p : M a t r f u n c ; T o t F u n c : INT; F I M TIPO F u n c M a p = MatsFuunc

<->

R e g F u n e T 1 P O D e p t o M a p = G o d D e p t o

<->

R e g D e p t o ESTADO F u n c i o n a r i a : F u n c N a p ; D e p a r t a m e n t o : D e p t o N a p ; ' - < o u t r a s d e f i n I e u e s > - F I N N o e x e m p l o ( t i ) s ã o d e s c r i t a s t o d a s os d a d o s , e s e u s r e s p e c t i v o s t i p o s , q u e s e r ã o m a n i p u l a d o s p e l o s i s t e m a e x e m p l o F o l ~ ~ D e P a g a m e n t o . Cíbserve q u e

as

d e f i n i ç 8 e s d o s t i p o s utl l l z a d o s p e l o e s t a d o f a z e m r e f e r % n c l a u o u t r a s t i p o s , a t e q u e o s t i p o s m a i s p r i m i t i v o s s ã u ddeflntdos, o u a t r a v é s d e t i p o s p r é - d e f i n i d o s ( v l d e S a l a r i o ) o u v i a

um

c o m ~ n t a r i o ( v l d e MatrFunc). Ao f i n a l d u i t e m 1 1 1 . 2 . 2 , o n d e s e r ã o a p r e s e n t a d o s t o d a s a s t i p o s p r é - d e f i n i d o s p a r a a VDN-TXT, sei-a d e t a l h a d o u e x e m p l o ( 6 ) . A p 6 s a d e f i n i ç ã o d o s d a d o s q u e s e r ã o m a n i p u l a d a s , s ã o d e s c r i t a s a s o p e r a ç ã e c d e m a n l p w l a ç ã o d e s t e s d a d a s . p o d e m e x l s t l r v i r i a s d e s c r l ç 3 e s d e o p e r a ç a o e m u m s j s t e m a .

G r a m á t i c a : D e f O p e r a c a o = 'OPERAGAO' O p e r a c a o ; E x e m p f a ( e ) : c o n s i d e r a n d o o e x e m p l o td),, O P E R A C A U BncluiFunc ( M F : M a t r F u n c ; N o m e : T e x t o ; S a l a r i o : R E A L ; D e p t o : C o d D e p t o ; ) E X T F u n c i o n a r l o : WR F u n c M a p ; D e p a r t a m e n t o : WR D e p t o M a p ; ?!?E ( ( N A 0 ( M F PERTENCE D O M I N I O (Funciooario))) E (Salario

>

0 ) E

(Depto PERTENCE D U M I N I O (Departamento)))

$05

((FuncIonarSew = F u n c ! u n a k l o

+

f M F

<->

M K - F u n c i o n a r i o ( N o m e , Ç a J w i o , D e p t ~ ) 3 ) E

(SEJA t f = bTotFunc CDepto)) EM

t t r m = t~

+

1 ) ~ N o e x e m p l o C e ) é d e s c r i t a a o p e r a ç ã o I n c l u i F u n c d o s i s t e m a e x e m p l o F o I h a D e P a g ã m e n t o , c o n s i d e r a n d o o s d a d a s , e s e u s r e s p e c t i v o s t i p o s , d e P l n l d u S n o e x e m p l o ( d ) . Os c s m p o n e n t e s d a d e s c r i ç ã o d e

uma

~ p e r a ~ ã o e s t 8 o d e s c r i t o s n o Item 1 1 1 . 2 . 4 , o n d e o e x e m p l o ( e ) é d e t a l h a d o .

P o r ú l t i m o é d e s c r i t a uma f ó r m u l a I b g i c a q u e r e p r e s e n t a p r o p r i e d a d e s d o e s t a d o q u e n ã o v a r i a m d e v i d o 2 a p l l c a ç ã o d a s o p e r a ç f i e s . E s t e i n v w s g a n t e 6 u t l l i z a d o n a p r o v a f o r m a l d a c o r r e ~ ã o d a s e s p e c J f i c a ~ õ e s d a s o p e r a ç õ e s . PPde e x i s t i r a p e n a s uma e s ~ e c l f l c a $ ã ~ d e i n w a r t a n t e em um s i s t e m a . G r a m á t i c a : E x e m p l o C f ) : c a n s i d e r a n d o o e x e m p i o ( d ) , I N V A R I A N T E ( T U D O d t ( d PERTENCE D O b a l , N t U ( Q e p ã r t a n i e n t o ) ) E ( S E J A r = ( R e s p C d ) ) E m t f P E R T E N C E D O N I N I D ( F u n c i o n a r i o ) ) ) N o e x e m p l o ( f ) é d e s c r i t o i n v a r i a n t e d u s i s t e m a e x e m p l o F o l h a O e P a g a m e n t o , c o n s b d e r a n d o o s d a d o s , e s e u s r e s p e c t r v o s t i p o s , definidos n o e x e m p l o ( 6 3 . A f b r m u l a I 0 g i c a q u e d e s c r e v e o i n v a r i a n t e e s t a d e s c r i t a n o i t e m ! 1 ! . 2 . 5 , a n d e a e x e m p l o í f 3 e as p r é e p 6 s c o n d i ç õ e s d o e x e m p f o ( e ) s e r ã o d e t a l h a d a s .

1 1 1.2.2 D e s c r i q ã o d e D a d o s Os o b j e t o s q u e $50 t r a t a d a s p e l o V D M s ã a c u n j u n t o s , m a p e a m e n t o s , l i s t a s , r e g i s t v o s

e

f u n ç õ e s . E x i s t e m a l g u n s c o n j u n t o s p r k - d e f i n i d o s e q u e s ã o os t i p o s m a 3 3 p r l m l t i y o s ( o s o u t r o 3 s ã o e s t r u t u r a s q u e u s a m conjuntas). C o n j u n t o s p o d e m s e r a q u e l e s p r t m i P l v o s , I n t e r v a l o s , e s p e c b f I c a d o s p o r f b r m u i a s i b g i c a s o u r e s u l t a d o d a a p l l c a ~ ã o d e d e t e r m i n a d a s a p e r a ç B e s ( e m c o n j u n t o s i? e m o u t r o s tipos). G r a m á t i c a : G o n j u n T o = 'UNIAO' '"I E x p r e s s o e s " I ' # U n i ã o D i s t r i b u i d a i

'I'

E x p r e s s o e s '9' # Ç o n i u n t o E x p l i c i t o ! i ' I d e n t f f I c a d o r 'I' Expressos ' # C o n j u n t o F d r m w i a ! ' I ' E x p r e s s a o

'.

. '

E x p r e s s a o '1' % c o n j u n t o S n t e r v a l o ' f " ' 3 ' G o n l u n t o V a z J o

O e x e m p l o (a,?) m o s ' t r a comi3 um coni~iinto p o d e s e r

d e f i n i ç ã o e x p l í c i t a d e u m c o n j u n t o ; ( a . 3 ) m o s t r a c o m o

um

c o n j u n t o p o d e s e r d e f i n i d o por uma f b r m u f a 1 8 g l c a ; (a.4) m o s t r a um c o n j u n t o r e p r e s e n t a d o a p e n a s por s e u s l i m i t e s i n f e r l o r E s u p e r i o r < a d m i t i n d o - s e a e x i s t ê n c i a d e utt\ c o n j u n t o - b a s e a n d e e x i s t e

uma

o r d e n a c a o e n t r e s e u s elementos); ( a . 5 ) 6 a r e p r e s e n t a ~ ã a d e um c o n j u n t o vaxzlo. O s c o n j u n t o s p r é - d e f i n i d o s s ã a r N a t ( i n t e i r o s p o s i t i v o s a p a r t i r d o 0 , e x c l u s i v e ) , N a t a ( I n t e i r o s

p o s i t i v o s a p a r t i r d o O , inclusive), I n t Clnteiros), Real

(reais), Book ( v a l o r I6gico: v e r d a d e i r a u u faiso), D a t

( d a t a ) e C h a r ( c a r a c t e r e : l e t r a s , d í g i t o s , s i n a i s d e p o n t u a ç ã o , s i m b o l o s especiais). M a p e a m e n t o s s ã o f u n ç z e s . E l e s p o d e m s e r e x p l í c i t o s , a n d e t o d a s a s a s s n c t a ç 6 e s e n t r e e l e m e n t o s d o Borninio e d a I m a g e m bcori-tradrsmínla'l s ã o v e p r e s e n t a d a s , o u iurtpl l c i t u s , o n d e

a

d o m t n i a 6 flni-to. G r a m á t i cat N a p e a m e n t u = ' c ' E x p r e s s o e s 9 ' # M a p e a m e n t o E x p f i c i t o ! ' E ' E x p r e s s a o 'I ' E x p r e s s a o 9 ' Q Mapearnento O m p l i c i t o i ' E ' ' 3 ' ; # Plapeamento V a z l o E x e m p l o ( b f : i C ' a '

->

I , ' h "

->

2

,

' c '

- >

1 3 ( b . Z ) : C x

<->

2 % ~ I x PERTENCE I-3..53 1 cla.3a:

r ?

O e x e m p l o ( & . I 1 m o s t r a um r n a p e a m e n t o d e f i n i d a e x p l i c i t a m e n t e d o t i p o " v á r i o s p a r a um"; ( b . 2 ) m o s t r a um r n a p e a m e n t o d e f i n i d o i m p J i c i t a m e n t e (via uma f ó r m u l a ' l ~ g i c a ) d o t l p u " u m p a r a umn ( m a p e a r n e n t o b i j e t l v o ) ; ( b . 3 ) 6 a r e p r e s e n t a ç ã o d e um m a p e a m e n t o v a z i o . L i s t a s s ã o s e q u i i n c i a s d e e l e m e n t o s . Urna l i s t a s e m p r e 6 e x p l i c l t a , com a f n d t c a c ã ú d e t o a o s o s s e u s e l e m e n t o s . Em g e r a t s a o utiiizadas o s d e l i m i t a d o r e s

" < "

e n > n em I f s t a s , p o r é m d e v i d o i r n p l e m e n t a ç ã o e s c o l h i d a , n o v o s d e l i m i t a d o r e s f o r a m c r i a d o s . G r a m á t i c a : L i s t a = ' C < ' E x p r e s s o e s

' > > '

!

' < < '

# > > ' ; # L i s t a E x p l í c i t a 6 L S s t a V a z i a U e x e m p l o d c . 1 3 m o s t r a uma I i s t a r t e f i n i d a e x p l i c i t a m e n t e ; ( c . 2 ) é a r e p r e s e n t a ç ã a d e uma l i s t a v a z i a . e uma l i s t a v a z i a . A c r i a ç ã o de o b j e t o s q u e a g r u p a m e l e m e n t o s d e n a t u r e z a s d i s t i n t a s é r e a l i z a d a a t r a v é s d a u t i l i z a ç ã o d e r e g i s t r o s . N a d e f i n i ç ã o d e um r e g i s t r o s 5 o i n d i c a d o s t o d o s o s s e u s c o m p o n e n t e s ( c a m p a s )

G r a m á t i c a : R e g i s t r o = ' R E G I S T R O ' C a m p o s 7 I M ' ; C a m p o s = C a m p o s ' ; ' C a m p o ! C a m p o ; C a m p o = Identl f l c a d o r e s ' : ' E x p r e s s a 0 0 ; O e x e m p l o ( d l m o s t r a u m r e g i s t r o c o m d o i s c a m p o s : C 1 , q u e p o d e p o s s u l a

um

d o s v a l o r e s d e s c r i t o s n o c o n j u n t o d e f i n l d o expltcl-tamente c o m e l e m e n t o s 1 e 2 , e C 2 , q u e p o d e p o s s u i r a p e n a s n h m e r o s n a t u r a i i s {Inclusive o D . T o d o s o s tipos d e d a d o s a c i m a d e s c r i t o s p n s s u e m (Expressas) ( o u < E x p r e s s o e s > ) c o m o e l e m e n t o . N a d e s c r i ç ã o

d e (Expressao) t e m o s produçfies q u e

levam

a c o n j u n t o s ,

mapearnentos, i l s t a s e r e g i s t r o s , ú q u e f a z c o m q u e t o d o s o s t i p o s d e d a d o s p o s s a m ser c o m b i n a d o s d e f o r m a a r e p r e s e n t a r

e s t r u t u r a s c o m p l e x a s .

T I P O T e x t o = Ç H A R - L I S T T I P O M a l r f u n c = % l e t r a s s e g u i d a s e um d i g i t o ' TE P O G o d D e p t o = ! 'Depl ', ' D e p 3 ' , ' D e p ? ' $ ' D e p 2 ' 1 D e p t o : C a d D e p t a ; F I M T I P O R e g R e p t o

-

R E G I Ç T R O N o m e : T e x t o ; T I P O F u n c M a p = M a t r F u n c < - ) R e g F u n c T I P O D e p t u M ã p

-

G o d D e p r o C-> R e g D e p t o ESTADO F w n c E a n a r l o : F u n c M a p ; D e p a r t a n i e n t o : Deptofdfap; - < o u t r a s d e f i n i c o e s > - FGM V a m o s d e t a l h a r a d e s c r i ç ã o d o s d a d o s d a s i s t e m a e x e m p l o F o l h a D e P a g a r n e n - t o . O s t i p o s u t i l i z a d o s p a r a d e f \ n l r o e s t a d o d o s i s t e m n c , ã o : T a x t a , . w w i a Iiste d e c u r s e t e r e s ;

C o d D e p t o , um c o n j u n t o - t i p o d e f i n i d o e x p l i c i t a m e n t e ; R e g F u n c ,

um

r e g i s t r o - t i p o , c o m 3 c a m p o s : N o m e , Ç a l a r i o e D e p t o ( c a d a um c o m seu tipo): R e g D e p t o , t a m b é m u m r e g i s t r o - t i p o , c o m 3 c a m p o s : N o m e , R e s p

e

T o t F u n c ; F u n c M a p , u m m a p e a m e n t o - t A p o b i l e t i v o e n t r e a m a t r í c u l a d e

um

f u n c l o n k r i o C N a t r F u n c ) e s e u s d a d o s (RegFunc); D e p t o M a p , t a m b é m

um

m a p e a m e n t o - t i p o b i i e t I w o , e n t r e o c b d t g o d e um d e p a r t a m e n t o ( C ù d D e p t o ) e s e u s d a d o s (RegDeptu). Os d a d o s q u e o s i s t e m a m a n i p u l a s z o definidas p e l a s e u e s t a d o : F u n c i o n a r i o , q u e 6

um

m ã p e a m e n t o d a t i p o F u n c M a p , e D e p a r t a m e n t o , q u e é u m rnapeamento d o t i p o D e p t o M a p . 111.2.3 D e s c r l ~ ã o d e E x p r e s s õ e s E x l s t e m t r 6 s t i p o s principais d e e ~ p r e s s 2 i o : t b y i c a , q u e t e m o p e r a n d o s d o t i p o I á g i c o ( 8 ~ 1 0 1 ) ~ o p e r a d o r e s l ó g i c o s e r e s u l t a d o I b g l c u ;

*

A r i t m é t i c a , q u e t e m o p e r a n d o s . n u r n i i r i c o s , o p e r n d o r e s a r l t m 6 t i c o s

e

r e s u l t a d o n u m é r i c o ; R e l a c i o n a ! , q u e t e m o p e r a n d o s d o m e s m o t i p o , o p e r a d o r e s d e c o m p a r a ç ã o e r e s u l t a d o 1 6 9 1 co. A l é m d e s t e s , e x i s t e m e x p r e s s 0 e s e n v o l v e n d a c o n j u n t a s , m a p e a m e n t o s e i i s t a s , c o m o p e r a d o r e s p r b p r i o s e d i w e r s o s

t i p o s 6 e r e s u l t a d o . E x i s t e um g r u p o e s p e c i a l d e e x p r e s s õ e s q u e t r a t a d e f f i r r n u l a s I b g l c a s d e p r t m e i s a o r d e m . E s t e g r u p o s e r á d e s c r i r a n a I t e m 1 1 1 . 2 . 5 ( D e s c r ! ç $ o d e F b r m u t a s ) . De f o r m a a i m p l e m e n i a r p r e c e d ê n c i a e n t r e o p e r a d o r e s , a d e f t n i ç Z i o d e e ~ p r e s s ã o n a g r a m s i i c a g e r a d a é : E x p r e s s o e s = ! E x p r e s s a o ; E x p f e s s a o = E x p r e s s a o O p e r ..-, B i n-Pr i ,,"., A E x p r e s s a , o " - A ! E x p r e s s a o - - . A ; E x p r e s s a o , , - A = ~ x p r e s s a o , , - A O p e r ,,,,, B l n,-.Pr l ,_,& Expressao,..B ! ~ x p r e s s a o - B ; F x p r e s s a o J 3 = O p e r ,,,_ U n ,,". A.,.Esquerda ,.,- P r l "-A E x p r e s s a o .,,- C E E x p r e s c r a o - , C ; E x p r e s s a w ~ . . . Ç = E x p r e s s a o ,.-. C O p e r , , - B i n ,,-., B r i .,". C E ~ p r e c j s a o ,,,_ D ! Esrpressao-..O; E x p r e s s a u _ , R = E x ' p r e s s a o -,,, D O p e r J 3 i n - P r i ,--D E x p r e s s a o ,_,. E ! ~ x p r e s s a o - , E ; Expressas,.,-E = E x p r ' e s s a o ,-.. E CPper ,.,e, B i ai ,..," P r i ,,_. E E x p r e s s a @ " - F

! E x p r e s s a o . - F ; E x p r e s s a o , , - f = ~ p e r , - , b t n , . , ~ . . ~ ~ s r ; w t ? â d a ,,,,,, ~r 1 ,.-.a ~ x p r e s s a o - G o E x p r e s s a o - G ; E x p r e u s n a _ _ G = E x p r e s u a o ..,. G O p e r .,... eJr'l.-A.,DI r e i t a ! E x p r e s s a õ - H ; E x p r e u s a o - i - ! = R e g i s t r a I c o n j u n t o ! Mapearnenta ! L l s - t a ! F a r m u l a ! I d e n t i f i c a d a r ! G o n s t a n t e ! ' ( ' E x p r e S ç a o " f ' ; C o n s t a n t e = %T-NUM

'

! ' C T - L i t ' ; Q s o p e r a d o r e s d a s e x p r e s s õ e s d o t i p o I i j g i c o ,

a r i t m é t i c o e r e l a c i o n a 1 s ã o o s t r a d i c i o n a i s . F o r a m I n t r o d u z i d o s o p e r a d o r e s q u e a t u a m s o b r e o p e r a n d o s d o t i p o c o n j u n t o , rnapeamento e l i s t a . A F g u n s o p e r a d o r e s e s t ã o " s o b r e c a r r e g a d o s n , o u s e j a , a s u a s e m s n t l c a d e p e n d e d o t i p o d o s o p e r a n d o s s o b r e o s q u a f s a ~ u a m C e x s :

" + " , " - " ,

R * n , " í v 1 3 . O S o p e r a d a r e s " u n a r i o s 2 c o n j u n t o s

e

! i s t a s . A d e s c r i ç ã o c o m p l e t a d a s e m â n - t i c a d a s o p e r a d o r e s e n c o n t r a - s e e m (MENDES e A G U I A R , 1 9 8 8 ) . A i gumcis s i r n p i l f i c a ç ã e s e a d a p t a ç õ e s f o r a m r e a l i z a d a s s o b r e a s i n t a x e p r o p o s t a n e s t a r e f e r g n c i a :

-

C o n i u n t o s A l g u n s o p e r a d o r e s , t a n t o b i n á r i a s q u a n t o u n á r i o s , f o r a m r e p r e s e n t a d o s p o r e x t e n s o , e n a o a t r a v h s d o s s ~ i ~ b o t o ~ c o n v e n c i o n a i s : " U N I A O " , " I N V E R S E S A O " , " P E R T E N C E " , " G O N T I D O " e " G O N T E N " ; a u n i ã o distribuída e' I n d i c a d a p e l a o p e r a d o r " U N I A O " ; s u b t l p o s n u m 8 r f c o s e o u t r o s q u e I n d i q u e m

um

i n t e r v a l o d e u m t i p o prlrnitlvo s ã o i n d i c a d o s p e l a @ o n s t r u ç % o

" E

X

..

Y I " , o n d e X e' o I i m i t e I n f e r i o r e Y o l i m i - t e s u p e r i o r , a m b o s i n c l u s o s ; a c o n j u n t o v a z i o e ' r e p r e s e n t a d o p o r " [ I " . Os o p e r a d o r e s " Q O M l N t O " e " l M A G E M n s u b s t i t u e m

n d ~ m n e " r 1 ? g n , r e s p e c t i v a m e n t e ; o o p e r a d a r " e s c r e v e r - s o b r e n é r e p r e s e n t a d a p a r " t n .

-

L i s t a s 0 s d e l i m i t a d o r e s d e i n í c i o e t é r m i n o d e l i s t a f o r a m s u b s t l t u i d o s d e

"<"

e

" > "

p a r C " 9 ( " e

" > > " ,

r e s p e c t b v e m e m t e ; o s o p e r a d o r e s " I N D I C E S " e " E L E M E N T O S " s u b s t i t u e m " I n d s " e " e l e m s " , r e s p e c t l v a r n e n t e ; o o p e r a d a r d e c o n c a t e n a ç ã o d e I l s t a s r e p r e s e n t a d o D o r

"+",

e n a o

" " " .

-

R e g i s t r a s A d e f i n i ~ ã n d o s c a m p o s q u e c o m p o e m um r e g i s t r o é d e i i m i t a d a p e l a s " p a l a u r m - r e s e r w a d a s n n ~ ~ ~ f ~ ~ ~ ~ " e " F I M " . Os s í m b o l o s q u e r e p r e s e n t a m o s q u a n t i f i c a d o r e s f o r a m s u b s t i t u i d o s p a r " T O D O " , " E X ! S T E " e n u N I C a w ; o o p e r a d o r " S E J A

. .

EIV)'" ~ u S s t l t ~ E . o o p e r a d o r " [ e t O p e r . , , _ B i n - P r i - A = p ' E

'

! ' O U ' ! '2)'

# R e t a c i o n a ! % R e l a e F a n a i # R e l a c i o n a ! 8 R e l w c i a n a !

+

R e f a c J u n a l #= R e l a c i o n a ! Q C o n j i i n t o 4+ C o n j u n t o 4 i Gorrlunto

+

Ar i t m k t l c a b M a p e a m e n t o / t i s 5 t a # A ~ l t r n é t i c o / G a n j u n t a # C o n j u n t a ?# M a p e a r n e n T o +i M a p e a m e n t a 6 M a p e a m e n t o # M a p e a m e n t o % L i s t a

! 'ELEMENTOS ' ! ' c " ! '- 6 . Dper.-Un-A-,-D l r@ i t a = ' - S E T ' ! '-Lisob' ; # L i s t a # A r i t m é t i c o 8 A r l t r n b t t c o .K C o n j u n t o #. L i s t a As o p e r a ç õ e s e m V D M s ã o r e s p o n s á v e i s p e l a m a a i p u i a ç ã o d s s d a d s s . E l a s p o s s u e m a b r i g a t o r i a m e n t e um n o m e , f o r m a ( s > d e a c e s s o a o s d a d o s , uma p r ê - c o r ~ d l ç ã o e u m a p 6 s - c o n d i ~ ã o . O s e u f o r m a t o g e n & r l , c o 6 : O p e r a c a u = I d e n i E f l c n d u i P n r a m e t r a s T i p o - R e s u l t a d o D e f J x t e r n a s P r e P o s ; O a c e s s o a o s d a d o s p o d e s e r d e t r ê s f o r m a s : p a r â m e t r o s , c a m p a s e x t e r n o s o u t o r n a n d o a o p e r a c ã o u m a f u n ç ã o . O a c e s s o p a r a " e n t r a d a " C l e i t u r a ) d e d a d o s p o d e

s e r v i a p a r â m e t r a s , c a m p a s e x t e r n o s aw a t i v a ç ã o d e u m a f u n ç ã o ; o a c e s s o p a r a " s a i d a n ( g r a v a ç ã o ) p o d e s e r v i a c a m p o s e # t e r n o s o u a â t r l b u l ~ 2 o d e um v a i a r a o r e t o r n o d e uma f u n ç ã o (Tipo-.Resu!tadu). P a r a m e i r o s = ' ( ' C a m p o s ' 1 '

'

T i p ~ , . . _ R e s u I t a d o = ': ' E x p r e s s a a ! ; Def,..,.Exterrias = ' E X T ' E x t e r n a s ! ; E x t e r r i a ~ = E x t e r n a s ' I ' E x t e r n a ! E x t e r n a ; E x t e r n a = l d e n t l f l c a d o r e s ':"odo E x p r e s s a a ! e ; M o d a = ' W R ' ! ' R D " ; A e s p e c i f i c a ç % o f o r m a ! d o o b j e t i v o d e u m a o p e r a ç ã o 6

e x p r e J s a a t r a v é s d e d u a s ç o n d i ~ O e s : B p r é - c o n d i ç ã o e a p d s - c o m d l 6 ã o . Ambas s ã o d e s c r i t a s em t e r m a s d e f á r m u i a s B b g l c á s d e p r i m e l v a o r d e m . A p r k - c o n d i ç g o i n d i c a q u e a u p e r a n ã o s e r á " e x e c u t a d a 7 ' ( a t i v a d a ) s o m e n t e s e determinadas c a r a c t e r i s t i c â s e s t i u c r e m p r e s e n t e s n o s d a d o s a o s q u a t s a a p e r a c s o iem a c e s s o p a r a l e i t u r a ( c a m p o s e x T e r n u s , p a r 2 r n e t r ~ s , f u n ~ ã e s ) . Uma v e z q u e a o p e r a ç ã o p a s s a s e r e x e c u t a d a , a e f e i t o d a s u a a t i v a ç ã o s e r á i n d i c a d o a t r ã v e s de c a r a c t e r í s t i c a s q u e p a s s a r ã o a e s t a r p r e s e n t e s nos d a d o s a o s q u a i s a o p e r a ç ã o t e n h a a c e s s o p a r a g r a v a ç ã o ( c a m p o s e x t e r n o s , f u n ~ ã o ) , q u e s s o i n d i c a d o s p e l a p ó s - c u n d i $ ã o . P r e = 'PRE' E x p r e s s a 0 ; P o s = 'POS' f x p r e s s a u ; C o n s i d e r e a o p e r a f ã s d e s c r i t a n o e x e m p l o ( e ) d a i t e m 6 1 1 . 2 . 7 : E x e m p l o C a ) : O P E R A C A O I n c i u i F u n c CMF : M a t r F u n c ; Nome : T e x t o ; S " l a r l o : R E A L ; D e p t o : G o d D e p t o ; )

N o e x e m p l o < a ) ii descrias a o p e r a ~ ã a I n c l u l F u n c d o s i s t e m a e x e m p l o F o l h a a e P a g a m e n t o , c o n s i d e r a n d o o s d a d o s e s e u s r e s p e c t i v a s t i p o s b e f l n i d o s n a e x e m p l o ( 1 1 1 . 2 . 1 . 6 1 . E s t a o p e r a c s o n a u 6

u m a

f u n ~ ã o s p o s s u i c o m o p a r â ~ e t r ú s MF, Nome, S a l a r i o e D e p t o , d e t i p o s M a t r F u n c , T e x t o , REAL E G o d D e p t o , r e s p e c t i v a m e n t e . Os c a m p o s e x t e r n o s a o s q u a i s ' e l a t e m a c e s s o p a r a P e . ! t u r ' a e g r a v a c ã o 3 ã o F k i n c i a r ! a r i o e D e p a r t a m e n t o . O d e t a l h a m e r i t o d a p r R a d a p f i s - c o m d i ç ã o s e r á r e a l i z a d o n o item If1.2.5, o n d e a e s t r u t u r a d e f b r m u l a s 1 6 g i c a s 6 d e t a l h a d a . 111.2.5 D e s c r i ç ã o d e F b s m u l a s As f 6 r m u i a u 1 6 g i c a s e m VDR s ã o b a s e a d a s em O 6 g i c a d e

p r e d i c a d a s d e p r i m e i r a a r d e m , c o m a l g u m a s e x t e n s õ e s : uma d i z r e s p e i t o à s u b s t i t u i $ ã u d e u m t e r m o em uma f b r m u i a p o r o u t r a f b r m u i a ( S E J A ) e a o u t r a p e r m i t e a m a n i p u l a ç ã o d e r e g i s t r o s , n o q u e d i z r e s p e i t o a s u a c o n s t r u ç ã o e a a a c e s s o a o s s e u s c a m p a s . F o r m u l a = ' S E "

7'

E x p r e s t s a o ' I " ' E N T A O ' ' C ' E x p r e s s a s ' 4 ' 'ÇENAO' ' ( ' E x p r e s s a s 9)" ! Q u a n t i f i c a d o r I d e n t i S i c a d o r ' ( ' E x p r é s s a o ' I ' ! ' S E J A ' t d e n t i f i c a d u r U p e r - B l n-Pr l - 5 ' ( ' E n p r e s s a ~ $ 1 ' ' E M ' " C ' E x p r e s s a 0 ' ) ' ! I d e n t i f i c a L f o r 'C(' E x p r e s s o e s ' I ' ! WMK-' I d e n t i f l c a d o r ' ( ' E x p r e s s o e s ' 3 ' ? ' V E R D A D E ' ! ' F A L S O ' ;

G a n s i d e r e a p r é - c o n d i @ ã a d a e x e m p l o ( a ) ; N o e x e m p l o ( b ) , a p r é - c o n d i c ã o da o p e r a q ã o I n @ I u i F u n c 0 56 s e r á v e r d a d e i r a s e a m a t r i c u l a d o f u n c i o n á r i o a i n d a n ã o e s t i v e r c a d a s t r a d a (ou s e j a , n ã o p e r t e n c e r a o d o m i n l o d o m a p e a m e n t o F u n c i o n a r i o ) , s e o s a l á r i o infurniado p a r a o f u w c i o n 6 r l o f o r m a i o r q u e D e s e o d e p a r t a m e n t o a o q u a l a f u n c l o n á r l o s e r á a i o c a d a j h e s t i v e r c a d a s t r a d o ( o u s e j a , p e r t e n c e r a o d o m i n i o d o ~ a p e a m e n t a Departanqento). C o n s i d e r e a p ó s - c o n d i ç a o d a e x e m p l o ( a r ; E x e m p l o ( c ) : P O S ((Funcionario" = F u n c i o n a r ! #

+

EMF

<->

M K - F u n c i o n a r i o ( N o m e , S a l a s 3 o , D e p t o ) 3 E (SEJA t f = ( T o t F u n c (Depto)) EM (tf" = t f 4- 1 ) ) )

N o e x e m p l o ( c ) , a p ã s - c o n d i ç ã o d a o p e r a ç ã o I n c l u i F u n c s B s e r á u e r d a d e l r a a s s i m q u e a u mapearnento f u n c i o n a r i o f o r a c r e s c e n t a d a m a s o c l a ç ã o e n t r e a m a t r i c u l a d o S u n c f o n á r i u

e

s e u s d a d o s ( u m r e g i s t r a c a n s t l t u l d o d e N o m e , S a l a r i o e D e p t o ) e

a o

t o t a l d e f u n c i o n á r i a s d o d e p a r t a m e n t o o n d e o f u n c l o n i r l o s e r á a l a c a d o f a r a c r e s c i d a

uma

u n i d a d e ( o b s e r v e q U e n e s t a e x p r e s s ã o o t o t a l d e S u n c t o n á r l a s faE a b r e v i a d o p e l o t e r m a " t f n , C u n s i d e r e o i n w a r i a n t e d e s c r i t o n a e x e m p P o ( e ) d e i t e m E x e m p l o ( d S : N a e x e m p l o ( d > , o i n v a r i a n t e d o s i s t e m a F o l h a D e P a g a m e n t o só s e r á w e r d a d e l r o s e , p a r a t o d o

d e p a r t a m e n t o c a d a s t r a d o

t Ind-icado

n a

fbrrnu1a p e l o seu

c b d i g a d 3 , o seu r e s p o n s á v e l t a m b é m e s t i v e r c a d a s t r a d o c o m o f u n c f o n i r l o C o u s e j a ,

r

p e r t e n c e r a o dorniniw d o m a p e a m e n t o

35. C A P I T U L O ! V : O T r a d u t o r V D M - T X T 8 s o f t w a r e VDM-TXT t e m por o b j e t i v o t r a d u z i r orna e s p e c i f l c z ~ ã o f o r m a ?

em

VDM p a r a I f n g u a g e m n a t u r a l . Ele r e c e b e c o m o e n t r a d a um a r q u i v o f o n t e c o m a d e s c r i ç ã o e m YDM d e um s f s t e m a , s e g u n d o a s i n t a x e d e s c r i t a n o i t e m 1 1 1.2, e g e r a

um

a r q u i v o b e ! ? t e ~ n ? c nome', cutn

u

e x t e n s ã o D O C , c o n t e n d o um t e x t o e m l i n g u a g e m n a t u r a l . C a s o o c o r r a m e r r o s d e c o m p i l a ç ã o , o w q u t v o c o m e x t e n s ã o D Q C n a u s e r & g e r a d a e

o

e r r o será a P r e s e n t a d o n o v i d e o . E x i s t e m duas.fases p r i n c i p a i s n o WDM-TXT: ã c o r n p i l a ~ ã o d a d e s c r i ç ã o V D M e a g e r a ç ã o d e t e x t o . A c o m p i l a ç ~ o ( s e m e r r u s ) p r o d u z u m a á r v o r e s e m â n t i c a , q u e 6 p e r c o r r i d a e t r a t a d a p e l a f a s e d e g e r a ç ã o d e t e x t o . Q e x e m p l o d e um t e x t o p e l o VDM-TXT g e r a d o a p a r t i r d a d e s c r i ç ã o d o s i s t e m a e x e m p l o ( a p 8 n d l c e G ) e n c o n t r a - s e n o a p g n d l c e E ( 0 T e x t o E x e m p ! o ) . T o d a c a m p i l a ~ ã u p o s s u i 3 g r a n d e s f a s e s d e a n á l i s e : s é x i c a , s i n t á t i c a e s e m â n t i c a . P a r a e f e t u a r a s a n á l i s e s l i x l c a e s e m â n t i c a f o r a m d e s e n v o l v i d a 5 " u n i t s " e s p e c i f i c a s p a r a VDM; p a r a e f e t u a r a a n á l l s e s l n t i t t c a $03 u t i l i z a d o o S i s t e m a d e G e r a c ã o d e A n a ! i s a d o s e s S i w t á t i c o s R*S S i m p l e s ( R A N G E L METTO, 19Y3),

D u r a n t e o p r o j e t o d o c o m p i l a d o r existiam d u a s o p ç õ e s d e d e s e n v o l v i m e n t o : p r e p a r a r

um

a n a l i s a d o r sintático e s p e c i f i c o p a r a o VDM ("hard-wired") o u u t f l l s a r u m g e r a d o r d e a n a l i s a d o r sint&-t!co. C o m o a ê n f a s e d a t e s e é na g e r a q ã o d e t e x f o , e n ã o n o d e s e m p e n h o d a s t k c n l c a s d e c o m p l l a c ~ o e n v o l v i d a s , e

a

i m p t e m e n t a ç ã o d a cornps I a ç Z o d e v e r i a s e r a m a i s r s p i d a p o s s í v e l , o p t o u - s e p o r u t i l i z a r utn g e r a d o r . 13 g e r a d o r R * Ç ( R A N G E L N E T T O , 1 9 8 8 ) p r e p a r a , . a p ã ~ t i r d a g r a m á t i c a a s e r a n a l i s a d a s i n t a t i c a m e n t e ; v á r i a s t a b e l a s q u e i n d t c ã m ã s e q u e n c i a d e n t o k e n s " p e r m i t i d a . E s t a s t a b e l a s s ã o u t i l i z a d a s por u m a " u n i t " p a d r z o ( W D M - S I N ) q u e c o n t r o l a t o d o o p r o c e s s o d e c o m p l l a ç ã a . As t a b e l a s g e r a d a s , q u e e s t ã o n o a r q u f v o V O W . T Q B , f o r a m t r a n s f o r m a d a s inE! "uaf t" VDM,-Tb8. Urna d a s d i f i c u l d a d e s na u s o d e s t e g e r a d o r é q u e , c o m o e l e possui

um

n l o o k a h e a d n d e a p e n a s

um

" t o k e n n , m u l t a s

verificações f o r a m t r a n s f e r l d a s p a r a o niwei semiintico, d e

m o d o a eIirnBnar

as

a m b l g u i d a d e s d a g r a m & t f c a . I V . 1 . 2 A n á l i s e L G x i c a A " u n i t n r e s p o n s á v e l p e l a a n á l i s e I é x i c a c h a m a - s e V D M - L E X , e o s e u O b j e t l u o

e

e 2 a s s i f l c a ~ a s c a d e i a s d e I s i n a l s , c a r i c t e r e s e d i g i t o s d o a r q u i v o f o n t e WDN e m

E l a u t i l i z a a " u n i t n VDM-TKST, q u e t e m p o r o b j e t i v o c a r r e g a r a t a b e l a d e " t o k e n s " VI)M,-.VKST.TAS, p e r m i ' t l r . a b u s c a ( r h p i b a ) d e uma c a d e l a d e ç a r a c t e r e s p a r a u e r l f l c a r s e e l a é urna p a l a v r a r e s e r v a d a (TKS.,Scan,.,PcilRe.s~ e r e t o r n a r d a d o s d e um " t o k e n " d a d a a s u a p o s i ç ã u n e s t a t a b e l a ( T K S ~ , , ~ S c a n . - T o k e r r ) . N e s t e a r q i u i v o d e " t c t l ç e n s n c a d a u m \ p o s s u l d a d o s somo o " t o k e n n em s i , o s e u nome e s e e l e é uma

P a l a v r a r e s e r v a d a o u n ã o . E s t e a n a l i s a d o r c o n s i d e r a t o d o s a s c a r a c t e r e s e n t r e s i n a i s d e e x c l a m a ç ã o coma c o r n e n t á r l ~ s . E l e 6 a t i v a d o p e l o a n a i i s a d o r s i n t á t i c o e r e t o r n a p a r a e s t e o t o k e n ( S i m b ) e a c a d e i a d e c a r a c t e r e s a e l e a s s o c i a d o f N o m e Ç i m b 1 , c a s o o t o k e n s e j a um i d e n t l f S c a d o r ( T _ ! D ) , uma c o n s t a n t e a I f a n u m é r i czi ÇT.-GT-Li t ) o u uma c o n s t a n t e n u m e r i c a ( T-GT-NU!~!). O p a r S i m b / N o m e Ç i m b r e p r e s e n t a o s í m b o l o m a i s r e c e n t e I l d o n o a r q u i v o f o n t e ; o p a r T o k e n / N o r n e T o k e n r e p r e s e n t a o s i r n b á i a a n t e r l o r a e s t e . O c o n t e h d o d a a r q u i v o d e " t o k e n s " V D M - T K S T - T A B e n c o n - t r a - s e n o a p 3 n d f c 2 B . I V . 1 . 3 A n á l i s e S i n t a t i ç a A a n á l i s e s i n t á t i c a é o * @ o r a ç ã o 1 ' d a c o m p i l a ç ã o e f l s l c a m e n - t e c o r r e s p o n d e à n u n E t n V D M - S I N . O s e u o b j e t i v o é v a i l d a r +a s e u i i G n c i a 6 e " t o k e n s " d e um a r q u i v a f o n t e V D M . E l a a c i o n a r o t i n a s d a s " u n l t s " VDM-LEX e VDM-SEM