Les utilitaires et l'intelligence artificielle pour un système d'aide à la conception en architecture

HAL Id: hal-01889968

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

Submitted on 8 Oct 2018

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.

Les utilitaires et l’intelligence artificielle pour un

système d’aide à la conception en architecture

Michel Léglise, Dominique Caradant, Jean-Pierre Goulette, Patrick Pérez

To cite this version:

Michel Léglise, Dominique Caradant, Jean-Pierre Goulette, Patrick Pérez. Les utilitaires et l’intelligence artificielle pour un système d’aide à la conception en architecture. [Rapport de recherche] 284/85, Ministère de l’urbanisme et du logement / Secrétariat de la recherche architecturale (SRA); Ecole nationale supérieure d’architecture de Toulouse / Laboratoire d’informatique appliquée à l’architecture (LI2A). 1985. �hal-01889968�

Ecole d'Architecture de Toulouse - Departement de la Recherche

Chemin du Miroii - 31100 - TOULOUSE - FRANCE - Téi. (61 ) 40 47 28

(oniïDiFüifwfcflipis ®|g){g)8flipês â 0 "îainsSa'd Usistlaflir©

■d

LES UTILITAIRES ET L'INTELLIGENCE ARTIFICIELLE

POUR UN SYSTEME D'AIDE A LA CONCEPTION

EN ARCHITECTURE

19Ô4

-Dominique Caradant

Jean Pierre Goulette

Patrick Pérez

RAPPORT FIN A L DE RECHERCHE

Rapport final d'une recherche subventionnée par le Ministère de

l'Urbanisme et du

Logement, Direction de l'Architecture,

Secrétariat de la Recherche Architecturale (décision n° 6406?

du 6 Août 1984).

-4C \

r-•f

Ecole d'Architecture de Toulouse-Departem ent de la Recherche

Chemin du Mirai! - 31100 - TOULOUSE - FRANCE - Tel. (61 ) 40 47 28

l a b f l r B M r B G p p I l q u â B â 0°mnsi}o1ltL@@ttooir@

LES UTILITAIRES ET L'INTELLIGENCE ARTIFICIELLE

POUR UN SYSTEME D'AIDE A LA CONCEPTION

EN ARCHITECTURE

19Ô4

-Dominique Caradant

Jean Pierre Goulette

Patrick Pérez

RAPPORT FIN A L DE RECHERCHE

Rapport final d’une recherche subventionnée par le Ministère de

l'Urbanisme et du

Logement, Direction de l'Architecture,

Secrétariat de la Recherche Architecturale (décision n° 6406?

du 6 Août 1984).

♦ E c o l e d ' A r c h i t e c t u r e de T o u l o u s e . D é p a r t e m e n t de la R e c h e r c h e . L a b o r a t o i r e L i 2 A . C h e m i n A r i s t i d e Mail loi . 3 1 0 5 7 T o u l o u s e C e d e x . Tél : (61) 40 47 23 p o s t e 223. D o m i n i q u e C a r a d a n t J e a n - P i e r r e G o u l e t t e P a t r i c k P é r e z L E S U T I L I T A I R E S E T L ' I N T E L L I G E N C E A R T I F I C I E L L E P O U R U N S Y S T E M E D ' A I D E A L A C O N C E P T I O N E N A R C H I T E C T U R E 1984 -R A P P O -R T F I N A L D E -R E C H E -R C H E R a p p o r t final d ' u n e r e c h e r c h e s u b v e n t i o n n é e par le M i n i s t è r e de 1 ' U r b a n i sme et du L o g e m e n t , D i r e c t i o n de l ' A r c h i t e c t u r e , S e c r é t a r i a t de la R e c h e r c h e A r c h i t e c t u r a l e ( d é c i s i o n n° 6 4 0 6 7 du 6 A o û t 1934). R e s p o n s a b l e s c i e n t i f i q u e : M i c h e l L é g l i s e L i 2 A , Avr i l 19

— b o m m a i r e — S O M M A I R E I n t r o d u c t i on Pa ge I n tr od uc t i on par- une m a n i p u l a t i o n s i m p l e 3 i n t é r ê t de 1 u t i 1l i s a t i o n d e s l a n g a g e s o b j e t s 15 P r e m i er e x e m p 1e : une o r i e n t a t i o n " m é t h o d e s " 1? D e u x i è m e e x e m p l e : une o r i e n t a t i o n " b ase de d o n n é e s " 38 C o n c 1 us i on 56 A n n e x e 58 B i bl i og ra ph i e 6?

I N T R O D U C T I O N Ce r a p p o r t se p r é s e n t e en d e u x p a r t i e s qui p e r m e t t e n t d ' e x p l o r e r les o r i e n t a t i o n s g é n é r a l e s de la r e c h e r c h e à t r a v e r s d i f f é r e n t s e x e m p l e s . Une p r e m i è r e a p p r o c h e p e r m e t t r a au l e c t e u r de se f a m i l i a r i s e r a v e c les d i v e r s d o m a i n e s d ' e x p l o i t a t i o n du l ogiciel " T a n g r a m " , l o g i c i e l m i s au p o i n t au L a b o r a t o i r e L i 2A d a n s un a u t r e c o n t e x t e que celui de la p r é s e n t e r e c h e r c h e . Ce l o g i c i e l est un i n t e r p r é t e u r type Li s p c o m p o r t a n t un é d i t e u r g r a p h i q u e et d o t é d ' u n e g r a n d e p u i s s a n c e , en p a r t i c u l i e r d a n s le d o m a i n e de l ' i n t e r a c t i v i t é . C e t t e p r e m i è r e m a n i p u l a t i o n n o u s c o n d u i t par la s u i t e à d é f i n i r une f o r m e p l u s é v o l u é e de d i a l o g u e avec l ' u t i l i s a t e u r . N o u s é t u d i o n s a l o r s une a u t r e g é n é r a t i o n de l a n g a g e s : les l a n g a g e s o r i e n t é s o b j e t s , en m o n t r a n t q u e l l e pe u t ê t r e la p e r t i n e n c e de leur u t i l i s a t i o n en p h a s e de c o n c e p t i o n en A r c h i t e c t u r e . De u x é t u d e s so n t a l o r s p r o p o s é e s à p a r t i r de c e s l a n g a g e s , é t u d e s d i f f é r e n t e s m a i s c o m p l é m e n t a i r e s , qui m o n t r e n t à la f o i s les d i f f i c u l t é s et les p o t e n t i a l i t é s de t e l l e s u t i l i s a t i o n s d a n s un d o m a i ne de la c o n n a i s s a n c e aussi c o m p l e x e que celui de l ' A r c h i t e c t u r e .

L a c o n c l u s i o n p o r t e sur une é v a l u a t i o n d e s m é t h o d e s u t i l i s é e s et sur les a s p e c t s aussi b i e n p o s i t i f s que c o n t r a i g n a n t s de t e l l e s m é t h o d e s .

