موضوع : تحقیق uml و کاربرد آن
در مدلسازي شيئ‌گراي نرم افزار با استفاده ازUML چهره‌هايي مختلف يك سيستم با استفاده از دياگرامهاي مختلف نمايش داده مي‌شوند ساختار پايدار سيستم از طريق دياگرامهاي كلاس واكنش بين قطعات مختلف مدل از طريق دياگرامهاي كنش مثل دياگرامهاي توالي و دياگرانم‌هاي همكاري نمايش داده مي‌شود بنابراين يك مدل كامل شامل چندين دياگرام از انواع مختلف مي‌باشد بنابراين سازگاري بين دياگرامهاي مختلف از اهميت بسياري برخوردار است
در اين مقاله آناليز سازگاري بين دياگرامهاي گلاس و توالي با استفاده از گرافهاي نوع ويژگي و تبديلات آنها شرح داده شده است اگر بخواهيم به طور صريح بگوييم دياگرامهاي كلاس به گرافهاي نوع ويژگي كه به آنها گرافهاي كلاس مي‌گوييم تبديل مي‌گردندهمچنين چند‌تايي‌ها به قيودي تبديل مي‌گردند كه به آنها قيود چند‌تايي مي‌گوييم دياگرامهاي توالي توسط يك گرامر گراف‌گونه نمايش داده مي‌شوند كه به آنها گرامرهاي گراف‌گونه كنش مي‌گويم
آناليز سازگاري شامل موارد وجودي آشكاري و چند تايي مي‌گردد براي آناليز سازگاري از تكنيكهاي جبري موجود براي گرامرهاي گراف‌گونه استفاده شده است
UML يك زبان مدلسازي يكپارچه مي باشد كه براي مدلسازي انواع سيستم هاي نرم افزاري مبتني بر متدولوژي شيئي گرا در نظر گرفته شده است اين زبان براي تشريح نمايش ساخت و X مستند سازي سيستم هاي نرم افزاري مورد استفاده قرار مي گيرد نسخه1-1 UML در نوامبر 1997 توسطOMG مورد قبول واقع شده است و نسخه 3-1 آن از مارس 1999در دسترس مي‌باشد به خاطر استفاده فراوان اين زبان در صنعت و تحقيقات اين زبان بصورت استاندارد در آمده است
براي ايجاد يك سيستم جديد واعمال تغييرات در يك سيستم موجود در ابتدا بايد كاركرد آن سيستم تعيين گردد درحقيقت ساختار ايستا و پوياي سيستم بايد كاملاً مشخص و مدلسازي گردد بنابراين واجب است عناصري براي نمايش ساختار داخلي رفتار سيستم و كنش بين قطعات مختلف آن در نظر گرفته شوند در صورتي كه از يك متد شيئ‌گرا استفاده كنيم در آنصورت UML براي نمايش و مدلسازي سيستم و قطعات آن انتخاب مناسبي است UML چند نوع مختلف دياگرام را كه هر كدام سيستم را از زاويه‌اي خاص نمايش مي‌دهند تعريف مي‌كند هر دياگرام يا ساختار ايستاي سيستم يا رفتار داخلي آن و يا كنش بين قطعات مختلف را نمايش مي‌دهد بنابراين مدل كامل سيستم شامل چندين دياگرام از انواع مختلف مي‌باشد علاوه براينكه دياگرامها از نظر املايي بايد درست باشد و همچنين هر يك به تنهاي سازگار باشند دياگرامهايي كه از يك نوع نيستند نيز بايد با هم سازگار باشند براي آناليز سازگاري دياگرامهاي كلاس و توالي از گرافهاي نوع ويژگي و تبديلات آنها استفاده شده است
دياگرامهاي كلاس ساختار ايستاي سيستم را نمايش مي‌دهند يعني عناصر موجود در سيستم ساختار داخلي آنها و ارتباط آنها با ساير عناصر سيستم را مشخص مي كنند عناصر سيستم بصورت كلاس در دياگرام كلاس نمايش داده مي‌شوند
چند نوع ارتباط ايستا بين كلاسها وجود دارد يعني تناظر مجتمع تركيب وابستگي و تعميم مفهوم بسته‌ها در UML يك مكانيزم درختي براي گروهبندي كلاسها به دست مي‌دهد ساختار داخلي كلاسها با ليستهايي از متدها و ويژگيها نمايش داده مي‌شود جزئيات بيشتر عناصر مدل در بخش بعد تشريح شده اند وابسته به سطح مجرد سازي و پيچيدگي سيستم عناصر كمتر و يا بيشتري مورد بررسي قرار مي گيرند
نمایش دیاگرام کلاس به شکل گراف کلاس و قیود چندتایی
نمایش دیاگرامهای توالی توسط گرامرهای گراف‌گونه
پیامهایی که یک شیء جدید را ایجاد می‌کنند
پیامهای که باعث از بین رفتن یک شیء می‌گردند
آنالیز سازگاری بین ندیاگرامهای کلاس و توالی
چک قوانین با قیود عدم وجود
بررسی معیار کامل بود و سازگاری
قانون در روش Double Pushowt
قوانین در روش Single Pushout
مقدمه ای بر مفاهیم گرافهای نوع ویژگی