دانلود پاورپوینت آشنایی با زبان Rebeca جهت رشته مهندسی نرم افزار در قالب ۲۸ اسلاید و با فرمت ppt به صورت کامل و جامع و با قابلیت ویرایش

 

 

Rebeca مانند Actor داراي اشياء فعال مستقل، تبادل ناهمگام پيام، تغيير پوياي پيكر بندي و بافر هاي نا محدود براي پيامهاي دريافتي است،اما در اين مدل ريسمانهاي متعدد همروند درون يك شيء فعال وجود ندارند.

 


به منظور كاهش پيچيدگي فرآيند درستي يابي، از امكان ايجاد پوياي يك شيء فعال و تغيير هم بندي در زمان اجرا، در هنگام ارائه روشهاي درستي يابي صرف نظر شده است.از مهم ترين مشخصه هاي اشياء در اين مدل، واكنشي بودن آنها است، به همين دليل هر يك از اشياء در اين مدل Rebec ناميده مي شود و مدل ارائه شده Rebeca نامگذاري شده است.

 


فهرست مطالب
نگاه كلي به زبان Rebeca
روشهاي درستي يابي    
درستي يابي تركيبي    
كمينه سازي تركيبي    
درستي يابي تركيبي Rebeca    
مثال (سيستم كنترل كننده خط آهن)    
نتيجه گيري