Par conséquent, je peux montrer de quelle façon les diagrammes de classes et de séquence se complètent en examinant un exemple UML qui simule le mécanisme de gestion d'événements Java standard.

L'utilisation d'OCL en vue de prouver des algorithmes impliqués dans des processus de développement de logiciels est ambitieuse et prometteuse, mais bien que dans le prolongement d'UML, son ...