I N T R O D U C T I O N P A R U N E M A N I P U L A T I O N S I M P L E D a n s ce p r e m i e r c h a p i t r e n o u s i l l u s t r e r o n s les m u l t i p l e s a s p e c t s de T a n g r a m à t r a v e r s un e x e m p l e : une m a n i p u l a t i o n s i m p l e et i n t e r a c t i v e d ' é l é m e n t s d /a r c h i t e c t u r e s o u m i s e à un c o n t r ô l e de c o h é r e n c e . C e t t e p r e m i è r e a p p r o c h e p e r m e t t r a au l e c t e u r de se f a m i l i a r i s e r a ve c les d i v e r s d o m a i n e s d ' e x p l o i t a t i o n de ce logi ciel ( l a n g a g e de p r o g r a m m a t i o n i n t e r p r é t é , é d i t e u r g r a p h i q u e , b as e de d o n n é e s p e r m e t t a n t une d é f i n i t i o n i n t e r a c t i v e de l'uni v e r s de t r a v a i l ) et de s a i s i r ainsi la p o t e n t i a l ité de leur s y m b i o s e . Le l e c t e u r i n t é r e s s é par une de sc r i p t i on p l u s p r é c ise de s m o d e s d ' u t i1 i sa t i on du loqi ciel p o u r r a se r é f é r e r à " T A N G R A M , m a nu e l de l ' u t i l i s a t e u r " < L I 2 A - 8 5 > . N o u s d i v i s e r o n s la p r é s e n t a t i o n de n o t r e é t u d e en p l u s i e u r s é t a p e s : P r e m i è r e é t a p e : c o n s t i t u t i o n d ' u n e b i b l i o t h è q u e d ' é l é m e n t s a r c h i tec t u r a u x . N o u s a v o n s dé fini , à. p a r t i r de 1 ' é d i t e u r g r a p h i q u e de T a n g r a m un e n s e m b l e d ' é l é m e n t s d ' a r c h i t e c t u r e en tous p o i n t s c o n f o r m e s à c e ux e x p o s é s par J . N . L . D u r a n d d a n s son p r é c i s d e s l e ç o n s d ' a r c h i t e c t u r e < D u r a n d - 8 1 > . C e t t e b i b l i o t h è q u e r e g r o u p e d i v e r s t y p e s d ' o b j e t s , m a i s , p o ur la s u i t e de c e t t e é t u d e , n o u s n o u s i n t é r e s s e r o n s p l u s p r é c i s é m e n t à un s o u s - e n s e m b l e b i e n p a r t i c u l i e r d es " s o u t i e n s v e r t i c a u x is olés" : les c i n q g e n r e s de c o l o n n e ( n o u s r e t i e n d r o n s , p ou r q u a l i f i e r n o s c o l o n n e s , le terme de " g e n r e " , e m p l o y é par D u r a n d , qui n o u s s e m b l e p l u s s o u p l e que les d é n o m i n a t i o n s c l a s s i q u e s : d o r i q u e , ioniqu e, c o r i n t h i e n , t os ca n et c o m p o s i t e ) . O u t r e une d e s c r i p t i o n c o m p l è t e d e s m o d e s de trac é de s d i f f é r e n t s g e n r e s de c o l o n n e (où c h a q u e g r a n d e u r est " s o u m i s e " au m o d u l e ) , D u r a n d n o u s l i v r e les r è g l e s de s y n t a x e p e r m e t t a n t de c o m p o s e r une r é p é t i t i o n de s o u t i e n s i so l é s ( d a n s n o t r e cas, une c o l o n n a d e ) c o r r e c t e m e n t r y t h m é e . dé ta i1 1 ée p r é f é r o n s su i v an te . N o u s de s 1 u i d i s p e n s o n s le l e c t e u r d ' u n e d e s c r i p t i o n r è g l e s g r a m m a t i c a l e s de D u r a n d , n o u s en f o u r n i r une i l l u s t r a t i o n sur la page

4

\

C o l o n n a d e -formée à p a r t i r de c o l o n n e s du g e n r e : C T C T C T C o l o n n a d e f o r m é e à p a r t i r de c o l o n n e s du t g e n r e : C T C T C o l o n n a d e f o r m é e à p a r t i r de c o l o n n e s du c g e n r e :

O

O

O

O

s C T C T premi er C T ro i s i ème i nqu i ème

♦

■V

A la vue de c e s e x e m p l e s , une r e m a r q u e s ' i m p o s e : n o t r e col on ne ( q u e l l e q u ' e l l e soit ) ne p e ut si m p 1eme n t p r o c é d e r d 'u n a m a s d i f f é r e n t i é de p i x e l s sur l ' é c r a n (ou de p o i n t s sur un s u p p o r t q u e l c o n q u e ) triais doit, de plus , p o s s é d e r d e s p r o p r i é t é s p r é c i s e s p e r m e 11 an t de r é g i * 1"' ses r a p p o r t s a ve c l ' e n s e m b l e d ' u n e c o m p o s i t i o n . Ceci n o u s a m è n e n a t u r e l l e m e n t à e x p l o i t e r les quai ités de bas e de d o n n é e s de T a n g r a m . D e u x i è m e é t a p e : c o n s t i t u t i o n d ' u n e b a n q u e de r e l a t i v e s aux é l é m e n t s de n o t r e b i b l i o t h è q u e d o n n é e s Q u e l s t y p e s d ' i n f o r m a t i o n d e v o n s n o u s r e t e n i r ? - En p r e m i e r lieu, n o u s f o r m o n s un s c h é m a r e l a t i o n n e l p e r m e t t a n t de m e t t r e en c o r r e s p o n d a n c e le g e n r e d ' u ne c o l o n n e et le n o m sy mbol ique du f i c h i e r image c o r r e s p o n d a n t . C e t t e "mi n i - i n t e r f a c e " ave c n o t r e b i b l i o t h è q u e n o u s p e r m e t t r a d o r é n a v a n t de r é f é r e n c e r 1 "é 1éme n t col o nn e s i m p 1eme n t par son ge n r e . N o u s cr é on s po u r c e l a un a t o m e ( s o u s l ' i n t e r p r é t e u r L i sp de T a n g r a m ) do n t la v a l e u r d ' u n e p r o p r i é t é est une liste d ' a s s o c i a t i o n " g e n r e - n o m symbol ique" (une s t r u c t u r e de d o n n é e p l u s é l a b o r é e s e r a i t b i e n e n t e n d u p r é f é r a b l e d a n s le c a d r e d ' u n e m a n i p u l a t i o n c o m p l e x e p o r t a n t sur un g r a n d n o m b r e d ' é l é m e n t s ; n o u s en r é s e r v o n s la d e s c r i p t i o n p o ur un p r o c h a i n c h a p i t r e ) . (P U T P ' C O L O N N E S ' D I S P O N I B L E ' Il : ( 1 C 0 L 1 .PAD) ( 2 C Q L 2 . P A D ) ( 3 C 0 L 3 . P A D ) ( 4 C 0 L 4 . P A D ) ( 5 C O L S . P A D ) ) ) - E n s u i t e n o u s a c c r o c h o n s une d e u x i è m e p r o p r i é t é à n o t r e a t o m e " c o l o n n e s " : la v a l e u r de l ' e n t r - a x e s u i v a n t le g e n r e ( le s n o m b r e s i n d i q u é s ont été établ is en f o n c t i o n de l ' é c h e l l e de d e s s i n de n o s c o l o n n e s ) . 1 68) 1 56) 1 44) 132) 120 ) ) ) ( P U T P ' C O L O N N E S ' E N T R A X '( ( 1 (4

- E n f i n n o u s n o u s é c a r t o n s q u e l q u e peu d e s p r é c e p t e s t h é o r i q u e s de D u r a n d en d é f i n i s s a n t d e s s e u i l s de v a r i a t i o n po u r les entr— a x e s de c h a q u e g e n r e de c o l o n n e ( c h a q u e e n t r ­ axe pe u t ainsi p r e n d r e un e n s e m b l e de v a l e u r s l i m i t é e s par­

les b o r n e s d e s e n t r - a x e s d e s g e n r e s i m m é d i a t e m e n t i n f é r i e u r s et s u p é r i e u r s ; les l i m i t e s de l ' e n t r - a x e s u p é r i e u r du p r e m i e r g e n r e et de l ' e n t r - a x e i n f é r i e u r du c i n q u i è m e g e n r e so n t p r i s a r b i t r a i r e m e n t ) . ( F UT P -'COLONNES E N T R A X - D E F O R M E '( (1 ( 1 62 I 0 0 0 ) (2 ( 1 50 162) ) ( 3 ( 1 38 150) ) (4 ( 1 26 133) ) ( 5 ) ) ( 0 126) ) N o u s p o u v o n s ainsi a s s o c i e r la v a r i a t i o n d e s e n t r - ax es d e s col on n é s à un p r oc e ssu s c o n t i n u (par i n t e r p o l a t i o n sur les v a l e u r s du p r o c e s s u s d i s c r e t d é fini par D u r a n d ) . D a n s la s u i t e de l ' é t u d e n o u s n o m m e r o n s c e t t e v a r i a t i o n d e s e n t r - a x e s : " d é f o r m a t i o n de la c o l o n n a d e " . Il n o u s f a u t m a i n t e n a n t d é c r i r e les a c t i o n s p e r m e t t a n t de m a n i p u l e r n o s é l é m e n t s g r a p h i q u e s et n o s p r o p r i é t é s . P o u r c e l a n o u s u t i l i s o n s T a n g r a m c o m m e l a n g a g e de p r o g r a m m a t i o n . T r o i s i è m e é t a p e : p r o g r a m m a t i o n d e s u t i l i t a i r e s de m a n i pu 1at i on T o u t d ' a b o r d n o u s d é f i n i s s o n s une p r o c é d u r e p e r m e t t a n t de p a r c o u r i r n o t r e " b ase de d o n n é e s " et d ' a s s o c i e r à une clé (qui s e r a p o u r n o u s le g e n r e ) l ' i n f o r m a t i o n r e c h e r c h é e : (DE A S S G C ( C L E B A S E ) (C O N D ((N U L L B A S E ) N I L ) ( ( EQ C LE (C A A R B A S E ) ) ( C A D A R B A S E ) ) (T ( A S S Û C C L E ( C D R B A S E ) ) )

) )

D ' a u t r e s dé f i n i t ions de "A s s o c " se r on t don n é e s p l u s en a v a n t d a n s c e t t e é t u d e , m a i s c e l l e - c i n o u s c o n v i e n t p a r f a i t e m e n t p o u r l ' i n s t a n t .

*

En su i te n ou s i m p 1é m e n t on s un en s e m b l e de p r i m i t iue s de m an i pu 1at ion de n o s é l é m e n t s :

- Une p r o c é d u r e r e t o u r n a n t (par une 1 ec t u r e sur f ic h i e r à par tir du "c a t a l o g u e " de n o t r e b i b 1 i oth è q u 6* ) 1 'o c c u r e n c e graph i que d ' u n e col on ne en f o n c t ion du g e n r e ( 1 e d e u x i è m e p a r a m è t r e est local à. n o t r e p r o c é d u r e et n'a a u c u n e u t i l i t é l o r s de l ' a p p e l ) .

< DE R E T R O U V E ( G E N R E B I D O N )

( C O N D

< <SE T Q B I D ON < R ET R < A S S 00 G E N R E <G E T P 'C O L O N N E S 'DI S P ONI B L E )))) B ID ON )

(T ( PR I N T ' " Ge n r e n on r é p e r t or i é " ) )

> )

- Une p r o c é d u r e p e r m e t t a n t d'a-f-ficher une s é r i e de c o l o n n e s e s p a c é e s par d e s e n t r - a x e s types. (DE R E P E T E ( N O M - C O L G E N R E N B R E ) ( C O N D ( ( Z E R O P N B R E ) N I L ) (T ( A P P E N D (LI S T (C O P (E U A L N O M - C O L )(M U L T (PA D L (A 3 S OC G E N R E (G ET P "COL O N N E S 'E N T R A X ))) ' N B R E ) 0)) ( R E P ET E N O M - C O L G E N P. E ( SUBI N ERE)) ) ) ) ) t

