首页 | 本学科首页   官方微博 | 高级检索  
     

状态图到PTL形式规范的转化
引用本文:张鹏飞,段振华,田聪.状态图到PTL形式规范的转化[J].计算机工程与科学,2006,28(Z2):122-125.
作者姓名:张鹏飞  段振华  田聪
作者单位:西安电子科技大学计算机学院,陕西,西安,710071
基金项目:国家自然科学基金;高等学校博士学科点专项科研项目
摘    要:本文讨论从状态图到PTL形式规范的转化方法.状态图是描述系统行为的半形式化的图形工具,但缺少精确的形式语义,PTL(投影时序逻辑)是一种具有离散的时间模型的时序逻辑,把状态图转换到PTL后可以使其具有精确的形式语义并能使用形式化验证方法来证明状态图所描述的系统的一些重要性质是否得到满足,同时可把系统的形式描述转换为Tempura程序进行模拟,从而提高系统设计的可信性.

关 键 词:投影时序逻辑  状态图  形式化方法
文章编号:1007-130X(2006)A2-0122-04
修稿时间:2006年7月19日

Transforming Statecharts into PTL Formal Specification
ZHANG Peng-fei,DUAN Zhen-hua,TIAN Cong.Transforming Statecharts into PTL Formal Specification[J].Computer Engineering & Science,2006,28(Z2):122-125.
Authors:ZHANG Peng-fei  DUAN Zhen-hua  TIAN Cong
Abstract:
Keywords:
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号