مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z
محورهای موضوعی : مهندسی برق و کامپیوترعباس رسول‌زادگان 1 , احمد عبداله‌زاده بارفروش 2
1 - دانشگاه صنعتی امیرکبیر
2 - دانشگاه صنعتی امیرکبیر
کلید واژه:
چکیده مقاله :
در این مقاله مکانیزمی برای تبدیل ساختاری دوطرفه نمودار کلاس UML و توصیفات Object-Z پیشنهاد می‌گردد. در مکانیزم پیشنهادی برای تبدیل المان‌های مدل‌سازی نمودار کلاس و توصیفات Object-Z به یکدیگر، قواعد ساخت‌یافته‌ای تعریف شده است. تبدیل نمودار کلاس به‌عنوان یکی از پرکاربردترین نمودارهای زبان بصری UML و توصیف زبان صوری Object-Z به یکدیگر، بستر مناسبی را برای بهره‌مندی توأمان از مزایای منحصر به فرد روش‌های مدل‌سازی صوری و بصری فراهم می‌نماید. به منظور امکان‌سنجی مکانیزم پیشنهادی، یک مطالعه موردی بر روی سیستم آسانسور چندکابینه ارائه می‌گردد. نتایج مطالعه مذکور حاکی از امکان‌پذیر بودن مکانیزم پیشنهادی است.
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.
