Bigraph反应系统相关论文
基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化......
在Bigraph反应系统中,赋类以及归纳类型的研究是Bigraph理论本身以及其应用于实践中的关键环节.文章详细介绍了Bigraph反应系统中......
针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型。在利用标签范畴Scat（K）给出嵌套赋类位置图定......
现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限，并不能很好地验证系统演化过程中的一致性、完整性等动态特征......
作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思......
传统面向对象(OOP)框架对软件的变化性和复杂性支持有限。为此,基于C++语言,提出一种支持动态演化的面向方面编程框架——AODF。给......
