شکوفه کلاهدوز رحیمی

تیر
22

EVL‎+ ‎Strace‎: ‎a novel bidirectional model transformation approach

زمینه: تبدیل مدل، به عنوان یکی از پایه های مهندسی مدل رانده (MDE)، مدل های مقصد را از مدل های مبدأ تولید می کند. در بیشتر موارد عملی، هر دو مدل مبدأ و مقصد به طور مستقل تغییر می کنند و برقراری سازگاری بین آنها ضروری است. تبدیل دوسویه (Bx) سازوکاری را برای بازیابی سازگاری بین مدلی فراهم می کند. رویکردهای Bx از محدودیت های متعددی مانند نبود پیاده سازی جامع، قابلیت یادگیری کم و ناتوانی در مدیریت اختلال در به روزرسانی رنج می برد.
هدف: برای رفع اشکالات فوق الذکر، ما یک رویکرد جدید تبدیل دوسویه که EVL+ Strace نامیده می شود، با استفاده از زبان اعتبارسنجی اپسیلون (EVL) بر مبنای فرامدل ردیابی خاص (Strace) ساخته شده است. علاوه بر این، مجموعه ابزار مبتنی بر اکلیپس، MoDEBiTE ارائه می شود، که برای تولید خودکار مصنوعات EVL + Strace از جمله فرامدل ردیابی خاص و کد تبدیل استفاده میشود.
روش: EVL+Strace از قابلیتهای EVL برای انتشار تغییرات کاربر بر روی مدلها از مبدأ به مقصد و بالعکس، به طور همزمان استفاده می کند. فرامدل ردیابی باید مخصوص قلمروی فرامدلهای مبدأ و مقصد باشد تا مانع ایجاد عناصر ردیابی غیرمجاز شود. علاوه بر این، توسعه دهندگان را قادر می سازد مفاهیم تبدیل را دقیقتر تعریف کنند. یک نمونه اجرایی برای توضیح مولفه های EVL + Strace و کاربرد MoDEBiTE بکار گرفته شده است.
نتیجه: EVL+Strace اولین رویکرد عملی تعاملی است که می تواند ویژگی های دوسویه مهم مانند قابلیت نگهداری و قابلیت انتشار را فراهم کند. یک مدل ویژگی از روش های Bx برای مقایسه EVL+ Strace با زبان های شناخته شده استفاده شده است. برای نشان دادن برتری EVL + Strace و کاربرد MoDEBiTE، یک بررسی جامع روی شش نمونه مورد مطالعه انجام شده است.
جمع‌بندی: EVL + Strace یک سیستم تبدیل تعاملی را برای مدیریت اختلالات در تغییرها فراهم می کند. این رویکرد از زبان EVL برای تعریف تبدیل Bx استفاده می کند که دارای نحو آسان برای یادگیری است. همچنین بر اساس اپسیلون توسعه یافته که یک چارچوب جامع و فعال میباشد.

By MDSERG Admin | مقالات انگلیسی
DETAIL
تیر
22

A survey of model transformation design patterns in practice

لینک دسترسی آنلاین: https://www.sciencedirect.com/science/article/pii/S0164121218300438

By MDSERG Admin | مقالات انگلیسی
DETAIL
تیر
22

Solving the state elimination case study using Epsilon

لینک دسترسی آنلاین: http://ceur-ws.org/Vol-2026/ دانلود فایل مقاله: PDF

By MDSERG Admin | مقالات انگلیسی
DETAIL
تیر
22

Solving the families to persons case using EVL‎+ ‎Strace

نمونه Benchmarx، موضوع مورد مطالعه تبدیل دوسویه برای مسابقات ابزار تبدیل در سال 2017 است. این مثال، یک تبدیل مدل به مدل مشهور از مجموعه مثالهای تبدیل ATL به نام “خانواده ها به افراد” است. این مقاله، راه حلی را برای سازگاری بین مدلی با استفاده از زبان اعتبارسنجی اپسیلون (EVL) و تکنیک های ردیابی خاص قلمرو ارائه می دهد. ما این رویکرد EVL+Strace را مینامیم.

By MDSERG Admin | مقالات انگلیسی
DETAIL
تیر
22

