[00044135]时间多栈下推网络的动态转换方法
技术详细介绍
本发明公开一种时间多栈下推网络的动态转换方法，首先，在MPDN的基础上引入时钟，提出TMPDN模型，并给出其语法及操作语义；其次，利用时钟域等价的优化技术，通过动态转换方法，将连续时间的TMPDN模型转换成离散的多栈下推网络模型。本发明能够实现同时实现实时并发系统的实时性和并发性的描述，并能为实时并发程序的形式化验证提供保证。
本发明公开一种时间多栈下推网络的动态转换方法，首先，在MPDN的基础上引入时钟，提出TMPDN模型，并给出其语法及操作语义；其次，利用时钟域等价的优化技术，通过动态转换方法，将连续时间的TMPDN模型转换成离散的多栈下推网络模型。本发明能够实现同时实现实时并发系统的实时性和并发性的描述，并能为实时并发程序的形式化验证提供保证。
