现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限，并不能很好地验证系统演化过程中的一致性、完整性等动态特征。Bigraph理论融合了∏演算和移动Ambient演算的优势，重点强调计算的位置和连接两方面因素，具有较为完整、可扩展的理论框架．这使得Bigraph不仅在概念上能够满足现有自适应软件对结构和行为的需求，而且还提供了直观、普适的表达能力

活体噬菌体循环项目 该项目使用Bigraph运算来模拟溶菌和溶菌周期的玩具模型。 这需要噬菌体附着，基因插入，基因整合，基因表达，基因复制，细胞分裂，噬菌体组装和裂解。 安装 说明用户如何启动和运行。