Translating UML-RSDS OCL to ANSI C

لینک دسترسی آنلاین: https://link.springer.com/chapter/10.1007/978-3-319-74730-9_28

By MDSERG Admin | مقالات انگلیسی
DETAIL
تیر
22

A survey of model transformation design pattern usage

لینک دسترسی آنلاین: https://link.springer.com/chapter/10.1007/978-3-319-61473-1_8

By MDSERG Admin | مقالات انگلیسی
DETAIL
تیر
22

Optimization of model transformation output using genetic algorithm

امروزه مدل‌سازی نقشی کلیدی در فرآیند توسعه نرم‌افزار ایفا می‌کند. با اتکا به این واقعیت، مهندسی نرم‌افزار مدل‌رانده، با بهره‌گیری از مدل‌ها، اقدام به افزایش سطح انتزاع و مقابله با پیچیدگی‌های توسعه نرم‌افزار نموده است. تبدیل مدل به‌عنوان قلب و روح مهندسی نرم‌افزار مدل‌رانده، از جمله پرکاربردترین فعالیت‌های این زمینه می‌باشد که در حل بسیاری از مسائل استفاده می‌شود. اما خروجی مورد انتظار در اجرای تبدیل مدل برای برخی از مسائل یکتا نبوده و یافتن خروجی بهینه از اهمیت بالایی برخوردار است. با این‌حال، فضای حالت بزرگ و پیچیده این مسائل موجب شده، یافتن راه‌حل بهینه به امری دشوار و هزینه‌بر تبدیل شود. در این مقاله، با استفاده از الگوریتم ژنتیک، به‌عنوان یکی از تکنیک‌های مهندسی نرم‌افزار مبتنی بر جستجو، فرآیندی ارائه می‌شود، که با استفاده از آن می‌توان، خروجی بهینه برای این قبیل از تبدیل‌های مدل را به دست آورد. نتایج به‌دست آمده برای مورد مطالعه‏ی تخصیص مسئولیت به کلاس‌ها که یکی از موارد مطالعه‏ی رایج در این زمینه است، نشان می‌دهد، راهکار پیشنهادی توانایی یافتن خروجی بهینه را در زمان اجرای کمتری نسبت به سایر راهکارها دارد. افزایش سطح انتزاع و قابلیت استفاده از این راهکار، برای مسائل مشابه در تبدیل مدل از دیگر دستاوردهای این پژوهش می‌باشد.

By MDSERG Admin | مقالات انگلیسی
DETAIL
تیر
22

Contract verification of ETL transformations

مهندسی مدل‌رانده، پارادایم جدیدی در مهندسی نرم افزار است که در آن با به‌کارگیری تبدیل‌ها، نرم‌افزار به‌صورت خودکار از مدل تولید می‌شود. تبدیل‌های مدل که با استفاده از زبان‌های تبدیل تعریف می‌شوند، نقش اصلی را در رویکردهای مدل‌رانده ایفا می‌کنند. در طول دهه اخیر، زبان‌های تبدیل بسیاری ارائه شده‌اند. زبان تبدیل اپسیلون (ETL) یکی از پر استفاده‌ترین‌ آن‌ها است. از آن‌جایی‌که درستی تبدیل تاثیر مستقیمی روی تولید محصول نهایی دارد، وارسی تبدیل‌ها اهمیت ویژه‌ای می‌یابد. در این مقاله، رویکردی برای وارسی درستی تبدیل‌های ETL ارائه خواهد شد. رویکرد پیشنهادی مبنی بر استفاده از زبان مبتنی بر گراف DSLTrans و نیز ابزار SyVOLT است که اجرای نمادین تبدیل‌های DSLTrans را فراهم می‌کند. به این منظور، ابتدا تبدیل ETL به DSLTrans تبدیل می‌شود. سپس، با استفاده از ابزار SyVOLT تبدیل وارسی می‌گردد. به منظور ارزیابی، مطالعه موردی به‌کار گرفته شده است. نتایج ارزیابی این روش حاکی از قابلیت آن در کشف خطاهایی است که پیش از این به آسانی قابل شناسایی نبوده‌اند.

By MDSERG Admin | مقالات انگلیسی
DETAIL
تیر
22

