一种基于Bigraph的规则驱动动态模型研究

作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思想,将业务规则作为一个方面从业务逻辑中分离出来,并从更宏观的层面实现业务规则对业务逻辑的组织及驱动。业务规则不仅可以对单个业务逻辑构件内部的运行流程进行驱动,还可以对涉及多个业务逻辑构件的运行过程进行控制,并允许施加在业务逻辑构件上的规则构件可以同时为多个。同时,考虑到软件系统所处环境的日益复杂化,引入自适应机制,建立了三层的面向方面动态模型体系结构,设计出面向方面动态模型体系结构描述语言,基于Bigraph理论,建立了面向方面动态模型体系结构的语义模型,通过定义Bigraph反应系统来描述模型的动态变化,最后对模型动态变化后的完整性进行了验证。