مرکز منطقه ای اطلاع رسانی علوم و فناوری فصلنامه مهندسی برق و مهندسی کامپيوتر ايران 16823745 10 4 2013 3 21 Bidirectional Transformation of Structural Modeling Elements between the UML Class Diagram and Object-Z مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z 69 85 fa عباس رسول‌زادگان احمد عبداله‌زاده بارفروش 2015 11 29 In this paper, a new mechanism is proposed to transform the structural modeling elements of the UML class diagram and Object-Z specifications into each other. A set of bidirectional rules is defined to transform the mentioned elements into each other. Bidirectional transformation of the UML class diagram, as one of the most useful diagrams of UML, and Object-Z specifications into each other prepares the ground for the use of the unique advantages of both formal and visual modeling methods. The feasibility of the proposed approach is evaluated using the multi-lift case study. The results of conducting the multi-lift case study show that the proposed mechanism is feasible. در این مقاله مکانیزمی برای تبدیل ساختاری دوطرفه نمودار کلاس UML و توصیفات Object-Z پیشنهاد می‌گردد. در مکانیزم پیشنهادی برای تبدیل المان‌های مدل‌سازی نمودار کلاس و توصیفات Object-Z به یکدیگر، قواعد ساخت‌یافته‌ای تعریف شده است. تبدیل نمودار کلاس به‌عنوان یکی از پرکاربردترین نمودارهای زبان بصری UML و توصیف زبان صوری Object-Z به یکدیگر، بستر مناسبی را برای بهره‌مندی توأمان از مزایای منحصر به فرد روش‌های مدل‌سازی صوری و بصری فراهم می‌نماید. به منظور امکان‌سنجی مکانیزم پیشنهادی، یک مطالعه موردی بر روی سیستم آسانسور چندکابینه ارائه می‌گردد. نتایج مطالعه مذکور حاکی از امکان‌پذیر بودن مکانیزم پیشنهادی است. http://ijece.org/ar/Article/Download/28041