TSP及其操作语义模型研究

作者：叶俊民; 王振宇; 黄萍; 赵恒

来源：海军工程大学学报, 2005, (02): 12-18+27.

• FSP
• TSP
• 时间标号迁移系统
• 操作语义 FSP
• TSP
• timed labeled transition system
• operational semantic

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

• 单位
  武汉大学; 软件工程国家重点实验室; 哈尔滨工程大学; 华中师范大学