لیلا صمیمی دهکردی

لیلا صمیمی دهکردی

دکترا

شروع دوره: مهرماه 1391
پايان دوره: فروردین‌ماه 1398
عنوان پايان‌نامه: توسعه‌ی مدل‌رانده‌ی تبديل مدل دوسويه
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر شکوفه کلاهدوز رحیمی
بیشتر

معرفی کوتاه:
ليلا صميمي دهکردی دارای مدرک کارشناسی مهندسی کامپيوتر – نرم‌افزار از دانشگاه علم و صنعت ايران (اسفند 1386) و مدرک کارشناسی ارشد الگوريتم‌ها و محاسبات از دانشگاه تهران (بهمن 1389) است. او از سال 1391 دانشجوی دکترای مهندسی کامپيوتر در دانشگاه اصفهان تحت نظر دکتر بهمن زمانی بوده و فروردین 1398 با موفقیت از رساله‌ی دکترای خود دفاع نمود. رساله‌ی دکترای او بر موضوعات توسعه‌ی مدل‌رانده، تبديل مدل‌های دوسويه، ردگيری، و انتشار تغييرات تمرکز دارد. او عضو گروه پژوهشی مهندسی نرم‌افزار مدل‌رانده در دانشگاه اصفهان است.

 

چکيده‌ی پايان‌نامه:
تبدیل مدل قلب و روح مهندسی مدل‌رانده است که هدف آن تولید يك مدل از مدل ديگر است. در بیش‌تر كاربردهای عملی، هم مدل مبدأ و هم مدل مقصد به‌طور مستقل تغییر می‌کنند. تبديل دوسويه، سازوكاری را برای برقراری مجدد سازگاری بین ‌مدل‌ها فراهم می‌سازد. رويكردهای رايج تبديل دوسويه دارای چالش‌های متعددی مانند ابهام‌های پيچيده در تعريف نحو و معنای زبان، يادگيری‌پذيری پايين، ناتوانی در مديريت تداخل‌ها و قديمی شدن ابزار تبديل می‌باشند. در اين رساله، برای حل چالش‌های بيان شده، یک رویکرد جدید تبديل دوسويه با نام EVL+Strace پيشنهاد شده که با استفاده از زبان اعتبارسنجی اپسیلون (EVL) روی فرامدل ردیابی خاص (Strace) ساخته می‌شود. زبان EVL مورد استفاده در رويكرد يك زبان تركيبی است و ابهام‌های زبان‌های اعلانی را در تعريف نحو و معنا ندارد. همچنين، اين زبان دارای نحو عينی ساده برای یادگیری است. رويكرد EVL+Strace یک سیستم تبديل تعاملی را برای مدیریت تداخل‌های ناشی از به‌روزرسانی فراهم می‌کند و می‌تواند مدل‌های مبدأ و مقصد را به‌طور هم‌زمان سازگار نمايد. چارچوب اپسيلون، كه رويكرد پيشنهادي براساس آن توسعه يافته، یک چارچوب جامع و به‌روز مي‌باشد كه امكان قديمی شدن ابزار را به‌حداقل می‌رساند. فرامدل ردیابی در EVL+Strace باید خاصِ دامنه‌ی فرامدل‌های مبدأ و مقصد باشد، به‌طوری‌که از تعريف عنصرهای غيرمجاز جلوگيری شود. به‌علاوه، توسعه‌دهندگان را قادر می‌سازد تا مفاهیم تبدیل دقيق‌تری تعريف كنند. براي نمايش جايگاه رويكرد EVL+Strace آن را با چهار رويكرد دوسويه‌ی شناخته شده براساس يك مدل خصيصه‌ی خوش‌تعريف مقايسه شده است. نتيجه‌ی مقايسه نشان می‌دهد، EVL+Strace اولین رويكرد كاربردی تعاملی است که می‌تواند ویژگی‌های دوسويه‌ی مهم مانند قابليت نگهداری و انتشار را پشتيبانی کند. به‌دليل اين‌كه نوشتن كد تبديل از صفر مستعد خطاست، در اين رساله پيشنهاد مي‌شود كه اجزای تبديل EVL+Strace شامل فرامدل ردیابی خاص و کد تبدیل براساس اصول مدل‌رانده توليد شود. بدين‌منظور، ابزاری مبتنی‌بر اكليپس با نام مُدبايت توسعه يافته كه می‌تواند به‌طور نيمه‌خودکار اجزاي تبديل EVL+Strace را توليد كند. اعتبار روش تبديل EVL+Strace و قابليت کاربرد ابزار مُدبايت، برطبق یک متدولوژی ارزيابي جامع روی 10 نمونه‌ی تبديل دوسويه نمايش داده شده است. نتیجه‌ی مطالعات، سودمندی مُدبايت را در توسعه‌ی اجزای تبديل و اعتبار EVL+Strace در برقراری سازگاری بين‌مدلی نشان می‌دهد.

 

پروژه‌ها

 

مقالات انگلیسی

 

مقالات فارسی

تماس با ما

رایانامه: Zamani[AT]eng.ui.ac.ir
شماره تماس: 37934537-31-98+
آدرس: خیابان هزارجریب، دانشگاه اصفهان، دانشکده مهندسی کامپیوتر، گروه مهندسی نرم افزار

Statistics

  • 0
  • 2
  • 12
  • 9,527
  • 344
  • 30
  • 0
  • می 25, 2019
TOP