Treffer: Models and emerging trends of concurrent constraint programming

La programmation par contraintes simultanées (CCP) a été utilisée au cours des deux dernières décennies comme un modèle élégant et expressif pour les systèmes concurrents. Il modélise des systèmes d'agents communiquant en postant et interrogeant des informations partielles, représentées comme des contraintes sur les variables du système. Cela couvre une grande variété de systèmes comme ceux qui se posent dans les phénomènes biologiques, les systèmes réactifs, l'informatique centrée sur le net et l'avènement des réseaux sociaux et du cloud computing. Dans cet article, nous examinons les principales applications, les développements et les tendances actuelles de CCP.
La Programación de Restricciones Concurrentes (CCP) se ha utilizado durante las últimas dos décadas como un modelo elegante y expresivo para los sistemas concurrentes. Modela sistemas de agentes que se comunican mediante la publicación y consulta de información parcial, representada como restricciones sobre las variables del sistema. Esto abarca una gran variedad de sistemas como los que surgen en los fenómenos biológicos, los sistemas reactivos, la computación centrada en la red y el advenimiento de las redes sociales y la computación en la nube. En este trabajo se analizan las principales aplicaciones, desarrollos y tendencias actuales del PCC.
Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems. It models systems of agents communicating by posting and querying partial information, represented as constraints over the variables of the system. This covers a vast variety of systems as those arising in biological phenomena, reactive systems, net-centric computing and the advent of social networks and cloud computing. In this paper we survey the main applications, developments and current trends of CCP.
تم استخدام برمجة التقييد المتزامن (CCP) على مدى العقدين الماضيين كنموذج أنيق ومعبّر للأنظمة المتزامنة. يقوم بنمذجة أنظمة الوكلاء الذين يتواصلون عن طريق نشر المعلومات الجزئية والاستعلام عنها، ويتم تمثيلها كقيود على متغيرات النظام. يغطي هذا مجموعة واسعة من الأنظمة مثل تلك الناشئة في الظواهر البيولوجية والأنظمة التفاعلية والحوسبة المرتكزة على الشبكة وظهور الشبكات الاجتماعية والحوسبة السحابية. في هذه الورقة، نستعرض التطبيقات الرئيسية والتطورات والاتجاهات الحالية لبرنامج مراقبة الحاويات.