این تحقیق ، با موضوع كاربرد UML بصورت Word انجام گرفته است.تحقیق برای رشته کامپیوتر و IT مناسب است و در 25 برگه می باشد. شما می توانید این تحقیق را بصورت کامل و آماده تحویل از پایین همین صفحه دانلود نمایید.

بلافاصله بعد از پرداخت و خرید ، لینک دانلود نمایش داده می شود، علاوه بر آن لینک فایل مربوطه به ایمیل شما نیز ارسال می گردد.

چكيده

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

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

فهرست مطالب

چكيده1

1- مقدمه. 1

2- دياگرامهاي UML.. 2

2-1- دياگرامهاي كلاس.... 2

2-1-1- عناصر دياگرامهاي كلاس.... 2

2-2- دياگرامهاي توالي.. 5

2-2-1- عناصر دياگرام توالي.. 5

2-2-1-1- قيود چندتايي.. 6

2-2-1-2- قيد كلي.. 6

2-2-1-2- قيد عدم وجود. 7

2-2-2- نمايش دياگرامهاي توالي توسط گرامرهاي گراف‌گونه. 7

3- آناليز سازگاري بين ندياگرامهاي كلاس و توالي.. 8

3-1- چك وجود. 8

3-2- چك آشكاري.. 9

3-3- چك چند‌تايي.. 9

4- الگوريتمهاي چك سازگاري.. 9

4-1- الگوريتم چك وجود و چك آشكاري.. 10

4-1-1- الگوريتم چك چند‌تايي.. 10

4-1-1-1- چك قانون با قيود كلي.. 11

4-1-1-2- چك قوانين با قيود عدم وجود. 11

5- بررسي معيار كامل بود و سازگاري.. 11

6- دياگرامهاي حالت UML.. 13

7- آناليز ايستا14

7-1- حالتها و انتقالها14

7-2- گاردها16

7-3- انتقالهاي تركيبي.. 16

8- آناليز دسترسي.. 17

8-1- تبديل گراف... 17

8-1-1- قوانين.. 17

8-1-1-1- قانون در روش Double Pushowt18

8-1-1-2- قوانين در روش Single Pushout18

8-1-2- قانون معكوس.... 18

8-1-3- كاربرد قانون.. 18

8-1-4- كاربرد شرايط... 19

8-2- گرامر گراف گونه. 20

8-2-1- گرافها20

8-2-2- مورفيزم. 21