پیوندهای مفید
اخبار و اعلانات
آمار
| تعداد نشریات | 161 |
| تعداد شماره‌ها | 6,573 |
| تعداد مقالات | 71,037 |
| تعداد مشاهده مقاله | 125,511,707 |
| تعداد دریافت فایل اصل مقاله | 98,774,161 |
معنای عملیاتی برای یک زبان مبتنی براکتور | ||
| نشریه دانشکده فنی | ||
| مقاله 14، دوره 40، شماره 2 - شماره پیاپی 1028، آبان 1385 اصل مقاله (394.85 K) | ||
| نویسندگان | ||
| علی موقر رحیم آبادی؛ الهام موسوی؛ نیلوفر رضوی؛ مرجان سیرجانی* | ||
| چکیده | ||
| باتوجه به رشد روز افزون استفاده از سیستم‌های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم‌ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیاء واکنشی مستقل از هم، اجزاء تشکیل دهنده‌ی مدل هستند که با تبادل ناهمگام پیام با یکدیگر در ارتباط هستند. ایجاد پویای اشیاء واکنشی و تغییر پویای پیکربندی از ویژگی‌های این زبان است. این زبان به همراه توصیف صوری و قانونمند آن، پایه محکمی برای داشتن یک ابزار جهت وارسی سیستم‌های واکنشی بوده است. | ||
| کلیدواژه‌ها | ||
| توصیف و وارسی صوری؛ سیستم گذار پایه؛ سیستم‌های واکنشی؛ مدل اکتور؛ همروندی | ||
|
آمار تعداد مشاهده مقاله: 1,484 تعداد دریافت فایل اصل مقاله: 887 |
||
سامانه مدیریت نشریات علمی. قدرت گرفته از سیناوب