(La p r i m i t i v e “Pa d l" - i n c o r p o r é e aux p r i m i t i v e s de b a s e de T a n g r a m - c o n v e r t i t "une d i s t a n c e en p i x e l s " sur l ' é c r a n en une v a l e u r c o r r e s p o n d a n t e p o ur 1 ' é d i t e u r g r a p h i q u e - en -fonction du z o o m sur l 'image -. Q u a n t à

"Cop", e ll e e f f e c t u e une c o p i e de l ' é l é m e n t . ) - Une p r o c é d u r e de c o m p o s i t i o n de c o l o n n a d e (le g e n r e et le n o m b r e de c o l o n n e s son t i n s é r é s d a n s la liste de p r o p r i é t é s de l ' a t o m e (nom de la c o l o n n a d e ) ) . (DE C O L O N N A D E () ( P R O G ( L O C A L N O M N B R E G E N R E ) ( T E R P R I ) (P R IN 1 '" N o m de la c o l o n n a d e : " ) ( S E T Q N O M (R E A D ) ) ( T E R P R I (P R I N 1 '" Ge n r e : " ) ( S E T Q G E N R E (R E A D ) ) ( T E R P R I ) (PRIN1 '" N o m b r e de c o l o n n e s : " ) ( S E T Q N (R EA D)) (P U T P N O M ' N O M B R E N B R E ) ( P U T P N O M ' N G E N R E G E N R E ) ( RETIJRN (SE T N O M (R E P E T E ( R E T R O U U E G E N R E N I L ) G E N R E N B R E ) ) )

4 N o u s p r o p o s o n s au l e c t e u r l ' i l l u s t r â t ion de s e s s i o n s d ' a c t i v a t i o n de " C o l o n n a d e " : < C O L O N N A D E > N o m de la c o l o n n a d e : C0LS1 G e n r e : 4 N o m b r e de c o l o n n e s : 4

O

_O

_O

_O

(C O L O N N A D E ) N o m de la c o l o n n a d e : C 0 L S 2 G e n r e : 2 N o m b r e de c o l o n n e s : 4 t=7

_{C 7}

L e s d eu x a t o m e s Col si et C o l s 2 ont m a i n t e n a n t v a l e u r une li st e c o m p o s é e de q u a t r e d e s s i n s de col

(une d e m a n d e d ' é v a l u a t i o n d ' un de c e s a t o m e s a-fti cher- c o l o n n a d e c o r r e s p o n d a n t e ) . deux po ur o n n e s à 1-3. o

- D eu x p r é d i c a t s -formant une c o l o n n a d e d' u n e n t r - a x e dé-formé d a n s la s e c o n d e é t a p e ) p e r m e t t a n t de s a v o i r si les c o l o n n e s son t e s p a c é e s d " un e n t r - a x e type ou ( c orrip r i s e n t r e les l i m i t e s dé -f i n i e s ( DE N O R M E (NOM) (E Q (P A D L (A S S 0 C (G E T P N O M "N G EN R E ) ( G E T P 'COL O N N E S 'EN T R A X )) (S U B (C A A R (M I M A (C A R < EU A L N O M )))) (C A A R (M I M A ( C A D R (E U A L N O M ))))>) ) )

(La p r i m i t i v e "M ima" - i n c o r p o r é e aux p r i m i t i v e s de b a s e de T a n g r a m - r e n v o i e une li ste c o m p o s é e des c o o r d o n n é e s m i n i m a l e s et m a x i m a l e s - e n c o m b r e m e n t h o r i z o n t a l et v e r t i c a l - d ' u n o b j e t g r a p h i q u e ) . (DE N O R M E D (NOM) ( P R O G ( L O C A L S* G») (S E T Q S* ( SU B (C A A R (MI M A (C A R (E U A L N O M )))) (C A A R (M I M A (C A D R (E U A L N O M )))))) ( S E T Q G* ( A S S O C ( G E T P N O M 'NG EN RE) (G E T P 'C 0 L O N N E S 'E N T R A X - D E F 0 RM E ) )) ( R ET U RN ( A N D ( L E S S P ( P A D L ( CA R Gf■ ) ) Si- ) ( G R E A T P ( P A D L ( L-ADR GT ) ) S$) ) ) - Une p r i m i t i v e r e t o u r n a n t le g e n r e d ' u n e c o l o n n a d e . (DE G E N R E ? () ( P R O G ( T E R P R I ) (PRIN1 '" N o m de la c o l o n n a d e : ") (R E T U RN (G ET P (R E A D ) 'N G E N R E ) ) ) ) - Une p r o c é d u r e p e r m e t t a n t de d é p l a c e r une c o l o n n e . (DE B0 UG 1 ( O B J E T U A L E U R ) (C O N D ( ( Z E R O P U A L E U R ) N I L ) (T (T R A M 0 B J E T (M U LT -01 (PA D L U A L E U R ) ) 0)) ) )

(La p r i m i t iv e "T ran" - inc or por é e aux p r i m i t iv e s de ba s e de T a n g r a m - a c t i v e une t r a n s l a t i o n en X et Y - d e u x i è m e et t r o i s i è m e p a r a m è t r e s - sur un o b j e t g r a p h i q u e - p r e m i e r p a r a m è t r e -).

* - D eu x p r o c é d u r e s p o u r d é p l a c e r t o u t e s les c o l o n n e s d ' u n e c o l o n n a d e . ( DE B 0 U G 2 ( NO M N B R E M U A L E U R ) <C O N D < <OR (N U L L N O M ) ( Z E R O P N B R E >) NIL ) (T (BOLIGl ( CA R N O M) ( M U L T U A L E U R ( S UB M N B R E ) ) ) ( B 0 U G 2 ( CD R N O M) (SUBI N B R E ) M U A L EU R.) ) ) ) (DE B 0 U G 3 (NO M U A L E U R ) ( P R O G ( L O C A L X) (S E T Q X (G E T P N O M " N O M B R E ) ) ( R ET U R N ( B O IJ G 2 ( E U A L N O M ) X X U A L E U R ) ) ) ) C e t t e d e r n i è r e p r o c é d u r e p r o v o q u e l a d é f o r m a t i on d ' u n e c o l o n n a d e s a n s v é r i f i c a t i o n de c o h é r e n c e e n t r e le g e n r e de la c o l o n n a d e et la v a l e u r de l ' e n t r - a x e des c o l o n n e s . Il n o u s f au t d o n c i m p l é m e n t e r une s u i t e d ' a c t i o n s c o m p l é m e n t a i r e s a c t i v a n t " B o u g S " , et c o m p a r a n t e n s u i t e l ' e n t r - a x e d e s c o l o n n e s a v ec l es v a l e u r s p e r m i s e s (par a c t i v a t i o n de “N o r m e " et "N o r m e d " ). Si la v a l e u r de 1 ' e n t r ­ axe se r é v è l e ê tr e h o r s d e s l i m i t e s p e r m i s e s , le g e n r e de la c o l o n n a d e s e r a m o d i f i é en c o n s é q u e n c e (ainsi que, bie n e n t e n d u , le d e s s i n d e s c o l o n n e s ) .

N o u s d i v i s e r o n s c e t t e tâch e en d e ux p r o c é d u r e s :

- Une p r e m i è r e p r o c é d u r e p e r m e t t a n t la l e c t u r e d es p a r a m è t r e s , l ' a c t i v a t i o n de " B o u g S " , le test sur les e n t r ­ a x e s et l ' a c t i v a t i o n , le c a s é c h é a n t , d ' u n e s e c o n d e p r o c é d u r e ( d é c r i t e p l u s loin). (DE D E F O R M E O ( P R O G ( L O C A L N O M U A L E U R ) ( T E R P R I ) (PRIN 1 '" N o m de la c o l o n n a d e : " ) ( S E T Q N O M (R EA D)) ( T E R P R I ) (PRIN I '" U a l e u r de la d é f o r m a t i o n : ") ( S E T Q U A L E U R ( R E A D) ) ( B O U G S N O M U A L E U R ) ( R E T U RN (C O N D ((N 0 R M E N O M ) '" E n t r - a x e type") ( ( N Q R M E D N O M) '" E n t r - a x e d é f o r m é ) (T ( C O N D ( ( L E S S P U A L E U R 0) (C H G (P L U S 1 ( G E T P N O M 'N G E N R E )))) (T (C H G (S U B 1 ( G E T P N O M 'N G E N R E ) ))) ))) ) ) )

- Une p r o c é d u r e p e r m e t t a n t d ' a f f e c t e r à une c o l o n n a d e d e s c o l o n n e s d ' u n g e n r e c o r r e s p o n d a n t a la v a l e u r de l ' e n t r - a x e (la li st e d e s o b j e t s g r a p h i q u e s r e p r é s e n t a n t la c o l o n n a d e est m o d i f i é e par a c t i v a t i o n de " R e t r o u v e " ) . (DE C HG (G ENR E) ( P R Ü G ( EF FA C E)

( PR INT ' " Dé-Format i on s u p é r i e u re au seu il")

(PRIN1 "" Le g e n r e de la c o l o n n a d e est m a i n t e n a n t : ( P R I N T G E N R E ) ( SE T N O M ( R E P E T E ( R E T R O U V E G E N R E ) G E N R E ( G E T P N O M 'NERE ( P U T P N O M - N G E N R E G E N R E ) ( R E T U R N '" C h a n g e m e n t de g e n r e " ) ) ) (La p r i m i t i v e " E f f a c e " a p p a r t i e n t a T a n g r a m et e f f a c e l ' é c r a n g r a p h i q u e et t e xt e ) . N o u s p r o p o s o n s au l e c t e u r l ' i l l u s t r a t i o n de q u e l q u e s e x e m p l e s d ' a c t i v a t i o n de " D é f o r m e " sur les p a g e s s u i v a n t e s . Il f a u d r a a p p o r t e r une g r a n d e a t t e n t i o n aux m o d i f i c a t i o n s de T y p e s de c o l o n n e s , l e u r s d i f f é r e n c e s ne s a u t a n t p a s aux y eu x l o rs d ' u n e l e c t u r e r a p i d e ; m a i s n o u s a v o n s p r é f é r é r e s p e c t e r les T y p e s de D u r a n d p l u t ô t que de m a n i p u l e r d e s é l é m e n t s p l u s d i f f é r e n c i é s m a i s ne c o r r e s p o n d a n t p a s à. un e x e m p l e p r é c i s tiré d ' u n e t h é o r i e archi t e c t u r a l e .

/ Ac t i vat i on de " Dé-forme " sur 1 a (de g en r e 4) dé-finie p l u s h a u t . / ( D E F O R M E ) N o m de la c o l o n n a d e : C0LS1 V a l e u r de la d é f o r m a t i o n : 5 E V A L : E n t r - a x e d é f o r m é O

t a

( D E F O R M E ) N o m de la c o l o n n a d e : C0 LS1 V a l e u r de la d é f o r m a t i o n : 4 D é f o r m a t i o n s u p é r i e u r e au seuil Le g e n r e de la c o l o n n a d e est m a i n t e n a n t : EC'AL : C h a n g e m e n t de g e n r e

YZ7

XZ7

\Z

7

Πl

o l o n n a d e "Col si" O

a

^ = 7

< D E F O R M E ) N o m de la c o l o n n a d e : C0LS1 V a l e u r de la d é f o r m a t i o n : ? D é f o r m a t i o n s u p é r i e u r e au seuil Le g e n r e de la c o l o n n a d e est m a i n t e n a n t E V A L : C h a n g e m e n t de g e n r e v u

tu

1 <D E F O R M E ) N o m de la c o l o n n a d e : CQ LS1 V a l e u r de la d é f o r m a t i o n : 11 D é f o r m a t i o n s u p é r i e u r e au seuil Le g e n r e de la c o l o n n a d e est m a i n t e n a n t E V A L : C h a n g e m e n t de g e n r e

t Q u a t r i è m e é t a p e : c o n c l u s i o n de la p r e m i è r e p a r t i e C e t t e é t u d e p r é l i m i n a i r e n o u s a p e r m i s d ' e x p l o r e r r a p i d e m e n t les d i f f é r e n tes p o s s i b i l i t é s d ' e x p l o i t a t i o n de T a n g r a m . La m a n i p u l a t i o n p r o p o s é e é t a i t s i m p l e , ne n é c e s s i t a i t p a s d ' a n a l y s e ou de r é f l e x i o n p r é a l a b l e et peut êt r e a i s é m e n t i m p l é m e n t é e . E l le n o u s a p e r m i s de d é f i n i r un p r e m i e r " p a s s a g e e n t r e l ' a c t e de C o n c e p t i o n et 1 ' I n f or m at i q u e ". T o u t e f o i s son obj et r e s t e t r ès li mi t é . De p l u s la n é c e s s i t é de d é f i n i r d a n s son intégral ité c h a q u e a c t i o n i m p l é m e n t é e (en q u e l q u e s o r t e au " c oup par c o up ") n o u s im pose d eu x r e m a r q u e s : - Le l a n g a g e u t i l i s é est s a n s a u c u n d o u t e de "tr o p b a s n i v e a u " p ou r p o uvo i r ê t r e r é e l l e m e n t e x p l o i t é par un u t i l i s a t e u r non i n f o r m a t i c i e n . - Il s e m b l e r a i t i n t é r e s s a n t de d i s p o s e r d ' u n u n i u e r s de travail p l u s s t r u c t u r é — n o u s s e r i o n s t e n t é s de d i r e p l u s " c h a r p e n t é " - p e r m e t t a n t une d é f i n i t i o n s i m p l e d e s a c t i o n s et d e s o b j e t s m a n i p u l é s . Il n o u s f au t d o nc é t u d i e r d e s s t r u c t u r e s de d o n n é e s et d e s m o d e s d ' i m p 1e m e n t a t i o n de p r o c é d u r e s p l u s é l a b o r é s s u s c e p t i b l e s de r é p o n d r e d ' u n e m a n i è r e g é n é r a l e aux p r o b l è m e s r e n c o n t r é s d a n s le c a d r e de n o t r e r e c h e r c h e . Ceci f e r a 1 ''objet d e s c h a p i t r e s s u i v a n t s . K

*

I N T E R E T DE L ' U T I L I S A T I Q N D E S L A N G A G E S O B J E T S

La n o t i o n d ' Q b j e t (on p a r l e r a de L a n g a g e s O b j e t s , ou o r i e n t é s o b j e t s ) p r é s e n t e un a v a n t a g e c o n s i d é r a b l e sur les s y s t è m e s de p r o g r a m m a t i o n " c l a s s i q u e s " , d a n s un d o m a i n e de c o n n a i s s a n c e s aussi c o m p l e x e que celui de 1'A r c h i t e c t u r e :

la r é d u c t i o n de la c o m p l e x i t é .

Une d e s g r a n d e s d i f f i c u l t é s à é l a b o r e r un log ic iel en p h a s e de c o n c e p t i o n a r c h i t e c t u r a l e v i e n t du fai t que les m o d e s de p r o g r a m m a t i o n c l a s s i q u e s a p p o r t e n t d e s s o l u t i o n s à d e s p r o b l è m e s non s e u l e m e n t " b i e n d é f i n i s " , m a i s de p l u s do n t les r é p o n s e s s on t f o r m e l l e m e n t c o n n u e s d ' a v a n c e . Il s ' a q i t a l o r s de m e t t r e en p l a c e d e s m é c a n i s m e s de r é s o l u ­ tion s p é c i f i q u e s et s y s t é m a t i q u e s . ( A l g o r i t h m e s ) . Il s e r a i t i l l u s o i r e et d a n g e r e u x (car la c o n t r a i n t e dev i en t i n s u p p o r tabl e p o u r 1 ' a r ch i tec te de van t se p l i e r à la m a c h i n e , et non l ' i n v e r s e ) , de t e n t e r ce type d ' a p p r o c h e m u t i l a n t e et r é d u c t i o n n i s t e , a l o r s que r i en n ' e s t p l u s ri c h e , m o u v a n t et c o m p l e x e que la c o n c e p t i o n a r c h i t e c t u r a l e . ( ( G Q U L E T T E S 4 - 2 > ) . La p h i l o s o p h i e d e s l a n g a g e s o b j e t s r e v i e n t à p o s e r le p r o b l è m e à 1 ' e n v e r s : P o u r q u o i ne p a s p e r m e t t r e à l ' u t i l i ­ s a t e u r de c r é e r au fur et à m e s u r e les o b j e t s d o nt i1 a b e s o i n ( c o n s t i t u a n t p ar 1 à - m ê m e sa p r o p r e b a s e de d o n n é e s ) , et d é f i n i s s a n t les a c t i o n s que les o b j e t s p e u v e n t e n t r e p r e n d r e , leur t y p o l o g i e ( a s p e c t s s é m a n t i q u e s ) , et la d e s c r i p t i o n de l e u r s i n t e r - r e l a t i o n s ( a s p e c t s s y n t a x i q u e s ) .

A i n s i , a u c u n a l g o r i t h m e ne p o u r r a ê t r e é t abl i "a p r i o r i " , en d e h o r s de to ute c o n s i d é r a t i o n sur le type de d é m a r c h e et d ' é v o l u t i o n que l ' u t i l i s a t e u r c r é e r a , a u c u n " p r o g r a m m e " ne v e n a n t f i g e r une é v o l u t i o n i m p r é v i s i b l e . Le rôl e du p r o g r a m m e u r r e v i e n t d o nc à c r é e r une e s p è c e de "b oî te è o u t i l s " , p e r m e t t a n t de g é n é r e r un m i c r o - u n i v e r s d a n s lequel une c o h é r e n c e r e l a t i o n n e l l e e n t r e t i e n d r a le fo n c t i o n n e m e n t . On t r o u v e r a d ' a u t r e s a r g u m e n t s d a n s ( C A R A D A N T 84>.

La d i f f é r e n c e f o n d a m e n t a l e e n t r e les s y s t è m e s c l a s s i q u e s et les s y s t è m e s o r i e n t é s o b j e t s r é s i d e d a n s 1 '"approche r é e l l e m e n t m o d u l a i r e d e s s t r u c t u r e s de r e p r é s e n t a t i o n et de c o n t r ô l e de c e s d e r n i e r s :

- d a n s les l a n g a g e s o b j e t s tout est p o r t é par les o b j e t s : c o n n a i s s a n c e d " e u x - m ê m e s , de leur e n v i r o n n e m e n t , m a i s aussi du c o m p o r t e m e n t gé né ral de cet e n v i r o n n e m e n t . La p l u p a r t d e s l a n g a g e s o b j e t s a d m e t t e n t une d é f i n i t i o n m é t a c i r cu lai r e , c ' e s t à dire q u ' à l ' i n s t a r de L I S P le l a n g a g e p e u t s " a u t o - d é c r i r e d a n s son p r o p r e v o c a b u l a i r e et sa p r o p r e s é m a n t i q u e .

- les m i c r o l a n g a g e s que n o u s p r o p o s o n s ne von t pas- aussi loin d a n s la f i n e s s e t h é o r i q u e : ils n ' a s s u r e n t p a s e u x - m ê m e s leur c o m p l é t u d e ( i l s s e r o n t d é c r i t s en L I S P ) . M o u s v e r r o n s n é anmoi ns que n ou s n 'av on s plu s a f f a i r e u n i q u e m e n t à une s t r u c t u r e de r e p r é s e n t a t i o n m a i s aussi à de v é r i t a b l e s l a n g a g e s . L e s dif-fférents t y p e s de L a n g a g e s O b j e t s On d i s t i n g u e p l u s i e u r s t y p e s de l a n g a g e s o r i e n t é s o b j e t : - L e s l a n g a g e s d i r e c t e m e n t i s s u s de S M A L L T A L K qui sont aussi a c t u e l l e m e n t à l ' é t u d e au s e in de LI2A. - L e s l a n g a g e s d ' a c t e u r s : P L A S M A , A C T 1 , F O R M E S , qui sont q u e l q u e s peu d i f f é r e n t s s u r t o u t d a n s leur c o m p o r t e m e n t d a n s la g e s t i o n d e s h é r i t a g e s : ils son t c e r t a i n e m e n t p l u s s o u p l e s , à ce n i v e a u , que les p r é c é d e n t s . — L e s l a n g a g e s de type " f r a m e " : K R L , F R L , M E R I N G , L O O P , qui s ' i n t é r e s s e n t p l u s p r é c i s é m e n t à la r e p r é s e n t a t i o n de s connai s s a n c e s . N o u s e x p o s e r o n s d a n s ce r a p p o r t d e u x t y p e s de t r a v a u x qu e n o u s a v o n s ré al isés sur les l a n g a g e s o b j e t s de type "frame" à a t t a c h e m e n t s p r o c é d u r a u x .

P R E M I E R E X E M P L E ; U N E O R I E N T A T I O N " M E T H O D E S 11

I ) ■ A p e r ç u oén éra l

T r o i s p o i n t s de vue ont p r é s i d é à la m i s e en p l a c e du lo g ici el que n o u s a l l o n s d é c r i r e :

A)

L / idée que l ' A r c h i t e c t u r e peut , p o u r une large part , ê t r e a n a l y s é e , d é c r i t e et c o m p r i s e c o m m e un p r o c e s s u s c o m b i n a ­ toire à la -fois s y n t h é t i q u e et a d d i t i f , d ' un e n s e m b l e d ' é l é m e n t s f i n i s ; c o m b i n a t o i r e r é g i e par d e s g r o u p e s de r è g l e s t r a n s f o r m a t i o n n e 11 es et r e l a t i o n n e l l e s a s s o c i é e s au type de c h a q u e o b j e t . N o u s n o m m e r o n s c e s r è g l e s " M é t h o d e s " . Si d a n s le détail le n o m b r e d e s o b j e t s a r c h i t e c t u r a u x pe ut s e m b l e r t rè s g r a n d , il d e v i e n t à l ' i n v e r s e a s s e z f a i b l e d ès que l'on a b o r d e une c l a s s i f i c a t i o n par l ' a n a l y s e t y p o l o g i q u e . S ' a p p u y a n t sur ce p o i n t de vue, la r e c h e r c h e qui sui t d é v e l o p p e r a q u a t r e c o n c e p t s p r i n c i p a u x :

1: Le type A r c h i t e c t u r a l :

D é f i n i t les M é t h o d e s et C o n t r a i n t e s a p p l i c a b l e s aux o b j e t s qui en s on t issus. ( A t t e n t i o n : le type ne c o n t i e n t p a s d ' o c c u r e n c e g r a p h i q u e . )

2: L e s M é t h o d e s :

ou A c t i o n s que les o b j e t s p e u v e n t e n t r e p r e n d r e . 3: L e s C o n t r a i n t e s

que l'on d oi t r e s p e c t e r sur tout o b j e t . (ex : P r o p o r t i o n s g é o m é t r i q u e s , M o d u l e s , R é s i s t a n c e , O r d o n n a n c e m e n t e t c . . . ) . N o u s n o m m e r o n s ici cet e n s e m b l e " M o d è l e " .

4: L e s O b j e t s :

B)

L ' o u ti l un peu parti cul ier don t n o u s d i s p o s o n s au LILA, type de L I S P g r a p h i q u e c o n n e c t é a un é d i t e u r deux d i m e n s i o n s , p e r m e t l ' i m p l a n t a t i o n de ce g e n r e de lo giciel (co n f : "Une m a n i p u l a t i o n s i m p l e " ) . C) La c o n f r o n t a t i o n a ve c d e s l o gi ci el c o n n u s p o ur ê t re s o i t - d i s a n t d e s l o g i c i e l s de c o n c e p t i o n , a m è n e bie n d e s q u e s t i o n s . Il), A n a l y s e du P r o g r a m m e . I 1-1 . L e s C l a s s e s On d é s i g n e r a par C l a s s e s , 1 " e n s e m b l e d e s é l é m e n t s du m i c r o - u n i v e r s a y a n t p o u r c a r a c t é r i s t i q u e s c o m m u n e s la m ê m e s t r u c t u r a t i o n d e s d o n n é e s . N o u s d i f f é r e n c i e r o n s ici d e ux c l a s s e s p r i n c i p a l e s : - La c l a s s e d e s O b j e t s . - La c l a s s e d e s T y p e s . I I -1.1 . C l a s s e d e s O b j e t s Un O b j e t est une m i c r o - b a s e de d o n n é e s ( s t r u c t u r é e s e l o n le m o d e c l a s s i q u e d e s l i s t e s de p r o p r i é t é s m a n i p u l é e s par L I S P < v o i r < C A R A D A N T 34 >) , don t c h a q u e in f ormst i on est c o n d i t i o n n é e par un e n s e m b l e de c o n t r a i n t e s i m p o s é e s par le T y p e auque l l ' O b j e t a p p a r t i e n t . G r è c e k cet e n s e m b l e de c o n t r a i n t e s qu'il " p o r t e " , l ' O b j e t est a u t o n o m e , il est à la f o i s 'Procédure"' (au s e n s c o n v e n t i o n n e l ) et b a se de d o n n é e s , il p eu t a gi r sur l ' e n v i r o n n e m e n t d a n s lequel il est p l a c é , ou s " a u t o - m o d i f i e r . T o u t O b j e t est d o n c c o n s t i t u é d ' un e n s e m b l e de C H A M P S du type : ( C H A M P ) : : = ( N om de F a c e t t e > ( C a l e u r >

La F a c e tte est 1 ' i d e n t i f i c a t e u r q u a l i t a t i f d ' u n C a r a c t è r e de l 'o bj e t. C 'e s t t o u j o u r s une e x p r e s s i o n a t o m i q u e . La L'ale ur est le c o n t e n u de la f a c e t t e de l ' o b j e t c o n s i d é r é . C ' e s t un a t o m e ou une liste. C e r t a i n e s f a c e t t e s s o n t a u t o m a t i q u e m e n t a t t r i b u é e s aux o b j e t s du l o g i c i e l , d ' a u t r e s son t d é f i n i e s par 1 ■' o p é r a t e u r l o r s de la d é c l a r a t i o n du type auquel l ' o b j e t se r a p p o r t e . <On p a r l e r a a l o r s de C h a m p s M o d é l i s é s ) . On p eu t d on c d é f i n i r l ' o b j e t par: < Obj e t >: : = <No m d ' o b j e t > <C h a m p p r o c é d u r a l > < Ch amp T y p e ) ( C h a m p s Mod él isés) ( C h a m p s u t i l i s é s par- c e r t a i n e s p r o c é d u r e s , non a c c e s s i b l e s par l ' o p é r a t e u r ou O b j e t s au tr ès ) I I -1 . 2. C l a s s e d e s T y p e s Le T y p e d é t e r m i n e le r a y o n d ' a c t i o n et l ' e x i s t e n c e d e s O b j e t s qu'il e n g e n d r e . Il est 1u i - m ê m e issu d ' u n T y p e dont il h é r i t e d e s p r o p r i é t é s . Il est é v i d e n t que les T y p e s i n i t i a u x ont p o u r p r o p r i é t é d ' a v o i r p o u r T y p e e u x - m ê m e s : ils c o m p o s e n t la c l a s s e p a r t i c u l i è r e d e s M é t a - T y p e s .

L e s F a c e t t e s du T y p e s o nt c o n n u e s d ' a v a n c e et d é t e r m i n é e s par le 1og iciel, l e u r s v a l e u r s son t i n t r odu i t e s par 1 ■ op é - r a t e u r l or s de la d é c l a r a t i o n .

On c o m p t e t r o i s F a c e t t e s p o u r c h a q u e T y p e : La F a c e t t e T Y P E :

El l e a p ou r v a l e u r le N O M du P E R E du T y p e . La F a c e t t e M E T H O D E S :

C ' e s t la liste d e s a c t i o n s que t o u s les O b j e t s i s sus de ce T y p e p o u r r o n t e n t r e p r e n d r e . A t t e n t i o n : Il y a h é r i t a g e de M é t h o d e s d 'u n T y p e "père " à. un T y p e "f i ls " .

La F a c e t t e M O D E L E S :

C ' e s t 1 ■'ensemble d e s c o n t r a i n t e s sur les V a l e u r s d e s A s p e c t s que les O b j e t s p o u r r o n t p o s s é d e r .

I I -2. L ' i n t e r p r è t e d e s m o d è l e s

T o u t O b j e t est c o m p o s é de c h a m p s de p r o p r i é t é s a p p e l é s A s p e c t s c o m m e n o u s 1 ' a v o n s dé fini p l u s ha u t. L e s A s p e c t s d é t e r m i n e n t d on c d e s C a l e u r s a c c r o c h é e s aux O b j e t s qui ne so n t ual id ées que si les c o n t r a i n t e s de F a c e t t e s le sont. C e s c o n t r a i n t e s s ' e x p r i m e n t s o u s f o r m e de C l a u s e s de H o r n . La d é f i n i t i o n B N F d 'u n m o d è l e est d o nc : <Modè 1 e > : : = ^ < Fac e 11 e > «^ < C 1 au se < C l a u s e > : : = i d e n t i f i c a t e u r de T y p e de c l a u s e ) £< E x p r e s s i on s y m b o l i q u e LISP/J i d e n t i f i c a t e u r de T y p e de Clause)-: Clause)-:= C O N S T l 'VALEUR { P R O C E D U R E | R E S T R I C T I O N | E N S E M B L E | D E M O N \ D EF A U T O ù : V A L E U R : S t i p u l e que la v a l e u r de la f a c e t t e s e r a m i s e è j o ur de m a n i è r e e x t e r n e à l ' o b j e t . C O N S T : P e r m e t d ' a f f e c t e r une v a l e u r c o n s t a n t e à la f a c e t t e . P R O C E D U R E : D é t e r m i n e le f ai t que la v a l e u r s e r a d é d u i t e ou r e ­ c a l c u l é e par une p r o c é d u r e . R E S T R I C T I O N : Est un p r é d i c a t c o n t r ô l a n t la v a l e u r e n t r é e . E N S E M B L E : P r é d i c a t s p é c i f i a n t les v a l e u r s a u t o r i s é e s sur la f a c e t t e .

D E M O N : rr'est p a s à p r o p r e m e n t p a r l e r u ne c o n t r a i n t e , c ' e s t une p r o c é d u r e qui se d é c l e n c h e à c h a q u e f o i s que la v a l e u r de 1 " a s p e c t est t ou c h é e . D E F A U T : P e r m e t d ' i n i t i a l i s e r la v a l e u r d ' u n e f a c e t t e .

Il f au t do nc p ou r q u ' u n e v a l e u r sur une f a c e t t e soit v a l i d é e que l ' e n s e m b l e d e s c l a u s e s s 'y r a p p o r t a n t so it v rai. s d ' u n e c l a u s e , £ ' l ' é v a l u a t i o n d ' u n e c l a u s e et: y C l a u s e , £ ( C l a u s e ) é ^ C r a i , F a ux } D ' o ù si p y" d é s i g n e n t les p a r a m é t r e A l o r s on d o i t a v o i r :

•'al i dat i o n - F a c e t te (et .

<=> / \ £jClause((*, )J = C'r a i

Parmi les f o n c t i o n s i m p o r t a n t e s f i g u r e n t c e l l e s qui p e r m e t t e n t le c h a r g e m e n t d e s a s p e c t s d ' u n o b j e t . L e s O b j e t s p e u v e n t r e c e v o i r d e s i n f o r m a t i o n s ou en f o u r n i r de p l u s i e u r s m a n i è r e s . L e s v a l e u r s d e s a s p e c t s p e u v e n t ê tr e d o n n é e s par l ' o p é r a t e u r , par un a u t r e o b j e t , ou p e u v e n t ê t r e i n s t a n c i é e s . D a n s ce c a s on c o n s i d è r e q u ' e l l e s s o nt " d é d u i t e s " à la s u i t e de c e r t a i n e s i n f o r m a t i o n s sur l ' e n v i r o n n e m e n t s t i m u ­ lant d e s d é m o n s ou d e s p r o c é d u r e s .

Un i? o r i e n t a t i o n " m é t h o d e s L o i c i une p r e m i è r e pr o c é d u r e d i t e de "val i da t i on " . C DE L A L I DE < Ü A S S U A CL) < C O N D < < N U L L CL) T) < < A N D < E G < C A A R CL) 'D E F A U T ) ( E Q C'A N I L) < M A L IDE 0 A S S C'A ( C D R CL ))) < P UT P 0 A S S < CA D A R C L ) ) T ) < < A N D < E Q < C A A R CL) ' L A L E U R ) < C A L IDE 0 A S S C'A ( C DR CL)) ) ( P U T P 0 A S S C'A) T) ( ( A N D ( E Q ( C A A R CL) " P R O C E D U R E ) (L'ALI D E 0 A S S L A ( C DR CL))) (P U T P 0 A S S (A P P L Y (CA D A R C L ) ( LI ST 0 L A ) )) T ) ((A N D (E Q (C A A R CL) 'EN S E M B L E ) (L A L I D E 0 A S S L A ( C D R CL))) ( M E M B E R P L A (C A D A R CL)) ) ((A N D ( E Q ( C A A R CL) 'R E S T R I C T ) ( L A L I D E 0 A S S L A ( C DR CL))) (A P P L Y (C A D A R C L ) ( LI ST 0 L A ))) ((A N D ( E Q (C A A R CL) ' D E M O N ) ( L A L I D E 0 A S S L A ( C D R CL)) ) (A P P L Y (C A D A R C L ) ( L I S T 0 L A ))T ) (T N I L ) ) ) ) ) ) ) ) ) L e s o b j e t s c o m m u n i q u e n t a v ec c e t t e p r o c é d u r e au m o y e n de u x m é t h o d e s :

