توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z
Publish place: 15th Annual Conference of Computer Society of Iran
Publish Year: 1388
Type: Conference paper
Language: Persian
View: 1,531
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
CSICC15_173
Index date: 18 October 2009
توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z abstract
در یک پروژه تحقیقاتی در حال انجام سعی می شود که با استفاده از روشهای صوری، چهارچوبی ساختی برای تولید برنامه های هم روند ایجاد گردد. در این مقاله یک محصول میانی از این کار که زبان توصیفی شبه Zاست مرور شده و نشان داده می شود که چگونه به کمک این زبان می توان رفتار پویای یک سیستم هم روند را توصیف نمود. به طور دقیقتر، نشان داده می شود که می توان از این زبان برای توصیف صریح درهم بندی غیرقطعی پردازه ها در یک سیستم هم روند استفاده کرد. چنین توصیفی می تواند با روشی ساختی به برنامه ای تابعی تبدیل شود که تمام اجراهای در هم از پردازه های هم روند را در بر میگیرد.
توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z Keywords:
توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z authors
حسن حقیقی
استادیار دانشکده مهندسی برق و کامپیوتر دانشگاه شهید بهشتی
سلیمه جوادیان
دانشجوی دانشکده مهندسی برق و کامپیوتر دانشگاه شهید بهشتی
محمدمهدی جوانمرد
دانشجوی دانشکده مهندسی برق و کامپیوتر دانشگاه شهید بهشتی
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :