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

سال انتشار: 1386
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 5,173

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

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

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

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

ICEE15_262

تاریخ نمایه سازی: 17 بهمن 1385

چکیده مقاله:

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

نویسندگان

بهناز چنگیزی

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

سیدحسن میریان حسین آبادی

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

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Slverell Linda B., Carver Doris Lم, "Experiences in Haskell Implemen ...
  • Spivey J, M., _ Z Notation: A Reference !anual", Third ...
  • International Series in Computer Science, 1396. ...
  • Jia Xiaoping, "ZTC: A Type Checker for Z rnolation - ...
  • 30, DePaul University, USA, 1998 ...
  • Abdallalh Ali E., Barros Alexandra, Barros JIose B , Bowenn ...
  • Miller Tim, Strooper Paul, J, _ Case Sudy in Specification ...
  • Doberkat Ernst-Erich, Frank Wolfgang, Gutenbeil Ulricl, Hasselbring Willeln, Laniners UIrich, ...
  • .lia Xiaoping, "An Approach _ Arnimating Z Specificatiors ", 19tl ...
  • International Conference of Z and B Users (ZB'03), LNCS, _ ...
  • Malik Petra, Utting Mark, "CZT: A Framevork for Z Tools", ...
  • Johnson M., Sanders P, "From Z Specifications _ Functional Implementat ...
  • Breuer P. T., Bowen J. _ "Tovwards correct executable semartics ...
  • Hayes l J., Jones C.B , "Specifications a.re not (necessarily) ...
  • Jia Xiaoping, Liu Hongming, Qin Lizhang, "Forma1 Structured Specification for ...
  • , Ch icago, pp. 88-97, 2003 ...
  • Keller JP., "SED: A SETL-Based Prototyping Environment", Final report of ...
  • نمایش کامل مراجع