BPL Student Projects
From PLSwiki
This page lists some possible topics for student projects and master theses in the BPL Group.
Contents |
Bigraphical Models for Mobile and Distributed Systems
Suggested size: Master's Thesis project; workload: 80% theoretical/20% practical.
Develop a model language for mobile systems using the bigraph formalism
You are expected to develop your own model-language for mobile systems within the Bigraph-formalism. The target domain for the language could be context-dependent systems or distributed J2ME applications. You are given an example XML language for bigraphs that can be used as a starting point.
People: Thomas Hildebrandt (contact); LB TH MB (possible supervisor).
Prerequisites: Knowledge of models for mobile systems (as taught in the Model-based design course).
Keywords: Bigraphs; Models for Mobility; Process calculi; XML; Graphical Design Models;
Implementing Sorting for Bigraphs
Suggested size: Master's Thesis project; workload: 30% theoretical/70% practical.
Design an implementation of sorting of bigraphs by extending the BPL Tool.
Sortings can be thought of as a type system for bigraphs, restricting which bigraphs can be valid in compositions, matching etc. You are expected to develop syntax and semantics of a language for describing and manipulating sortings for bigraphs. Literature: see the BPL Literature List.
People: Arne John Glenstrup (contact); EH TH SD (possible supervisor)
Prerequisites: A desire to program in SML and to learn bigraphs and sorting.
Keywords: Bigraphs, Sorting, Implementation
XML Based Bigraph Visualization
Suggested size: 4-week project; workload: 20% theoretical/80% practical.
Generate interactive graphics from an XML representation of bigraphs
Design a tool (e.g. in Java) that given an XML-representation of a bigraph produces a visual representation of it, like the graphs in the introduction. Ideally, the tool should allow the user to expand or compress parts of the bigraph structure by clicking on it.
People: Arne J. Glenstrup (contact); TH AJG MB (possible supervisor).
Prerequisites: Some knowledge of XML and of graphics generation tools
Keywords: Bigraphs; XML; Java; DOM; Graphics;
Bigraph GUI
Suggested size: Master's Thesis; workload: 20% theoretical/80% practical.
Develop a graphical user interface for manipulating with bigraphs.
Design a tool (e.g. in Java) that enables the user to construct bigraphs using GUI tools. Ideally, the tool should allow the user to expand or compress parts of the bigraph structure by clicking on it.
People: Arne J. Glenstrup (contact); TH AJG MB (possible supervisor).
Prerequisites: Some knowledge of XML and of GUI generation tools
Keywords: Bigraphs; XML; Java; DOM; Graphics;
XML representations for bigraphical reactive systems
Suggested size: 4-week project; workload: 50% theoretical/50% practical.
Devise and compare several XML representations of bigraphs and bigraphical reactive systems
The nested node structure of bigraphs can be encoded naturally in XML and links can be encoded using id references. You should come up with alternative encodings and compare them with the natural encoding, considering their use in bigraphical reactive systems. Specifically, is it possible to model the behaviour of some class of reactive systems using XSLT?
People: Thomas Hildebrandt (contact); TH AJG MB (possible supervisor).
Prerequisites: Some knowledge of XML and XSLT
Keywords: Bigraphs; XML; XSLT; DOM;
