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

رسول زادگان عباس; عبداله زاده بارفروش احمد

مشخصات مقاله

عنوان نشریه:

مهندسي برق و مهندسي کامپيوتر ايران - ب مهندسي كامپيوتر

اطلاعات شماره:

زمستان 1391 , دوره 10 , شماره 2 ; از صفحه 69 تا صفحه 85 .

عنوان مقاله:

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

نویسندگان:

رسول زادگان عباس, عبداله زاده بارفروش احمد

آدرس:

چکیده:

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

کلید واژه:

تبديل مدل(Q2)Object-Z(Q2)سيستم آسانسور چندکابينه(Q2)نمودار UML(Q2)

چارک 1 این موضوع در حوزۀ علمی خود، در چارک اول تازگی است.
یعنی استقبال پژوهشگران از این موضوع خیلی زیاد است.
چارک 2 این موضوع در حوزۀ علمی خود، در چارک دوم تازگی است.
یعنی استقبال پژوهشگران از این موضوع زیاد است.
چارک 3 این موضوع در حوزۀ علمی خود، در چارک سوم تازگی است.
یعنی استقبال پژوهشگران از این موضوع کم است.
چارک 4 این موضوع در حوزۀ علمی خود، در چارک چهارم تازگی است.
یعنی استقبال پژوهشگران از این موضوع خیلی کم است.

موضوعات مرتبط:

مقالات نشریه ای مرتبط:

مقالات همایشی مرتبط:

ندارد

طرح های مرتبط:

مقالات بین المللی مرتبط:

ارتباط خیلی زیاد ارتباط زیاد مرتبط ارتباط کمتر

ارجاعات:

ثبت نشده است

استنادات:

ثبت نشده است

+جهت ارجاع به این مقاله کلیک کنید(Cite).

APA : کپی

رسول زادگان، ع.، و عبداله زاده بارفروش، ا. (1391). مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر, 10(2), 69-85. https://www.sid.ir/fa/journal/ViewPaper.aspx?id=187415

Vancouver : کپی

رسول زادگان عباس، عبداله زاده بارفروش احمد. مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر. 1391 [cited 2022May27];10(2):69-85. Available from: https://www.sid.ir/fa/journal/ViewPaper.aspx?id=187415

IEEE : کپی

رسول زادگان، ع.، عبداله زاده بارفروش، ا.، 1391. مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر, [online] 10(2), pp.69-85. Available: https://www.sid.ir/fa/journal/ViewPaper.aspx?id=187415.