مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z
الموضوعات : electrical and computer engineeringعباس رسولزادگان 1 , احمد عبدالهزاده بارفروش 2
1 - دانشگاه صنعتی امیرکبیر
2 - دانشگاه صنعتی امیرکبیر
الکلمات المفتاحية: تبدیل مدل نمودار UML, Object-Z سیستم آسانسور چندکابینه,
ملخص المقالة :
در این مقاله مکانیزمی برای تبدیل ساختاری دوطرفه نمودار کلاس UML و توصیفات Object-Z پیشنهاد میگردد. در مکانیزم پیشنهادی برای تبدیل المانهای مدلسازی نمودار کلاس و توصیفات Object-Z به یکدیگر، قواعد ساختیافتهای تعریف شده است. تبدیل نمودار کلاس بهعنوان یکی از پرکاربردترین نمودارهای زبان بصری UML و توصیف زبان صوری Object-Z به یکدیگر، بستر مناسبی را برای بهرهمندی توأمان از مزایای منحصر به فرد روشهای مدلسازی صوری و بصری فراهم مینماید. به منظور امکانسنجی مکانیزم پیشنهادی، یک مطالعه موردی بر روی سیستم آسانسور چندکابینه ارائه میگردد. نتایج مطالعه مذکور حاکی از امکانپذیر بودن مکانیزم پیشنهادی است.
