Technology close-loop modeling based on the combination of the UML and B method

In order to make software developers understand the object responsibility and operation process of technology close-loop, we study the modeling methods about quality problem technology close-loop. Based on the analysis of key activities, extracting the close-loop class and operation activity, we study the extracted rules of class and activity. To effectively describe the detail of close-loop activity, the extracted close-loop class and operation activities are formalized by B method. The translated rules are studied from close-loop class and operation activity to B abstract machine. An example is given to demonstrate the proposed methods, which provides an effective model with clear object and explicit process about technology close-loop.