Bigraphical Programming Languages (BPL)

From PLSwiki

Jump to: navigation, search

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

Funding

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


People


Collaborators


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

Selected relevant litterature

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