
تعداد نشریات | 162 |
تعداد شمارهها | 6,649 |
تعداد مقالات | 71,685 |
تعداد مشاهده مقاله | 127,837,500 |
تعداد دریافت فایل اصل مقاله | 100,700,743 |
معنای عملیاتی برای یک زبان مبتنی براکتور | ||
نشریه دانشکده فنی | ||
مقاله 14، دوره 40، شماره 2 - شماره پیاپی 1028، آبان 1385 اصل مقاله (394.85 K) | ||
نویسندگان | ||
علی موقر رحیم آبادی؛ الهام موسوی؛ نیلوفر رضوی؛ مرجان سیرجانی* | ||
چکیده | ||
باتوجه به رشد روز افزون استفاده از سیستمهای همروند، داشتن مدلی مناسب برای توصیف این گونه سیستمها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیاء واکنشی مستقل از هم، اجزاء تشکیل دهندهی مدل هستند که با تبادل ناهمگام پیام با یکدیگر در ارتباط هستند. ایجاد پویای اشیاء واکنشی و تغییر پویای پیکربندی از ویژگیهای این زبان است. این زبان به همراه توصیف صوری و قانونمند آن، پایه محکمی برای داشتن یک ابزار جهت وارسی سیستمهای واکنشی بوده است. | ||
کلیدواژهها | ||
توصیف و وارسی صوری؛ سیستم گذار پایه؛ سیستمهای واکنشی؛ مدل اکتور؛ همروندی | ||
عنوان مقاله [English] | ||
- | ||
چکیده [English] | ||
By increasing use of concurrent systems, especially in critical applications, we need a proper model for specifying these systems in a reliable way. In this paper, we propose an actor-based language for modeling concurrent systems and present its operational semantics in basic transition system. The model consists of independent reactive objects which communicate via asynchronous message passing. Dynamic creation of reactive objects and dynamic changing topology are two features of the model. The proposed language and its formal semantics have been a basis for developing an automated tool for modeling and verifying reactive systems. | ||
آمار تعداد مشاهده مقاله: 1,504 تعداد دریافت فایل اصل مقاله: 898 |