بنفشه عزیزی

جولای
13

Contract verification of ETL transformations

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

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

پذیرش مقاله‌ی خانم بنفشه عزیزی در کنفرانس ICCKE 2017

مقاله‌ی خانم بنفشه عزیزی با عنوان «Contract Verification of ETL Transformations»‌ برای ارائه در هفتمین کنفرانس بین‌المللی مهندسی کامپیوتر و دانش (ICCKE 2017) پذیرفته شد.

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

کارگاه آشنایی با ابزارهای کاربردی در مهندسی نرم افزار مدل‌رانده

زمان برگزاري: چهارشنبه 20 بهمن‌ماه 1395، ساعت 14-17 مکان: آزمايشگاه مباني کامپيوتر (کلاس 18 ساختمان فني قديم) زمان‌بندي برنامه کارگاه: رديف عنوان برنامه هدف ارائه کننده مدت زمان پيش‌بيني شده ساعت اجرا 1 ایجاد پلاگین آشنایی با ایجاد پلاگین و لانچ در اکلیپس محمدرضا شعرباف 15 دقيقه 14-14:15 2 زبان Xtend آشنایی با زبان Xtend […]

DETAIL

تماس با ما

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

Statistics

  • 0
  • 2
  • 12
  • 8,974
  • 335
  • 30
  • 0
  • آوریل 16, 2019
TOP