Timed High-Order p Calculus and Multi-resolution Time Constraints

With the expansion of real-time software system scale, component-based real-time software is becoming mainstream. Timed pi calculus and high-order pi calculus as the software calculus system both can not describe dynamic nature of component-based real-time software. They also give the THO-pi calculus which is time-character. According to making constraint to high-order process´s activities, They give the evolution rules of THO-pi calculus, they give an new weak-time mutual simulation which is among the high-order process and they also give the concept about multi-resolution time constraint for the system-level calculus application. This article´s research paves the way for the dynamic architecture of component-based real-time software and the establishment of component-based real-time software´s description language.