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