Modèles

	Le principe du formalisme IFS (Iterative Function System) est de représenter une figure géométrique par son générateur. Le formalisme IFS a été introduit par HUTCHINSON et développé, entre autres, par BARNSLEY.
Propriétés
	Le formalisme IFS présente plusieurs avantages : il est simple à coder, à visualiser et à manipuler, il permet de représenter des figures dont l'aspect est complexe à l'aide de données réduites les figures obtenues sont très variées, souvent spectaculaires ou esthétiques. ces figures peuvent être décrites en utilisant des opérations [GENT92] [TOS96]
Généralisations
	L'extension de l'utilisation des opérations a amené à développer deux généralisations de ce formalisme : une généralisation ensembliste basé sur les restrictions d'attracteurs [THOL96], une généralisation géométrique basé sur les projections d'attracteurs [ZAIR98] La nécéssité du contrôle topologique a conduit à introduire une généralisation intégrant les deux précédentes, appelée BCIFS (Boundary Controlled Iterated Function) [GOUATY09]