Une -fonction p o u r l a q u e l l e un o b j e t v o it une de -facettes i n s t a n c i é e par 1 ■" o p é r a t e u r : (DE R E Ç O I T ( X ) (C Û N D ((L AL I DE (C A R X ) ( C A D R X ) ( C A D D R X ) ( A S S O C (C A D R X) ( G ET P ( 6 E T P ( C A R X) ■" P E R E ) ' M O D ) ) ) T) ( T ( P R I N 1 ( L I S T ( C A R X) N E P E U T R E C E L O I R " ( C A D R X) ( C A D D R X) )) ) ) ) ) ) ) de s e s

Ou une f o n c t i o n p o u r l a q u e l l e c ' e s t un o b j e t i n s t a n c i e un a u t r e o b j e t : (DE D O N N E - A O O <CGND< (UA L IDE ( CA DR X X C A D D R X X G E T P ( C A R X) ( CA D D R X (A S S Û C (C A D D R X) (8 ET P (G ET P (CA D R X) 'PERE) " M O D > ) (T (P R I N 1 ( LI ST (C A D R X ) N E P E U T R E C E V O I R " ( C A D D R )<))))>>> Su i '■>en t q u a t r e p r oc é d u r e s d ' e x p 1 or a t i on c 1 a s s i u t i l i s a n t les h é r i t âge s : 1 : (DE Q U I - E S T (V) (QUI V P I L E O B J E T ) ) (DE QUI (V L) ( C O N D X N U L L L) N IL ) (<M E M B E R P i V (P RO P L I S T (C A R L > > > (C O N S (C A R L ) ( QUI V (C D R L ))>) (T (QUI V ( CD R L ))>)) 2: (DE Q U I - A (F) (QIJA F P I L E T Y P E ) ) (DE Q U A (F L) ( C O N D X N U L L L) NI L) ((M E M B E R P 1 F (G E T P ( C A R L) ' M O D E L E ) ) (C O N S (G E T P ( C A R L) 'F I L S ) ( Q U A F ( C DR L)))) ( T ( Q U A F ( C D R L ) ) ) ) ) (DE E S T ? (0 V) (C O N D ( ( N U L L 0 )N I L ) ((M E M B E R P i V ( P R O PL I ST 0)) T) ( T ( E S T ? (G E T P 0 ' E ST -U N) V ) ) ) ) 4: (DE Q U O I ? (0 A) ( C O N D ( ( N U L L 0) NIL ) (T (C O N D ( ( G E T P 0 A ) (C ON S (G ET P 0 A ) ( Q U 0 1 ? (G E T P 0 'E S T - U N : A) ) ) ( T (QUOI ? (G E T P 0 /E S T — UN) A ) ))))) qu ! ) ) ) ) q u e s

