节点文献

TSP及其操作语义模型研究

Research of timed state process and its semantic model

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 叶俊民； 王振宇； 黄萍； 赵恒；

【Author】 YE Jun-min~(1,2,3), WANG Zhen-yu~(1,3), HUANG Ping~3, ZHAO Heng~(1,3)(1.Computer Science and Tech. College, Harbin Engineering University, Harbin 150001, China;2.Department of Computer Science, Central China Normal University, Wuhan 430079, China;3.State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China)

【机构】 哈尔滨工程大学计算机学院； 武汉大学计算机软件工程国家重点实验室； 哈尔滨工程大学计算机学院 黑龙江哈尔滨150001华中师范大学计算机系； 湖北武汉430079.武汉大学计算机软件工程国家重点实验室； 湖北武汉430072； 黑龙江哈尔滨150001武汉大学计算机软件工程国家重点实验室； 湖北武汉430072；

【摘要】 在有限状态进程(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)的转换规则.

【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.

【关键词】 FSP； TSP； 时间标号迁移系统； 操作语义；
【Key words】 FSP； TSP； timed labeled transition system； operational semantic；
【基金】 国防科技预研基金资助项目;国家重点实验室开放基金资助项目(SKL(4)020)
  • 【文献出处】 海军工程大学学报 ,Journal of Naval University of Engineering , 编辑部邮箱 ,2005年02期
  • 【分类号】TP316
  • 【下载频次】73
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)