Proactive Protocol Composition Language

It is essential to develop methodologies for the design of distributed protocols in order to reduce the complexity of distributed systems, and for maturing the field. We have developed a composition methodology for designing a range of proactive distributed protocols, with applicability to large-scale distributed groups in both the Internet (e.g., peer to peer systems) and wireless sensor networks. The methodology consists of several basic building blocks and different composition techniques which can be used to combine the blocks into solutions for distributed computing problems. The compositions preserve properties of the original components (reliability, scalability, liveness). Proactive Protocol Composition Language (PPCL) is a simple language that can be used to specify the compositions described in the methodology. The PPCL compiler uses the PPCL specifications to compose existing (C language) source code of building block implementations in order to automate the above design methodology. Given appropriate source code, PPCL can be used to generate protocols already existing in literature, as well as to generate new, undiscovered protocols.

	People	Contributors to the PPCL project.
	Publications	Related published papers.
	Download	Grammar, source and example files for PPCL.
	Documentation	Documentation for PPCL and using the compiler.
	News	News and announcements about the PPCL project.
	Contact	Get in touch with maintainers of the project.

Please feel free to send us any comments or feedback about the PPCL project.