(DE M E M B E R P 1 ( X L) ( C Ü N D C ( N U L L L) N IL ) ( ( A T O M L ) ( E Q X L ) > ( T <O R ( M E N E E R P 1 X ( C AR L ) ) ( M E M B E R P 1 X (CD R L >>> > > > I I -3. L ' i n t e r p r è t e d e s m é t h o d e s Son f o n c t i o n n e m e n t est r e l a t i v e m e n t s i m p l e :

C o n s i d é r o n s qu e tout o b j e t est une p r o c é d u r e L I S P du type " m a c r o - e x p r e s s i o n " ( p r o c é d u r e a y a n t la c a r a c t é r i s t i q u e de se p r e n d r e e l l e - m ê m e p o u r a r g u m e n t et de r é é v a l u e r son ré s u 1 tat >;

C h a q u e O b j e t c h e r c h e a l o r s d a n s la li s te d e s m é t h o d e s de son type si l ' a c t i o n à e n t r e p r e n d r e est p e r m i s e .

Si c ' e s t le cas, il a p p l i q u e la m é t h o d e sur 1u i - m ê m e avec la li ste d e s a r g u m e n t s qui lui fon t s u i t e , en t en an t c o m p t e du fai t que l ' a r g u m e n t s i g n i f i e " é v a l u e r ce qui su it" .

P r e m i e r e x e m p l e :

( C o l o n n e l r e ç o i t q u a n t i t é 1)

1: C o l o n n e l c h e r c h e si son type (par e x e m p l e : C o l o n n e ) , c o n n a î t la m é t h o d e " r e ç o i t " .

2: Si oui , l'appel à la m é t h o d e " r e ç o i t " est e f f e c t u é avec p ou r p a r a m è t r e s : C o l o n n e l q u a n t i t é et 1. 3: Si non, on o b t i e n t un m e s s a g e du type : C o l o n n e l ne c o n n a î t p a s la m é t h o d e " r e ç o i t " . D e u x i è m e e x e m p l e : ( C o l o n n e l r e ç o i t q u a n t i t é : ( p l u s 10 1)) Le p r o c e s s u s est i d e n t i q u e m a i s les a r g u m e n t s s o nt : C o l o n n e l q u a n t i t é et 11, en r a i s o n du c a r a c t è r e Coi ci le cod e de la b o u c l e g é n é r a l e et de l ' i n t e r p r è t e : (DE L 1() ( P R O G A $ $ $ (E'v'AL(READ) ) (GG A-fc-î-î- ) > ) ) > > >

La c o m m a n d e de b as e a s s o c i é e é tout o b j e t : (S E T Q M E T A C O M ' ( M L A M B D A A ( C O N D ( ( M E M B E R P < C A DR A ) ( G ET P ( G E T P < C A R A ) ' P E R E > ' M E T ) ) < A P P L Y ( G ET P ( CA DR A ) EX P R ) ( C O N S ( C A R A > ( 3 U P E ( C D D R A ) ) ) > T > (.T (. P R I N 1 < LI ST < C A R A) " " N E S A I T P A S F A I R E " ( C A D R A ) ))>) (DE 3 U P E (X ) < C O N D < < N U L L X) NIL ) < < EQ< C A R X) ' : > < C0 N S< EL'AL< C A D R X)) ( S U R E ( C D D R X ) ))) (T (C O N S (C A R X ) ( S U P E ( C D R X > ) ) > > ) ) )

I I-4 . Dé-finit ion d e s t y p e s i n i t i a u x

Po u r que l ' i n t e r p r é t a t i o n p u i s s e c o m m e n c e r il est néc e sa ire de d i s p o s e r de t y p e s et o b j e t s i n i t i a u x . En p r e m i e r lieu l ' o p é r a t e u r 1u i - m ê m e : ( P U T P L I S T 'JE " ( ( M E T ( C H A R G E V A L I D E S A U V E D E T R U I T V I D E D E F - O B J E T D E F - T Y P E )) ( P E R E J E ) ) ) ) ) ) (P U T P "JE "E X P R M E T A C O M )

» T Le Me t a - t y p e m é t h o d e s : ou p è r e de t o u s les t y p e s sur t o u t e s ( PU T P ' M E T A ' M E T ' ( A F F I C H E P E C O I T - D E S S U S R E C G I T - D E D A N S P R E N D - E C H E L L E C R E E P R E N D - E ’A S E S E - R E P E T E - A V E C B O U G E - D E M O N T E - D E T E S - M E T H O D E S R E Ç O I T D O N N E - A A J O U T E - A ) > ) ) P u i s v i e n t ( P U T P L I S T ) > > >

1 ''écran en tant que t a m p o n g r a p h i q u e : E C R ' ( ( M E T ( A F F I C H E D O N N E - A R E Ç O I T ) > (MOD( ( I M A G E ( V A L E U R ) )>) <P U T P ' E C R A N 'PER E 'ECR) (P U T P ' E C R A N ' E X P R M E T A C O M ) L e s f i c h i e r s aussi s o nt d e s o b j e t s d é f i n i s : ( P U T P L I S T 'FI ' ( ( M E T ( R E Ç O I T D O N N E - A ) ) ) ) ) ) ) ) ) ) ) (PIJTP ' F I C H I E R ( P U T P ' F I C H I E R ( M O D ( ( N O M ( V A L E U R ) ) ( I M A G E (P R O C E D U R E ( L A M B D A ( X ) ( R ET R ( 6 ET P X ' P E R E 'FI) 'E X P R M E T A C O M ) 1 es ' N O M ) ))))

In i t i a 1 i sat i on de la b a se de d o n n é e s : ( S E T Q B A S E D O N "()> < S E T Q P I L E T Y P E ' O ) ( S E T Q P I L E O B J E T "()) I I -5. Dé-finition de q u e l q u e s m é t h o d e s P r e m i è r e m e n t les m é t h o d e s de c r é a t i o n d ' o b j e t s et de t y p e s : M o d u l e de c r é a t i o n d ' O b j e t (DE D E F - O B J E T (X) ( P R O G ( L O C A L W Z) ( T E R P R I ) (PRIN1 "" N o m : " ) ( S E T Q W (R E A D > ) ( T E R P R I ) ( S E T Q B A S E D O N ( C O N S LJ B A S E D O N ) ) ( S E T Q P I L E O B J E T ( C O N S U P I L E O B J E T ) ) (PRIN1 "" T y p e : " ) ( S E T Q Z (R E A D ) ) ( T E R P R I ) (P U T P W " P E R E Z ) ( P U T P W " E X P R M E T A C O M ) (P U T P Z 'FIL S ( C O N S W (G E T P Z " F I L S ) ) ) ( R E T U R N ( PRIN 1 "" O b j e t Dé-fini " )

) >

) ) )

M o d u l e de c r é a t i o n de T y p e (DE D E F - T Y P E (X) ( P R O G ( L O C A L U Y) ( T E R P R I ) (PRINI "" N o m : " M S E T Q W (R E AD ) ) ( S E T Q B A S E D O N ( C O N S W B A S E D O N ) ) ( T E R P R I ) (P R I N 1 "" S u r T y p e : " ) ( S E T Q Y (R E A D > ) ( T E R P R I ) ( P U T P W " P E R E Y) (PR INI "" M é t h o d e s : " ) ( P U T P Ll "MET ( A P P E N D ( G E T P Y "M E T ) ( R E A D ))) ( T E R P R I ) ( PRIN1 "" M o d è l e : " X P U T P W " M OD ( RE A D) ) (T E RP R I ) ( S E T Q P I L E T Y P E ( C O N S W P I L E T Y P E ) ) ( R E T U R N ( PRIN 1 "" T y p e Dé-fini ")

) ) ) ) ) ) ) )

