UML و كاربرد آن

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

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

1­ـ  ممقدمه

برای ایجاد یك سیستم جدید واعمال تغییرات در یك سیستم موجود در ابتدا باید كاركرد آن سیستم تعیین گردد. درحقیقت ساختار ایستا و پویای سیستم باید كاملاً مشخص و مدلسازی گردد. بنابراین واجب است، عناصری برای نمایش ساختار داخلی، رفتار سیستم و كنش بین قطعات مختلف آن در نظر گرفته ‌شوند. در صورتی كه از یك متد شیئ‌گرا استفاده كنیم، در آنصورت UML برای نمایش و مدلسازی سیستم و قطعات آن انتخاب مناسبی است. UMLچند نوع مختلف دیاگرام را كه هر كدام سیستم را از زاویه‌ای خاص نمایش می‌دهند،. تعریف می‌كند. هر دیاگرام یا ساختار ایستای سیستم، یا رفتار داخلی آن و یا كنش بین قطعات مختلف را نمایش می‌دهد. بنابراین مدل كامل سیستم شامل چندین دیاگرام از انواع مختلف می‌باشد. علاوه براینكه دیاگرامها از نظر املایی باید درست باشد و همچنین هر یك به تنهای سازگار باشند، دیاگرامهایی كه از یك نوع نیستند، نیز باید با هم سازگار باشند. برای آنالیز سازگاری دیاگرامهای  كلاس و توالی از گرافهای نوع ویژگی و تبدیلات آنها استفاده شده است.