Research On Formal Modeling Of Components And Component Composition

Formal software development methods contribute to the user requirements, system architecture and system behavior validation and verification. And the developed software system is easy to maintain. In the formalization process, building model of component and interaction between components are the core. As the object-oriented paradigm synchronous request response message mechanism embed interaction protocol message into the functional description code of component. It makes the system with complex structure and lacking of flexibility. This article separates the interactive behavior from the component, formally described the behavior of component individually. Firstly, using category theory formalize model interactive behavior of component and derived component behavior model after given the structure of the model components. Components are assembled by using category operation to form a large particle size component. The software architecture model is defined as a five tuples type category that contains component model, specification and the other parts. It provides an unified environment for building software architecture. Finally, instances are analyzed.Firstly, according to the functional characteristics of component, we formally modeled the components.we defined it as a four tuples that contains identifier, the interface, functions and constraints. With category theory, behavior and interfaces for interaction between components are formally described and draw the model of the components’behavior. Separating the interactions from the main body component, increases the flexibility and reusability of the system.Secondly, according to the program design ideas, we assemble components combined with component interaction behavior. Using sum operation of category assembled components parallel,using push operation of category assembled components optional, thus form a large particle components.In the architecture level, we will be one mapping between the structure and the type of category concept system concept. Then we describe software architecture model by extending the type category.Finally, combining with examples illustrate the applicability of component system modeling. The formal model based on component will be applied to developing a project management information system. System function module is abstracted as component, and components’ interactions formally described, the category of application of the foregoing components are assembled to form a computing system component model. The result shows the feasibility, applicability and it has some practical value.