Expressing dynamic properties of static diagrams in Z
Yves Ledru · 2002
Au cours des dernieres annees, plusieurs equipes de recherche se sont interessees a la traduction de langages graphiques tels que UML vers des methodes formelles. Les langages a base de modeles comme Z et B sont particulierement bien adaptes a la traduction des diagrammes statiques d'UML. Neanmoins, certaines constructions de ces diagrammes mettent en oeuvre des proprietes dynamiques. Par exemple, la composition en UML impose une dependance existentielle.