La dé-finition de m é t h o d e s s ' a p p l i q u e au t r a v e r s d e s u t i ­ l i t a i r e s de b as e E DI T , PP, T R A C E , S T E P P E R i m p l é m e n t é s d a n s le l a n g a g e L I S P ou -faisant p a r t i e de n o t r e b i b l i o t h è q u e de b a s e LISP.

Un e or i en t a t ion "m é t h ode s M é t h o d e s i m p l é m e n t é e s à t i t r e d ' e x e m p l e s : C e t t e m é t h o d e p e r m e t d ' a j o u t e r la v a l e u r de la f a c e t t e d'un o b j e t à un a u t r e o b j e t s a n s i n t e r p r é t e r le m o d è l e : (DE A J Ü U T E - A ( X ) ( P U T P ( C A D R X) ( C A D D R X) (C O N S ( S E T P (CA R X ) ( CA D D R X >> (G E T P (C A D R X > ( C A D D R X ))))) Un o b j e t a f f i c h e s e s m é t h o d e s : (DE ? (0) (PRIN 1 ( G E T P ( G E T P ( C A R CO ' PE RE) ' M E T ) ) ) P o u r é 1 iminer un o b j e t de la b a s e de d o n n é e s : (DE D E T R U I T ( X ) ( P R O G (S E T Q P I L E Û B J E T (D E L E T E (C A D R X) P I L E O B J E T ) ) (P U T P ( G E T P ( C A D R X) " PERE) ' F I L S (D E L E T E (C A D R X ) ( G E T P (G E T P (C A D R X ) 'P E R E ) " FI L S ))) ( P U T P L I S T ( C A D R X) '()) ( S E T Q B A S E D O N (D E L E T E (C A D R X ) B A S E D O N ) )) (R E T U R N (S E T (C A D R X ) N I L ) ) ))) S a u v e r la t o t a l i t é de l ' u n i v e r s si l ' o p é r a t e u r le d é s i r e : (DE S A U C E ( X ) ( P R O G (PRIN1 '" N o m du f i c h i e r de la b a s e : ") (P U T N (R E A D ))< R E W R I T E F ) (P U T F ( L I S T 'S E T Q 'B A S E D O N ( L I S T 'Q U O T E B A S E D O N ))) (S A C P B A S E D O N ) (SACI B A S E D O N ) (C L O S E F ) ( R E T U R N ( F‘R INI ' " T e r m i n é " ) ) )) ))))

