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

آوریل
16

دفاع از پایان‌نامه دکتری توسط خانم لیلا صمیمی

تبریک به خانم لیلا صمیمی به خاطر موفقیتی که در دفاع از پایان‌نامه‌ی دکتریشان تحت عنوان «اتوسعه‌ی مدل‌رانده‌ی تبدیل مدل دوسویه» به‌دست آوردند و با درجه‌ی عالی دفاع نمودند.

DETAIL
آوریل
10

Leveraging product line engineering for the development of domain-specific metamodeling languages

لینک دسترسی آنلاین: https://www.sciencedirect.com/science/article/pii/S1045926X1830212X, دانلود فایل مقاله: PDF

By MDSERG Admin | مقالات انگلیسی
DETAIL
فوریه
14

پذیرش مقاله‌ی خانم لیلا صمیمی در مجله‌ی Computer Languages

مقاله‌ی خانم لیلا صمیمی با عنوان «Leveraging product line engineering for the development of domain-specific metamodeling languages» ‌برای چاپ در مجله‌ی Computer Languages پذیرفته شد.

By MDSERG Admin | اخبار . پذیرش مقاله
DETAIL
جولای
13

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

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

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

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
  • 2
  • 12
  • 8,974
  • 335
  • 30
  • 0
  • آوریل 16, 2019
TOP