Z-language Real-time Extension And Application

Real-time software system has been acting as a more and more important role in our industry and sociallife .With requirements growing rapidly, the developing methodology for real-time systems gradually becomes the focus of researchers. Formal methods has gained huge popularity in real-time system domains . Z is a wide used formal specifiation and calculated to describe the real-time system ,However,it is not designed to model aspects of the dynamic behaviour.It is significant to extend Z to suit requirement for real-time applications.now , we summarize classifications of the real-time extension of Z . a species of methods has based on integration of the formal specification Z and other formal specification can provide adequate constructs to model for dynamic behaviour, the other side of shield ,the another method has only based on semanteme of Z and translate the specifications of other farmal method into Z specification to describe timing constraints and concurrents . then we can extract a general method about to extent Z in real-time domain .It is famous typification of integration method that we present an integration of the formal specification languages Z and timed CSP, called RT-Z, incorporating their combined strengths in a coherent frame. To cope with complex systems, RT-Z is equipped with structuring constructs built on top of the integration, because both Z and timed CSP lack appropriate facilities. The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour. RT-Z is intended to be used in the requirements denotation and design phases of the system and software development process. The envisaged application area is the development of real-time systems.On the other hand ,it is convenient to describe the temporal relations Using process descrption.in this paper ,is discussed for translating description of process description language to Z specifiation,and temporal status transition system is used as intermediary.generally ,real-time system development depend on its timing constraints and complicated factors of outside , consequently Not only the integration method of theformal specification languages Z and timed CSP but also translating description of process description language to Z specifiation can not solve all this problem.it is important to choose the suitable mothods in real-time software developments, further on,we extract a design pattern from the instance of real-time simulative system development. this pattern is based on multi-viewpoint software engineering .the specifications of non-integration formalism derive from control view-point and the specifications of integrantion derive from function view-point are combined into an uniform semanteme ,therefor the storng conherence between the formalisms and the notational conciseness of being able to directly merge the syntaxes of the formalisms. They hence avoid some disadvantages of both other classes.