协同系统体系结构模型的形式化语义

Formal Semantics of Architecture Model of Collaborative Systems

针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图表来描述软件体系结构模型,用函子描述体系结构模型之间的映射关系.体系结构模型的形式化描述可用于判断一个转换是否满足某些特性或约束.以一个协同编著系统为例说明了该方法的应用.

Focusing on model-driven development for collaborative systems, a new description approach for the formal semantics of architecture models is proposed by combining category theory with algebraic specification and process algebra. On the basis of component specification, morphisms are used to describe the relationships between components, and the morphism types imply the different semantics of component relations. Thus architecture models are described within typed category diagrams,and functors are used to describe the mapping relations between different levels of models. The formal approach can be used to judge whether a transformation satisfies some property preservation constraints or not. A collaborative editing system is given as a case to illustrate the application of this approach.