در این مقاله مکانیزمی برای تبدیل ساختاری دوطرفه نمودار کلاس UML و توصیفات Object-Z پیشنهاد میگردد. در مکانیزم پیشنهادی برای تبدیل المانهای مدلسازی نمودار کلاس و توصیفات
Object-Z به یکدیگر، قواعد ساختیافتهای تعریف شده است. تبدیل نمودار کلاس بهعنوان یکی از پرکاربر More
در این مقاله مکانیزمی برای تبدیل ساختاری دوطرفه نمودار کلاس UML و توصیفات Object-Z پیشنهاد میگردد. در مکانیزم پیشنهادی برای تبدیل المانهای مدلسازی نمودار کلاس و توصیفات
Object-Z به یکدیگر، قواعد ساختیافتهای تعریف شده است. تبدیل نمودار کلاس بهعنوان یکی از پرکاربردترین نمودارهای زبان بصری UML و توصیف زبان صوری Object-Z به یکدیگر، بستر مناسبی را برای بهرهمندی توأمان از مزایای منحصر به فرد روشهای مدلسازی صوری و بصری فراهم مینماید. به منظور امکانسنجی مکانیزم پیشنهادی، یک مطالعه موردی بر روی سیستم آسانسور چندکابینه ارائه میگردد. نتایج مطالعه مذکور حاکی از امکانپذیر بودن مکانیزم پیشنهادی است.
Manuscript profile
Rimag
Rimag is an integrated platform to accomplish all scientific journal requirements such as submission, evaluation, reviewing, editing, DOI assignment and publishing in the web.