TSP及其操作语义模型研究

• 作 者: 叶俊民 王振宇 黄萍 赵恒
• 机 构: 哈尔滨工程大学,哈尔滨工程大学,武汉大学
• 出 处: 海军工程大学学报
• 发表日期: 2005年2期
• 关键词: FSP TSP 时间标号迁移系统 操作语义 FSP TSP timed labeled transition system operational semant
• 基金项目: 国防科技预研基金，国家重点实验室基金

在有限状态进程(Finite State Process,FSP)和时间自动机(Timed Automata,TA)的基础上,提出了一种描述分布式实时系统(Distributed Real-Time System,DRTS)行为的模型:时间状态进程(Timed StateProcess,TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收