Bigraphical Programming Languages (BPL)

From PLSwiki

In the Bigraphical Programming Languages group, we research the design of programming languages based on the theory of bigraphs. It is our hope that by taking bigraphs as a foundation, we can obtain programming languages that are (1) practically well-suited for applications in "ubiquituous computing" and (2) amenable to formal reasoning. Bigraphs, due to Milner and coworkers, intend to provide a "deep and reliable theoretical understanding to guide the specification, design and programming of [mobile distributed] systems, to guide future adaptations of them, and not to deteriorate when these adaptations are implemented" (Høgh, Milner, 2004).

The theory of bigraphs focuses simultaneously on two aspects of mobile distributed systems: mobile connectivity and mobile locality. As such, the theory is more general than traditional calculi for mobile processes.

The project runs from January 2004 to January 2009.

The research on developing the theory and applications of bigraphs is being continued in the Computer Supported Mobile Adaptive Business Processes (CosmoBiz) project at ITU.

Contents 1 Funding 2 People 3 Collaborators 4 Related research at ITU 5 Links 6 Selected relevant litterature

Funding

The BPL project is funded by the Danish Research Agency and ITU.

People

• Lars Birkedal
• Thomas Hildebrandt
• Arne J. Glenstrup
• Mikkel Bundgaard
• Troels C. Damgaard
• Søren Debois
• Ebbe Elsborg
• Espen Højsgaard

Collaborators

• Robin Milner
• Vladimiro Sassone
• Jean Krivine
• Vincent Danos

Related research at ITU

The BPL project is one of the research projects of LaCoMoCo (Laboratory for Context-dependent Mobile Communication).

The research on developing the theory and applications of bigraphs is being continued in the Computer Supported Mobile Adaptive Business Processes (CosmoBiz) project, which focuses on the application of bigraphical reactive systems for ubiquitous business processes.

Links

• List of BPL Project publications
• BPL Student Projects
• BPL Meetings
• A Brief Introduction To Bigraphs
• Reactive XML
• BPL Tool and online BPLweb tool demo
• BPL API documentation
• BPL SVN repository instructions
• Bibliography on Bigraphs The complete bibliography of papers published on bigraphs and closely related areas.

Selected relevant litterature

• "Bigraphs and mobile processes (revised)" (Høgh, Milner, 2004)
• "Axioms for Bigraphical structure" (Milner, 2004)