مكانيزم تبديل دو جهته نمودار كلاس UML و توصيف Object-Z

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