حساب التفاضل والتكامل لأنظمة الاتصال

حساب الأنظمة المتصلة ( CCS ) هو حساب عمليات قدمه روبن ميلنر حوالي عام 1980، وهو عنوان كتاب يشرح هذا الحساب. تُمثل إجراءاته الاتصالات غير القابلة للتجزئة بين مشاركين اثنين فقط. تتضمن اللغة الرسمية عناصر أساسية لوصف التركيب المتوازي، والجمع بين الإجراءات، وتقييد النطاق. يُعد حساب الأنظمة المتصلة مفيدًا لتقييم صحة خصائص النظام من الناحية النوعية، مثل حالة الجمود أو حالة التعطل . ^{[ 1 ]}

بحسب ميلنر، "لا يوجد شيء قياسي في اختيار المجموعات الأساسية، على الرغم من أنها اختيرت بعناية كبيرة من أجل الاقتصاد. ما يميز حسابنا ليس الاختيار الدقيق للمجموعات، بل اختيار التفسير والإطار الرياضي".

تُفسَّر تعابير اللغة على أنها نظام انتقال مُصنَّف . وبين هذه النماذج، يُستخدم التماثل الثنائي كمكافئ دلالي.

بالنظر إلى مجموعة من أسماء الإجراءات، يتم تعريف مجموعة عمليات CCS بواسطة قواعد BNF التالية :

${\displaystyle P::=0\,\,\,|\,\,\,a.P_{1}\,\,\,|\,\,\,}$مرجع${\displaystyle A\,\,\,|\,\,\,P_{1}+P_{2}\,\,\,|\,\,\,P_{1}|P_{2}\,\,\,|\,\,\,P_{1}[b/a]\,\,\,|\,\,\,P_{1}{\backslash }a\,\,\,}$

أجزاء التركيب النحوي هي، بالترتيب المذكور أعلاه

عملية غير نشطة

العملية غير النشطة${\displaystyle 0}$هي عملية احتجاز الكربون وتخزينه صالحة

فعل

العملية${\displaystyle a.P_{1}}$يمكنه القيام بفعل${\displaystyle a}$واستمر في العملية${\displaystyle P_{1}}$

معرّف العملية

يُعرِّف${\displaystyle A{\overset {\underset {\mathrm {def} }{}}{=}}P_{1}}$ثم استخدم المعرّف${\displaystyle A}$للإشارة إلى العملية${\displaystyle P_{1}}$(والتي قد تحتوي على المعرف)${\displaystyle A}$(أي أن التعريفات المتكررة مسموحة)

المجموع

العملية${\displaystyle P_{1}+P_{2}}$يمكن أن تتم العملية إما${\displaystyle P_{1}}$أو العملية${\displaystyle P_{2}}$

التركيب المتوازي

${\displaystyle P_{1}|P_{2}}$يشير ذلك إلى أن العمليات${\displaystyle P_{1}}$و${\displaystyle P_{2}}$موجودون في وقت واحد

إعادة التسمية

${\displaystyle P_{1}[b/a]}$هي العملية${\displaystyle P_{1}}$مع تسمية جميع الإجراءات${\displaystyle a}$تمت إعادة تسميتها إلى${\displaystyle b}$

تقييد

${\displaystyle P_{1}{\backslash }a}$هي العملية${\displaystyle P_{1}}$بدون فعل${\displaystyle a}$

• تُعد لغة CSP ( التواصل بين العمليات المتسلسلة )، التي طورها توني هوار ، لغة رسمية ظهرت في وقت مشابه لـ CCS.
• تم تطوير جبر العمليات المتصلة (ACP) بواسطة جان بيرجسترا وجان ويليم كلوب في عام 1982، ويستخدم نهجًا بديهيًا (على غرار الجبر الشامل ) للتفكير في فئة مماثلة من العمليات مثل CCS.
• إن حساب باي ، الذي طوره روبن ميلنر ويواكيم بارو وديفيد ووكر في أواخر الثمانينيات، يوسع نطاق CCS ​​من خلال إمكانية نقل روابط الاتصال، وذلك عن طريق السماح للعمليات بنقل أسماء قنوات الاتصال نفسها.
• يقدم برنامج PEPA ، الذي طورته جين هيلستون، توقيت النشاط من حيث المعدلات الموزعة بشكل أسي والاختيار الاحتمالي، مما يسمح بتقييم مقاييس الأداء.
• تُقدم أنظمة الاتصال المتزامنة القابلة للعكس (RCCS) التي قدمها فينسنت دانوس وجان كريفين وآخرون، إمكانية عكسية (جزئية) في تنفيذ عمليات CCS.

بعض اللغات الأخرى المبنية على نظام CCS:

• حساب التفاضل والتكامل لأنظمة البث
• لغة مواصفات الترتيب الزمني (LOTOS)
• يُعد حساب العمليات للنماذج البيئية المكانية الصريحة (PALPS) امتدادًا لـ CCS مع الاختيار الاحتمالي والمواقع والخصائص للمواقع ^{[ 2 ].}
• محرك مترجم لغة التنسيق جافا (جولي) ^{[ 3 ]}

النماذج التي تم استخدامها في دراسة الأنظمة الشبيهة بأنظمة احتجاز الكربون وتخزينه:

• أحادي التاريخ
• عارض أزياء ممثل

• روبن ميلنر: حساب أنظمة الاتصال ، دار نشر سبرينغر، رقم ISBN 0-387-10235-31980.
• روبن ميلنر، الاتصالات والتزامن ، برنتيس هول، السلسلة الدولية في علوم الحاسوب، رقم ISBN 0-13-115007-31989