Title :
A Modular Logic Approach for P2P Networks: A Deductive Object Oriented Framework for P2P Networks
Author :
Mitakos, Theodoros ; Almaliotis, Msc Ioannis
Author_Institution :
Technol. Educ. Inst. of Chalkida, Chalkida, Greece
Abstract :
This paper presents a deductive object oriented framework that is capable to model P2P networks. The framework is superimposed over a basic language based on modules. A small set of operators are logically defined and semantically justified in terms of the basic logic programming semantics. Nodes in the network correspond to objects that can exchange messages.
Keywords :
object-oriented programming; peer-to-peer computing; programming language semantics; P2P networks; basic language based; basic logic programming semantics; deductive object oriented framework; modular logic approach; small set operators; Educational technology; Joining processes; Logic programming; Message passing; Network servers; Object oriented modeling; Paper technology; Peer to peer computing; Telephony; Video sharing;
Conference_Titel :
Systems, Signals and Image Processing, 2009. IWSSIP 2009. 16th International Conference on
Conference_Location :
Chalkida
Print_ISBN :
978-1-4244-4530-1
Electronic_ISBN :
978-1-4244-4530-1
DOI :
10.1109/IWSSIP.2009.5367747
