Study Of Real-time Distributed Software Modeling Techniques

Real-time distributed software has large and increasing demands in current software applications field. However, because of the inherent complexities in the software and high-performance requirements, therefore it leads to real-time distributed software development have more difficulties. With the development of component technology, real-time distributed software can use the component technology to improve the efficiency of Realtime distributed system. The technology of formalization software modeling can establish software model before the beginning of software design and then verify the correctness of the software by precisely mathematical analysis. The results of software can be forecast after the software is designed and developed. Thus the reliability and robustness of software is heighten, the competitive predominance in software market is enhanced and the possibility of software failure is reduced.In this paper, we firstly designed a formalized description method of component system which has real-time and distributed characteristics as prerequisite of modeling method. Secondly, we deeply and thoroughly studied the π-calculus and expanded it at the time to verify the real-time of software used the established model. Then it is stipulated on the component system, so that the establishment of model can be applied to component system and ultimately modeling technology is come into being which can fit real-time distributed software based on component technology. The major works the author has done are as follows: The concepts of component and real-time and distributed software are studied, the concept of real-time distributed software based component is defined and the formalized description and its definition is presented. The advantages and disadvantages of current more mature and more popular in the formalized modeling software technology are compared. The most appropriate technologies we choice is on the basis of π-calculus as modeling. Then we expanded it at the time and its verified methods arc described. The technology of π-calculus which is added time expansion is stipulated so that it can be applied to the modeling of real-time distributed software based component. And then an example is given to illustrate the modeling process of this method.In conclusion, through the expansion of π-calculus and the stipulation, a modeling method fitted real-time distributed software based component technology is created and its reliability, robustness and predictability can be guaranteed.