Communicating sequential processes for distributed constraint satisfaction

A new method for solving interval and fuzzy equations: Linear case

“…The concept of a generalized constraint is the centerpiece of GTU". There are different definitions of CSP in the literature depend on the problem to be solved [34,38]. In our case of continuous variables, the appropriate definition of CSP can be presented as follows: Given a vector ðx 1 ; .…”

Παράλληλα Συστήματα Λογικού Προγραμματισμού Με Υποστήριξη Περιορισμών

“…Åéäéêüôåñá, ðñïôÜèçêå ìéá ðëáôöüñìá ëïãéêïý ðñïãñáììáôéóìïý ìå õðï-óôÞñéîç ðåñéïñéóìþí, ç Cspcons [Sakellariou et al, 2006;Vlahavas et al, 2002b]. Ç Cspcons áðïôåëåß åðÝêôáóç ôçò Csp-ii 2 êáé õðïóôçñßaeåé, üðùò êáé ç ôåëåõôáßá, ðñïãñáììáôéóìü âáóéóìÝíï óå óåéñéáêÝò äéåñãáóßåò ðïõ åðéêïéíùíïýí (communicating sequential processes) ìÝóù êáíáëéþí êáé óõìâÜíôùí.…”

“…Ïé ðåñéïñéóìïß ask êáé tell åéóÞ÷èçóáí áñ÷éêÜ óôïí ôáõôü÷ñïíï ðñïãñáììáôéóìü ìå ðåñéïñéóìïýò (concurrent constraint programming) [Hentenryck et al, 1995;Saraswat and Rinard, 1990]. Áðïôåëïýí åðåêôÜóåéò ôùí ìç÷áíéóìþí åëÝã-÷ïõ êáé óõã÷ñïíéóìïý ôùí ôáõôü÷ñïíùí ãëùóóþí ëïãéêïý ðñïãñáììáôéóìïý óôïí Clp.…”

“…Ôï óçìáíôéêü ðëåïíÝêôçìá ôçò ãëþóóáò åßíáé üôé üðïéá êáé áí Þôáí ç óåéñÜ ôùí ðåñéïñéóìþí êáé ôùí óôü÷ùí áíáaeÞôçóçò óôï áñ÷éêü ðñüãñáììá ôïõ ÷ñÞóôç, ç ìåßùóç ôùí ðåäßùí ôùí ôéìþí ìÝóù ôçò äéÜäïóçò ðåñéïñéóìþí, ëáìâÜíåé ÷þñá üóï ôï äõíáôü óõíôïìüôåñá óôçí åêôÝëåóç. [Rocha et al, 2003], ç CIAO [Hermenegildo et al, 1999] Ç Cspcons [Sakellariou et al, 2006] [Futo, 1993;] åßíáé ìéá ðëáôöüñìá êáôáíåìçìÝíïõ ëïãéêïý ðñïãñáììáôéóìïý (Dlp), ðïõ áêïëïõèåß ôçí óýíôáîç ISO Prolog, áëëÜ ðá-ñÜëëçëá õðïóôçñßaeåé ðëÞèïò Üëëùí ÷áñáêôçñéóôéêþí, üðùò áñèñùôü ðñïãñáììáôéóìü (modularity), ðïëõäéåñãáóßá (multitasking), ðñïãñáììáôéóìü ðñáãìáôéêïý ÷ñüíïõ (real-time programming) êáé åðéêïéíùíßá ðÜíù áðü äßêôõá (network communication). ÅðéðëÝïí õðïóôçñßaeåé ðñïãñáììáôéóìü âÜóåé ôçò ìåèïäïëïãßáò ôùí åðéêïéíùíïýíôùí óåéñéáêþí äéåñãáóéþí ðïõ ðñïôÜèçêå áðü ôïí Hoare [Hoare, 1978].¸ôóé, ç âáóéêÞ ðñïãñáììáôéóôéêÞ ïíôüôçôá óôçí Csp-ii åßíáé ç äéåñãáóßá.…”

“…Áí êáé ôï ìïíôÝëï åðéêïéíùíßáò ðïõ ðåñéãñÜöåôáé ðáñáðÜíù åßíáé äõíáôü íá õëïðïéçèåß ìå áðïóôïëÞ ìçíõìÜôùí ìÝóù êáíáëéþí, üðùò Ý÷åé ãßíåé óå áíôßóôïé-÷åò ðåñéðôþóåéò [Sakellariou et al, 2006], åíôïýôïéò ç ðñïóÝããéóç áõôÞ ïäçãåß óå ðïëýðëïêç õëïðïßçóç êáèþò áðáéôïýíôáé äýï Cspcons äéåñãáóßåò ãéá ôçí ìïíôåëïðïßçóç êÜèå ìéáò ×-ìç÷áíÞò.…”