Loading...
Please wait, while we are loading the content...
Similar Documents
Electronic Communications of the EASST Volume 61 ( 2013 ) Selected Revised Papers from the 4 th International Workshop on Graph Computation Models ( GCM 2012 ) Big Red : A Development Environment for Bigraphs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Faithfull, Alexander John Perrone, Gian Hildebrandt, Thomas T. |
| Copyright Year | 2013 |
| Abstract | We present Big Red, a visual editor for bigraphs and bigraphical reactive systems, based upon Eclipse. The editor integrates with several existing bigraph tools to permit simulation and reachability analysis of bigraphical models. We give a brief introduction to the bigraphs formalism, and show how these concepts manifest within the tool using a small motivating example developed in Big Red. We go on to outline its architecture and implementation, and comment on possible future work. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://journal.ub.tu-berlin.de/eceasst/article/download/835/829 |
| Alternate Webpage(s) | https://journal.ub.tu-berlin.de/eceasst/article/download/835/829/ |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
