در این مقاله مکانیزمی برای تبدیل ساختاری دوطرفه نمودار کلاس UML و توصیفات Object-Z پیشنهاد میگردد. در مکانیزم پیشنهادی برای تبدیل المانهای مدلسازی نمودار کلاس و توصیفات
Object-Z به یکدیگر، قواعد ساختیافتهای تعریف شده است. تبدیل نمودار کلاس بهعنوان یکی از پرکاربر چکیده کامل
در این مقاله مکانیزمی برای تبدیل ساختاری دوطرفه نمودار کلاس UML و توصیفات Object-Z پیشنهاد میگردد. در مکانیزم پیشنهادی برای تبدیل المانهای مدلسازی نمودار کلاس و توصیفات
Object-Z به یکدیگر، قواعد ساختیافتهای تعریف شده است. تبدیل نمودار کلاس بهعنوان یکی از پرکاربردترین نمودارهای زبان بصری UML و توصیف زبان صوری Object-Z به یکدیگر، بستر مناسبی را برای بهرهمندی توأمان از مزایای منحصر به فرد روشهای مدلسازی صوری و بصری فراهم مینماید. به منظور امکانسنجی مکانیزم پیشنهادی، یک مطالعه موردی بر روی سیستم آسانسور چندکابینه ارائه میگردد. نتایج مطالعه مذکور حاکی از امکانپذیر بودن مکانیزم پیشنهادی است.
پرونده مقاله