Welcome to the Bigraph Toolkit Suite (BTS). BTS tries to be a comprehensive toolkit, primarily comprising a set of extensible model-driven integration frameworks, not only for the manipulation and interchange of bigraphical metamodels but also for the simulation of bigraphical reactive systems ‐ all in a platform-agnostic manner.Explore Toolkit Components
The bigraph theory, devised by Robin Milner and colleagues, provides a novel foundation for the formal modelling and reasoning of reactive systems, including facets such as ubiquitous systems, distributed systems, interacting systems and context-aware systems.
In line with this, the Bigraph Toolkit Suite provides a set of guidelines, tools, and programming frameworks in order to use bigraphs as the formal underpinning for the development of reactive systems and its various facets such as for context-adaptive software. BTS aims to facilitate experimentation for academic purposes. It is designed to straightforwardly allow the adoption of bigraphical mechanisms and philosophies.
Its underlying formalism allows to resemble rule-oriented and monitor-oriented programming approaches to a great extent, all combined with the power of formal verification techniques such as model checking.
BTS, i.e., any of its constituents listed below, is licensed according to the terms of the Apache License, Version 2.0.
A variety of problems can only be solved with a variety of methods.
Dynamic creation of EMOF-compliant bigraphs at design and runtime (Ecore metamodel). Execution of bigraphical reactive systems for model checking tasks or simulation. Bigraphs can be exported to different formats. Simple bigraph visualization as PNG.More Details
A metamodel implemented using the Ecore metamodel standard. A common interface for the well-formed structural definition of bigraphs which further enables the interoperability with other tools and frameworks.More Details
Contains the major building blocks of BDSL, a Bigraphical DSL, e.g., the grammar, the parser, and the Language Server Protocol for IDE implementation support, among others.More Details
Contains the main functionality for the operation of an BDSL interpreter. The BDSL Interpreter Framework supports the evaluation of arbitrary bigraph expressions and executes bigraphical reactive systems.More Details
A command-line interface application for using the interpreter via the terminal. It uses the BDSL Interpreter Framework for executing BDSL expressions.More Details
An IDE for writing BDSL scripts. It is based on Eclipse Theia und uses the Language Server Protocol implementation of BDSL Core Elements.More Details
Both the kind and granularity of a problem suggest/determines the tool(s) to best work with in order to solve the problem.
The resources listed below point to some interesting research work in the bigraph-related scientific literature.
Note that this is not an exhaustive nor curated list.
This research project is funded by the German Research Foundation (DFG, Deutsche Forschungsgemeinschaft) as part of Germany's Excellence Strategy - EXC 2050/1 - Project ID 390696704 - Cluster of Excellence "Centre for Tactile Internet with Human-in-the-Loop" (CeTI) of Technische Universität Dresden.