文章基本信息

标题：Big Red: A Development Environment for Bigraphs
本地全文：下载
作者：Alexander John Faithfull ; Gian Perrone ; Thomas T. Hildebrandt 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2013
卷号：61
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：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.