در مدلسازي شيئ‌گراي نرم افزار با استفاده ازUML  چهره‌هايي مختلف يك سيستم با استفاده از دياگرامهاي مختلف نمايش داده مي‌شوند. ساختار پايدار سيستم از طريق دياگرامهاي كلاس واكنش بين قطعات مختلف مدل از طريق دياگرام‌هاي كنش مثل دياگرام‌هاي توالي و دياگرانم‌هاي همكاري نمايش داده مي‌شود. بنابراين يك مدل كامل شامل چندين دياگرام از انواع مختلف مي‌باشد. بنابراين سازگاري بين دياگرامهاي مختلف از اهميت بسياري برخوردار است.

در اين مقاله آناليز سازگاري بين دياگرامهاي گلاس و توالي با استفاده از گرافهاي نوع ويژگي و تبديلات آنها شرح داده شده است. اگر بخواهيم به طور صريح بگوييم دياگرامهاي كلاس به گرافهاي نوع ويژگي كه به آنها گرافهاي كلاس مي‌گوييم تبديل مي‌گردند.همچنين چند‌تايي‌ها به قيودي تبديل مي‌گردند كه به آنها قيود چند‌تايي مي‌گوييم. دياگرامهاي توالي توسط يك گرامر گراف‌گونه نمايش داده مي‌شوند كه به آنها گرامرهاي گراف‌گونه كنش مي‌گويم.

آناليز سازگاري شامل موارد “ وجودي” ، “ آشكاري” و “ چند تايي” مي‌گردد براي آناليز سازگاري از تكنيكهاي جبري موجود، براي گرامرهاي گراف‌گونه استفاده شده