(DE S A U F (X ) < C O N D < < N U L L X) NIL ) < T < P UT F < LI ST - P UT P L I S T ( LI ST •' Q U 0T E < CA R X > > < LI ST Q U G T E < P R O P L I ST < C A R X > > > ) ) <S A U P ( C D R X >))> >))> > (DE S A U I ( X ) (C 0 N D < (N U L L X) NIL ) ( T < C O N D < ( M E M B E R P '' I M A G E ( P R O P L I ST ( C A R X > ) ) (ST 0 C K (G E T P <C A R X ) "I M A G E ) ( CA R X )) < P UT F ( LI ST 'P UT P ( L I S T ' Q U OT E ( CA P. X ) > ( L I S T '■ QU O T E 'I MA GE) ( L I S T 'R E T R (C A R X )))) (S A U I ( C D R X ) )) <T <S A U I (C D R X ) ) ) ) ) ) ) ) ) ) ) ) ) C h a r g e r au c o n t r a i r e un u n i v e r s . . . (DE C H A R G E ( X ) (P R I N 1 < L O A D <C A D R X >)))) L ' o b j e t a f f i c h e l' une de s e s c a r a c t é r i s t i q u e s : (DE A F F I C H E ( X ) <P R I N 1 <G E T P (C A R X ) (C A D R X ))))) ) Une p e t i t e m é t h o d e g r a p h i q u e p e r m e t t a n t d ' e m b o î t e r deux o b j e t s 1 'un d a n s l ' a u t r e ( g r a p h i q u e m e n t il s ' e n t e n d ) : (DE R E C O I T - D E D A N S ( X ) ( T R A N (G E T P (C A D R X) 'IMAGE) <S U B (C A A R <M I M A (G E T P (C A R X ) 'I M A G E ))) ( C A A R ( MI M A ( G ET P ( CA D R X ) ' I M A G E) ) ) ) (S U B (C A D A R (M I M A (G E T P <C A R X ) ' I M A G E ))) C C A D A R ( MI M A ( G E T P ( C A D R X ) '' I M A G E ) ) ) ) ) ) ) ) ) ) )

Une m é t h o d e p ou r p o s i t i o n n e r d e u x o b j e t s l'un sur l ' a u t r e : (DE R E C O I T - D E S S U S ( X ) ( C O N D ( ( EQ < G E T P ( C A R X ) •' O R D R E ) ( G E T P ( CA D R X ) " O R D R E ) ) <S U G 2 ( G E T P (C A R X ) ' I M A G E ) ( G E T P (C A D R X ) ' I M A G E )) ))) )) ( T( PR I N 1 '" I M P O S S I B L E C E S 2 O B J E T S N E S O N T P A S DU M E M E O R D R E " ) ) ) ) ) (DE S U G 2 ( X Y) <T R A N Y (S U B (C A A R < M I M A X ))< C A A R < M I M A Y ))) (S U B (S U B < C A D A R (M I M A X ) ) < C A D A R (M I M A Y ))) (S U B (C A D D R (M I M A Y )> <C A D A R (M I M A Y ) ) ) ) ) ) ) ) )

Pour modifier l'échelle de 1'"occurence graphique d"'un objet (DE PREND-ECHELLE(X)

( ECH ( GETP ( CAR X > ' l MAGE > ( CADR X > G ) ) ) > ) > > ) )

("Ech" est une fonction de Tang ra m qui change 1'"échelle globalement si son troisième paramètre est "G.)

Un objet peut en créer un autre par "copie" de 1ui-même : (DE CREE(X)

( PRÜG

(SET (CADR X) METACOM)

(PUTP (GETP (CAR X) "PERE) "FILS

(CONS (CADR X) (GETP(CAR X) "PERE))) (SETQ PILEOBJET (CONS(CADR X) PILEOBJET)) (PUTPLI ST (CADR X ) (PROPLI S T (CAR X ))) (SETQ BASEDON (CONS(CADR X ) B A S E D O N ) ) (R E T U R N (P U T P (CADR X ) "IMAGE

( COP (GETP ( CAR X ) I MAGE ) 0 0 ) ) ) ) )

) ) ) M é t h o d e p e r m e t t a n t à un o b j e t de r é p é t e r son o c c u r e n c e g r a p h i q u e aue c p o u r p a r a m è t r e s le n o m b r e de c o p i e s : (DE S E - R E P E T E - A U E C ( X ) ( P U T P ( CA R X) " I M A G E ( J O N C T I O N (A P P E N D (R E P 1 (G E T P (C A R X ) ' I M A G E ) ( C A D D R X ) ( G E T P C C A D R X ) "E N T R A X )) (L I S T ( G E T P ( C A R X) ' I M A G E ) ) ) ) ) ) ) ) ) ) ) ) (DE J O N C T I O N ( X ) (C O N D ( ( N U L L ( CD R X ) ) ( C A R X)) (T (J O I N (C A R X ) ( JO N C T I O N (C D R X ) ) ) ) ) ) )

("J o in " est une f o n c t i o n de T a n g r a m qui j o i n t de ux é l é m e n t s en un s eu l. ) (DE R E P I ( X Y Z) (C Û N D ( (Z E R O P Y) NIL ) ( T ( C O N S ( C O P X (P A D L Z) 0) (R E P 1 ( C O P X (P A D L Z ) 0 ) ( S U B 1 Y ) Z )) ) ) ) ) ) ) ) ) )

