از توصیف به زبان Z تا برنامه نمونه
عنوان مقاله: از توصیف به زبان Z تا برنامه نمونه
شناسه ملی مقاله: ICEE15_262
منتشر شده در پانزدهیمن کنفرانس مهندسی برق ایران در سال 1386
شناسه ملی مقاله: ICEE15_262
منتشر شده در پانزدهیمن کنفرانس مهندسی برق ایران در سال 1386
مشخصات نویسندگان مقاله:
بهناز چنگیزی - دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر
سیدحسن میریان حسین آبادی - دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر
خلاصه مقاله:
بهناز چنگیزی - دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر
سیدحسن میریان حسین آبادی - دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر
در این مقاله، روشی برای نمونه سازی توصیف های صوری نوشته شده در زبان Z، از طریق تبدیل آن به برنامه ای در یک زبان مبتنی بر مجموعه (SetL2) ارایه می شود. چنین نمونه ای، امکان اعتبار سنجی زودهنگام توصیف های صوری Z را فراهم می کند. رویکرد ما در این کار، بر خلاف اغلب کارهای انجام شده اجرای توصیف به زبان z نیست، لذا محدودیتی بر مجموعه عبارات موردد استفاده در بیان توصیف تحمیل نخواهیم کرد. برای چنین تبدیلی، ابتدا توصیف به کمک ابزارهای موجود و با استفاده از شمای ZML به صورت XML در می آید. سپس سند XML بدست امده به کمک شی DOM پیمایش ، تجزیه و از آن برنامه نمونه ای در زبان SetL2 ساخته می شود.
کلمات کلیدی: توصیف صوری ، نمونه سازی ، ZMl, Z ,SetL2
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/25330/