1395

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

Applying programming language evaluation criteria for model transformation languages

ارزیابی وضعیت موجود برای روشهای سنجش زبانهای تبدیل مدل (MTLs) نقایص چندگانه ای را نشان می دهد: آنها اغلب یا خاص زبان یا خاص ویژگی هستند، آنها ممکن است بحث کافی در مورد مقادیر ممکن برای معیارهای پیشنهادی نداشته باشند، زبانهای تبدیل کمی ممکن توسط این روشها سنجش شوند یا ترکیبی از این محدودیت ها. ما قبلا یک روش پیشنهاد کرده ایم که از معیارهای برنامه نویسی (PL) برای ارزیابی زبانهای تبدیل مدل استفاده می کرد. در این مقاله، یک روش بهبود یافته پیشنهاد شده است که در آن خانواده بزرگی از 11 معیار عمده با مجموع 46 زیرمعیار، عمدتا الهام گرفته شده از معیارهای ارزیابی PL، برای ارزیابی MTL ها مورد استفاده قرار می گیرد. سپس، یک روش تعاملی پیشنهاد شده است که معیارهای ایجاد یک سیستم تصمیم یار برای انتخاب زبان مناسب را تثبیت می کند. برای بررسی اثربخشی معیارها و روش پیشنهادی، برای مطالعه 6 زبان تبدیل مدل مورد استفاده قرار گرفت: ATL، Kermeta، ETL، QVT-O، QVT-R و TGG. نتایج ارزیابی نشان می دهد که معیارها در عمل بسیار موثر هستند؛ آنها بینش مفیدی را برای کاربران مختلف فراهم می کنند تا کاربران را قادر به انتخاب مناسب ترین MTL برای کاربردی خاص در دست بگیرند. با استفاده از متدولوژی تصمیم یار پیشنهادی، می توانیم شواهدی را به دست آوریم که کاربرد آن را در سناریوهای واقعی جهان به اثبات برسانیم.

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

نمايه يو‌ام‌ال پيشرفته جهت مدل‌سازي محاسبات ابری

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

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

تبديل مدل دوسويه بر اساس چارچوب اپسيلون

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

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

يک روش آزمون مدل‌رانده برای توليد خودکار موارد آزمون براساس نمودار توالی

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

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

تماس با ما

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

Statistics

  • 0
  • 0
  • 17
  • 8,636
  • 343
  • 30
  • 0
  • مارس 21, 2019
TOP