ارائه روشی برای توصیف و درستی یابی پایگاه داده ها با استفاده از Object-Z

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 651

فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICIKT07_080

تاریخ نمایه سازی: 22 مهر 1394

چکیده مقاله:

روش های صوری با ایده ی استفاده از ریاضیات در تولید نرم افزار، به عنوان گزینه ای برای تأمین قابلیت اطمینان نرم افزار مطرح شده اند؛ مهم ترین مزیت این روش ها فراهم نمودن امکان استدلال، اثبات و کاهش هزینه ی کلی تولید نرم افزار، به ویژه هزینه ی درستی یابی و نگهداری آن است. امروزه با افزایش پیچیدگی طراحی پایگاه داده ها و افزایش احتمال بروز خطا در آنها، به کارگیری روش های صوری در توصیف، طراحی و درستی یابی اینگونه سیستم ها، با هدف جلوگیری از خطاها و حفظ محدودیت های جامعیتی پیشنهاد می شود. در اغلب کارهای انجام شده در این زمینه، مدل سازی داده ها توسط روش های متداول که فاقد معنای تعریف شده دقیق و صوری هستند، انجام شده است. از آنجایی که کنترل سازگاری، بدون ابهام بودن و کامل بودن طراحی از طریق این روش ها مشکل است، لازم است که در یک مرحله دیگر، طراحی انجام شده توسط یک زبان صوری توصیف شود؛ این موضوع موجب تأخیر در درستی یابی و اعتبارسنجی مدل داده ای می شود؛ همچنین خطاهای کشف شده باید با مراجعه مجدد به مدلسازی اولیه رفع شوند. برای جلوگیری از اتلاف زمان، هزینه و همچنین به منظور انجام هر چه سریع تر درستی یابی صوری پایگاه داده ها، این مقاله به ارائه روش جدیدی برای مدلسازی داده و توصیف تراکنش ها توسط زبان توصیف صوری Object-Z می پردازد. همچنین راهکاری جهت کنترل سازگاری و درستی یابی مدلسازی انجام شده توسط ابزارگان Z پیشنهاد می شود.

نویسندگان

سیده زهرا سجادی

کارشناس ارشد، دانشکده علوم و مهندسی کامپیوتر، دانشگاه شهید بهشتی، تهران

حسن حقیقی

استادیار، دانشکده علوم و مهندسی کامپیوتر، دانشگاه شهید بهشتی، تهران

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • می‌باشد. این ویژگی در سیستم زمانی تضمین می‌شود که دو ...
  • Collission Trainstwo توصیف شده است. این دو شرط روی تراکنش ...
  • Barros, R, Harper D., "A method for the specification of ...
  • Amel, M, Laleau, R., "A formal approach based on UML ...
  • _ _ _ Schema From; Specification", International Conference o. IEEE, ...
  • Wu, N, Andrew S., "Towards formally template relational database representations ...
  • _ _ _ W., "On the derivation of executable database ...
  • نمایش کامل مراجع