موضوع فارسی :روند جبر با ارتباطات محلی
موضوع انگلیسی :Process Algebra with Local Communication
تعداد صفحه :18
فرمت فایل :PDF
سال انتشار :2008
زبان مقاله : انگلیسی
در جبری روند مثل μCRL و ACP ارتباطات در سطح جهان تعریف شده است. در چارچوب
معماری مبتنی بر مولفه یکی از آرزوهای به تعریف مولفههای یک سیستم به طور جداگانه، از جمله
ارتباطات درون که مؤلفه. جبر فرآیند تعریف می کنیم با یک اپراتور برای
ارتباطات از قسمت محلی که تسهیل معماری های مبتنی بر جزء. علاوه بر این که ترکیبی،
این زبان است که با هدف یک زبان عملی تر (با توجه به نزدیک به زبان مربوط)
و همچنین برای مدل سازی ساده از همزمان اجازه می دهد تا به عنوان رفتار آسنکرون