结构化Gamma在软件系统结构中的应用研究

本项目对结构化Gamma和图重写方法在软件系统结构中的应用方面进行了详细的研究，并和法国INRIA实验室、联合国大学国际软件技术研究所进行了合作研究。我们提供结构化Gamma和CSP的结合框架，用以表示软件系统结构组件的协调、计算行为。我们用结构化Gamma描述软件系统结构变换，与其它表达方式相比，该方法能够表示包括纵向变换在内的更复杂的变换。我们给出系统结构变换保持约束条件的充要条件，使运行时需要进行的约束检查的工作量减到最少。我们定义整件驱动风格式系统中的关键要素——进程创建的语义，使得语义的描述比以前的定义要简单得多。本项目提出的软件体统结构描述方法已用在软件开发项目中。