Chapter 2 Nouveautés dans PowerAMC 12.5
Le OCL (Object Constraint Language) est un langage formel utilisé pour spécifier des conditions invariantes qui doivent être imposées pour le système modélisé.
PowerAMC fournit la prise en charge de OCL via les règles de gestion.
Copyright (C) 2007. Sybase Inc. All rights reserved. |
![]() |