Describing Approach for Model-Driven Collaborative Application Development

In order to resolve the problems of model-driven collaborative application development, a new formal description framework was proposed for the description of software architecture model, in which category theory, algebraic specifications and process algebra were combined together. Software components and the relationship between them were described respectively by category objects and morphisms. The different types of morphisms depicted the semantics contained by component relationships. Thus typed category diagram fully represented software architecture model, as well as functors of category theory described the mapping relationships between architecture models. The formal framework was available to determine whether a transformation to meet certain characteristics or constraints, and a collaborative authoring system was used as an example to illustrate the application of this method. The application research shows that, the approach enhances semantic description capabilities of architecture model, and can be used as an effective supplement for existing software modeling method.