Mé thodes permettant à un objet de bouger en conservant la

cohérence géométrique dans laquelle il est situé.

<Conservâtion des rapports et des relations) : < DE BOUGE-DE (X)

<B O U G E - D E 1 (CAR X > < CADR X )>>>>>>) (DE B O U G E - D E 1(L Y)

<COND<<NULL L) NIL) < (ATOM L)

< C O N D < <GREATP<PLUS < X M A X < GET P L 'IMAGE)) Y)

<XMAX<GETP<GETP L " E ST - C ONTEN U ) •' IMAGE) ) )

< B O U G E - D E 1< GETP L /EST-CONTENU) <SUB< PLUS Y <XMAX< GETP

<XMAX<GETP<GETP L " I M A G E ) ))) <TRAN < GETP L 'IMAGE) Y 0))

< < L E S S P < P L U S < X M I N < G E T P L " I M A G E )) < X M I N < G E T P < G E T P L '■ IM AGE) ) ) < B O U G E - D E 1< G E T P L ' E S T - C O N T E N U ) < SUB< P L U S Y < X M I N < G E T P < X M I N < G E T P < G E T P L " I M A G E ) )))

<TRAN < GETP L "IMAGE) Y 0)) <T <T R A N < GETP L "I M A G E )Y 0))) <B O U G E - D E 1<GETP L 'CONTIENT)Y) <B O U G E - D E 1<GETP L "PORTE) Y) ) < T < B O U G E - D E 1 <CAR L) Y) < B O U G E - D E 1 < CDR L ) Y )))))))>))))))))) L "IMAGE))) "EST-CONTENU) Y) "EST-CONTENU) L "IMAGE))) "EST-CONTENU)

Quelques -fonctions d" ass i stance : < DE M E M B ERP<X Y) <C0ND<<NULL Y) NIL) < < EQ X < CAR Y)) T) <T <MEMBERP X < CDR Y ))))))) < DE X M I N < A ) < C A A R < MI M A A ) ) ) ) (DE X M A X ( A ) < C A D R ( M I M A A ) ) ) ) ) )

III). Un e x e m p l e de s e s s i o n o b t e n u e a v ec cet i n t e r p r è t e u r . L e s c o m m e n t a i r e s qui ne s o n t p a s d a n s le d i a l o g u e h o m m e - m a c h i n e s o n t p r é s e n t é s en c a r a c t è r e s g r a s et a n n o n c e n t la c o m m a n d e qui s ui t. - T A N G R A M - U 3 / 2 C h a r g e m e n t de l ' i n t e r p r è t e <LOAD ' PAT S M . L S P ) F i c h i e r Ok ASSOC V A L I D E R E Ç O IT DONNE-A Q U I - E S T QUI Q U I- A QUA E S T ? Q U O I? MEMBERP1 L 1

<MLAM BDA A <COND <<MEMBERP<CADR P E R E ) ) < QUOTE M E T ) ) ) <APPLY<GETP<CADR A ) < S U P E < CDDR A ) ) ) ) T) <T< P R I N 1 < L IS T < C A R F A I R E ) < CADR A ) ) ) ) ) ) S U P E JE META ECR ECRAN F I F I C H I E R D E F - O B J E T IN T E R D E F D E F - T Y P E A JO U T E - A A )< G E T P < 6 E T P <C A R A )< Q U O T E A )< Q U O T E E X P R ))< C O N S < C A R A ) <Q U O T E N E S A I T P A S D E T R U I T S A U V E SA V P SAVI C H A R G E A F F I C H E

~ Une o r i e n t a t i o n " mé t h ode s " R E Ç O I T - D E D A N S R E C O I T - D E S S U S S U G 2 P R E N D - E C H E L L E C R E E S E - R E P E T E J O N C T I O N REPI B O U G E - D E B O U G E - D E 1 M E M B E R P X M I N X M A X EU'AL : P A T S M . L S P 2 ----D é f i n i t i o n du type C O L O N N E a v ec r e s p e c t d e s c o n t r a i n t e s c 1assi q u e s (JE D E F - T Y P E ) N o m : C O L O N N E S u r T y p e : M E T A M é t h o d e s : N I L E l l e h é r i t e d e s m é t h o d e s de so n s u r - T y p e M o d ë 1e : < < I M A G E < R ES T R I C T (L A M B D A ( X Y ) ( E Q ( G E T P X "R A P P O R T > ( RDI V( G E T P X - H A U T E U R ) ( G E T P X ' L A R G E U R ) ) ) ) ) ( V A L E U R ) <D E M O N < L A M B D A ( X Y ) <P R O G (P U T P X /H A U T E U R (HO Y)) ( P U T P X - L A R G E U R (LO Y)) ( R ET U R N ( P UT P X E N T R A X E ( M U LT ( G E T P X -E N T R A X E P ) ( G E T P X 'L A R G E U R ) ) ) ) ) ) ) (O R D R E (D E M O N (L A M B D A (X Y ) ( P R O G ( P U T P X ' R A P P O R T (C A R ( A S S O C Y ' ( ( D O R I Q U E 6) ( I O N I Q U E '?) ( C O R I N T H I E N 10)) ) ) ) (R E T U R N ( P U T P X -' E N T R A X E P ( C A R ( A S S O C Y •' ( ( DORI Q U E 4,5) ( I O N I Q U E 3) ( C O R I N T H I E N 2 ( V A L E U R ) ) ) ) ) ) ) ) ) (E N S E M B L E (DORI Q U E I ONI Q U E C O R I N T H I E N ) ) ) ) ) ) ) ) ) ) ) )

T y p e dé-fini E U A L : C O L O N N E N o t e : La m é t h o d e c i - d e s s u s a u r a i t pu ère c h a r g é e d i r e c t e m e n t d e p u i s un f i c h i e r 3 ----Ce que je s a i s f a i r e < JE '?> < C H A R G E U AL I DE S A U C E D E T R U I T CI DE ? D E F - O B J E T D E F ~ T Y P E ) E U A L : T 4----D é f i n i t i o n d 'u n O b j e t (JE D E F - O B J E T ) N o m : C0L1 T y p e : C O L O N N E O b j e t Défini E U A L : T 5 ---Ce que s a i t f a i r e la c o l o n n e COL1 <C O L 1 ?) ( A F F I C H E R E C O I T - D E S S U S R E C O I T - D E D A N S P R E N D - E C H E L L E C R E E P R E N D - B A S E S E - R E P E T E ? B O U G E - D E M O N T E - D E R E Ç O I T D O N N E - A A J O U T E - A ) E U A L : T 6 ---I n s t a n c i a t i o n d ' u n e d e s f a c e t t e s par l ' o p é r a t e u r < C0L1 R E Ç O I T O R D R E D O R I Q U E ) E U A L : T L ' i n f o r m a t i o n a été e n r e g i s t r é e (COL1 A F F I C H E O R D R E ) D O R I Q U E E U A L : T

En f o n c t i o n de 1 ''ordre, 1 ' e n t r a x e type est i n s t a n c i é (en d i amè très) (C O L 1 A F F I C H E E N T R A X E P ) 0 4 , 5 E U A L : T ...Le r a p p o r t h a u t e u r / b a s e aussi (C O L 1 A F F I C H E R A P P O R T ) 06 E U A L : T 1 0 ----I n s t a n c i a t i o n de la f a c e t t e image au m o y e n d ' u n é l é m e n t g r a p h i q u e sur f i c h i e r . C e l l e - c i est a c c e p t é e par

l ' i n t e r p r è t e a p r è s u é r i f i c a t i o n de l ' a d é q u a t i o n avec l ' e n s e m b l e de c o n t r a i n t e s (C O L 1 R E Ç O I T I M A G E : <R E T R ' C 0 L 1 > > > E U A L : T 1 1----On e f f a c e 1 ' é c r a n (E F F A C E ) E U A L : T 1 2 ----R e c h e r c h e de l ' i m a g e (C O L 1 A F F I C H E IMAGE) U U u EU A L : T

1 3 ----Q u e l q u e s p r o p r i é t é s i n s t a n c i é e s par l es " D E M O N S " l o r s de 1 ' i n s t a n c i a t i o n de l ' i m a g e < C O L 1 A F F I C H E H A U T E U R ) 4 ‘??2 E'v'AL : T 1 4 ----<C O L 1 A F F I C H E E N T R A X E ) 4 0 3 2 E'v'AL : T 1 5 ----C o n t r ô l e du d o m a i n e d ' a p p l i c a t i o n d e s m é t h o d e s s ur un o b j e t (C O L 1 M O D I F I E R A P P O R T ) (C0L1 N E C O N N A I T P A S L A M E T H O D E M O D I F I E ) E C A L : N I L 1 6 ----Un o b j e t en c r é e un a u t r e par dupl i c a t i o n de l u i - m ' m e C C O L 1 C R E E C O L O N N A D E ) E V A L : T 1 7 ----On p eu t c o n s t r u i r e g r a p h i q u e m e n t la c o l o n n a d e , p u i s q u e tout l ' o b j e t es t c o h é r e n t et son e n t r - a x e a été m i s à j o u r par le s " D E M O N S " ( C O L O N N A D E S E - R E P E T E 6) E C A L : T