از توصیف به زبان Z تا برنامه نمونه

سال انتشار: 1386
محل انتشار: پانزدهیمن کنفرانس مهندسی برق ایران
کد COI اختصاصی: ICEE15_262
زبان مقاله: فارسی
تعداد مشاهده: 5289

نویسندگان

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

چکیده

در این مقاله، روشی برای نمونه سازی توصیف های صوری نوشته شده در زبان Z، از طریق تبدیل آن به برنامه ای در یک زبان مبتنی بر مجموعه (SetL2) ارایه می شود. چنین نمونه ای، امکان اعتبار سنجی زودهنگام توصیف های صوری Z را فراهم می کند. رویکرد ما در این کار، بر خلاف اغلب کارهای انجام شده اجرای توصیف به زبان z نیست، لذا محدودیتی بر مجموعه عبارات موردد استفاده در بیان توصیف تحمیل نخواهیم کرد. برای چنین تبدیلی، ابتدا توصیف به کمک ابزارهای موجود و با استفاده از شمای ZML به صورت XML در می آید. سپس سند XML بدست امده به کمک شی DOM پیمایش ، تجزیه و از آن برنامه نمونه ای در زبان SetL2 ساخته می شود.

کلیدواژه ها

توصیف صوری ، نمونه سازی ، ZMl, Z ,SetL2

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.