فرآیندی جهت اعمال الگوهای تبدیل در زبان تبدیل ATL

امروزه یکی از روش‌های مطرح جهت تولید سیستم‌های پیچیده، مهندسی مدل‌رانده است. در این روش، تبدیل مدل یکی از ارکان مهم است که مدل را به‌صورت خودکار به کد تبدیل می‌کند. اما با پیچیده‌شدن سیستم‌های نرم‌افزاری، تبدیل مدل‌ها نیز بزرگ و پیچیده شده‌اند. در نتیجه کیفیت تبدیل‎‌ها و فهم آن‌ها با مشکل روبه‌رو شده است. یک روش برای بهبود کیفیت‌ تبدیل‌ها و غلبه بر این پیچیدگی‌ها، استفاده به‌جا و مناسب از الگوهای تبدیل است، ولی استفاده از الگوها برای افراد مبتدی آسان نیست. هدف از این تحقیق، ارائه راهکاری جهت تسهیل و بهبود به‌کارگیری الگوهای تبدیل به‌منظور افزایش کیفیت تبدیل‌های نوشته شده است. به‌همین منظور از یک فرایند جهت اعمال الگوهای مهم در تبدیل مدل استفاده می‌شود. به‌منظور ارزیابی روش پیشنهادی، کد تبدیل قبل از اعمال الگو و بعد از اعمال الگو بر اساس پارامترهای کیفی مانند کارایی، پیچیدگی و میزان خاصیت پیمانه‌ایی سنجیده می‌شود. نتایج نشان می‌دهد که استفاده از الگوها باعث افزایش خاصیت پیمانهایی، کیفیت، کارایی، چسبندگی و سادگی کد تبدیل خواهد شد. همچنین سودمندی استفاده از الگوهای تبدیل بر روی تبدیل‌های واقعی به‌صورت کمی ارزیابی می‌شود.

By MDSERG Admin | مقالات فارسی
DETAIL

ارائه‌ی روشی جدید برای تبدیل مدل دوسویه‌ بر اساس چارچوب اپسیلون و تکنیک‌های ردیابی‌پذیری

توسعه مدل رانده روش نوینی در تولید نرم‌افزار است که در آن، از روی مدل و با به‌کارگیری مجموعه روش‌هایی تحت عنوان تبدیل مدل، کد پیاده‌سازی به‌صورت خودکار/ نیمه‌خودکار تولید می‌شود. کلیه فعالیت‌های ممکن در روش‌های مدل رانده با استفاده از تبدیل‌ها انجام می‌گیرد. یکی از این فعالیت‌ها، تبدیل مدل‌به‌مدل است که در ساده‌ترین حالت، ارتباطی تک‌سویه را بین مدل مبدأ و مقصد تعریف می‌کند. در این حالت، فقط می‌توان مدل مقصد را از روی مدل مبدأ به دست آورد. اما در حالت کلی‌تر، مدل‌های مبدأ و مقصد مستقلاً تغییر می‌یابند. درنتیجه، برای سازگاری به تبدیل‌های پیشرفته‌تری به‌نام تبدیل دوسویه نیاز است. روش‌های تبدیل دوسویه دارای چالش‌هایی مانند ابهام در زبان تبدیل، نمادسازی خاص و صوری‌سازی گران هستند. جهت رفع این چالش‌ها، در این مقاله، روش جدیدی برای تبدیل دوسویه برمبنای چارچوب مدل رانده اپسیلون و تکنیک‌های ردیابی‌پذیری پیشنهاد می‌شود. در این روش، روابط بین مدل‌های مبدأ و مقصد صوری‌سازی شده، سپس روی محکی شناخته‌شده پیاده‌سازی می‌شود. این روش بر اساس 10 معیار با سه روش تبدیل دوسویه مقایسه می‌گردد. نتیجه مقایسه‌ها برتری‌های روش پیشنهادی از قبیل قابلیت حمل، نگه‌داری، مصالحه و پشتیبانی عملگری را نشان می‌دهد.

By MDSERG Admin | مقالات فارسی
DETAIL

تماس با ما

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

Statistics

  • 0
  • 9
  • 22
  • 11,639
  • 373
  • 30
  • 0
  • شهریور 28, 1398
TOP