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 ba-sis 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.