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

جولای
13

A survey of model transformation design patterns in practice

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

By MDSERG Admin | مقالات انگلیسی
DETAIL
جولای
13

Solving the state elimination case study using Epsilon

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

By MDSERG Admin | مقالات انگلیسی
DETAIL
جولای
13

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

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

By MDSERG Admin | مقالات انگلیسی
DETAIL
جولای
13

Translating UML-RSDS OCL to ANSI C

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

By MDSERG Admin | مقالات انگلیسی
DETAIL
جولای
13

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
جولای
13

Optimization of model transformation output using genetic algorithm

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

By MDSERG Admin | مقالات انگلیسی
DETAIL
جولای
13

Contract verification of ETL transformations

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

By MDSERG Admin | مقالات انگلیسی
DETAIL
جولای
13

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

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

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

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

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

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

Bidirectional model transformation approaches – a comparative study

تبدیل مدل دوسویه (Bx) به عنوان یکی از پایه های اصلی پارادایم مهندسی مدل رانده معرفی می شود. تبدیل دوسویه به برقراری سازگاری بین مدل مبدأ و مقصد، زمانی که آنها به طور مستقل تغییر یافته اند، میپردازد. به تازگی، تعدادی از رویکردهای Bx پیشنهاد شده است، که هر کدام قابلیت ها و ویژگی های متفاوتی دارند. در میان آنها یک رویکرد جدید، به نام EVL+trace است که پیشتر توسط نویسندگان پیشنهاد شده است. برای انتخاب یک زبان تبدیل دوسویه مناسب برای یک کار خاص، یک توسعه دهنده نیاز به ارزیابی و مقایسه روشهای Bx دارد. در این مقاله، یک روش مقایسه ای پیشنهاد شده است که در آن یک خانواده از 19 معیار اصلی که عمدتا الگویی از معیارهای ارزیابی زبان برنامه نویسی و ویژگی های دوسویه است، برای ارزیابی زبان های Bx استفاده می شود. به منظور بررسی اثربخشی رویکرد EVL+trace، آن را با سه زبان شناخته شده دوسویه، از جمله QVT-R، گرامر سه تایی گرافی (TGG) و زبان تبدیل تبدیل ژنوس (JTL) بر اساس معیارهای انتخابی مقایسه میکنیم. نتایج تحلیل اثربخشی روش مقایسه پیشنهادی برای رویکردهای Bx و مزایا و معایب EVL+trace را نشان می دهد.

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

تماس با ما

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

Statistics

  • 0
  • 13
  • 16
  • 10,647
  • 355
  • 30
  • 0
  • جولای 4, 2019
TOP