Membrane computing programmability

Membrane computing is a new emerging branch of natural computing dealing with models of computation inspired by nature, similar to brane calculus, DNA computing, L systems, cellular automata etc. The research in this area has been focusing on computational and complexity aspects and has been used in various applications. As a parallel and distributed model of computation it requires some more rigorous concepts and a structured framework to unify various features available for the many variants available. This project is looking into suitable developments for membrane computing that make it attractive and effective for modellers and system designers. This approach requires investigating adequate specification languages based on membrane computing, suitable logics to express the behaviour of the system and tools to integrate these features.