|
|||||
|
|
| TSP及其操作语义模型研究 | |
| 引用本文： | 叶俊民,王振宇,黄萍,赵恒. TSP及其操作语义模型研究[J]. 海军工程大学学报, 2005, 17(2): 12-18 |
| 作者姓名： | 叶俊民 王振宇 黄萍 赵恒 |
| 作者单位： | 1. 哈尔滨工程大学,计算机学院,黑龙江,哈尔滨,150001;华中师范大学,计算机系,湖北,武汉,430079;武汉大学,计算机软件工程国家重点实验室,湖北,武汉,430072 2. 哈尔滨工程大学,计算机学院,黑龙江,哈尔滨,150001;武汉大学,计算机软件工程国家重点实验室,湖北,武汉,430072 3. 武汉大学,计算机软件工程国家重点实验室,湖北,武汉,430072 |
| 基金项目： | 国防科技预研基金资助项目，国家重点实验室开放基金资助项目(SKL(4)020) |
| 摘 要： | 在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则. |
| 关 键 词： | FSP TSP 时间标号迁移系统 操作语义 |
| 文章编号： | 1009-3486(2005)02-0012-07 |
| 修稿时间： | 2004-10-28 |
Research of timed state process and its semantic model |
|
| YE Jun-min,WANG Zhen-yu,HUANG Ping,ZHAO Heng. Research of timed state process and its semantic model[J]. Journal of Naval University of Engineering, 2005, 17(2): 12-18 | |
| Authors: | YE Jun-min WANG Zhen-yu HUANG Ping ZHAO Heng |
| Affiliation: | YE Jun-min~ |
| Abstract: | On the basis offinite state process(FSP) and timed automate (TA), a behavior model of a distributed real-time system called timed state process (TSP) is presented. There are several elements in TSP, which include 4 constant processes (IDLE, SKIP, STOP and ERROR), prefix process, timeout process, clock reset process, guarded condition process, undetermined choice process, data(/message/ACK) sendingprocess, data receivingprocess, composite process and sequence process. The semantic model of TSP and the mapping rules from TSP to timed labeled transition system(TLTS) are defined. |
| Keywords: | FSP TSP timed labeled transition system operational semantic |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |