一种框架时序逻辑程序设计语言

导出

摘要本文提出了区间时序逻辑的一个变种——投影时序逻辑，给出了它的语法规则和语义定义，并建立了该逻辑系统的模型理论。在该逻辑系统中，我们引入了一个新的投影操作符(prj)。这使得我们不仅能够在不同的时间层次上控制进程的并行操作，而且可以以该操作符为基础定义顺序操作符(chop)和并行操作符(‖)。因此，该逻辑系统比区间时序逻辑具有更强的表达能力。同时，本文也给出了与投影操作相关的一些性质。

作者 Zhen-HuaDuan MaciejKoutny

机构地区 UniversityofNewcastleuponTyne XidianUniversity

出处《Journal of Computer Science & Technology》 SCIE EI CSCD 2004年第C00期20-20,共1页 计算机科学技术学报（英文版）

关键词时序逻辑操作符并行操作程序设计语言投影逻辑系统进程区间模型理论性质

分类号 TP312 [自动化与计算机技术—计算机软件与理论] TP393 [自动化与计算机技术—计算机科学与技术]

引文网络
相关文献

1朱维军,王迤冉,周清雷.一种基于投影时序逻辑模型检测的入侵检测方法[J].网络安全技术与应用,2010(3):25-27. 被引量：1
2桌面虚拟化硝烟再起[J].软件世界,2008(9):46-49.
3范平.UNIX系统的进程控制与其代码分析[J].咸宁学院学报,2003,23(6):58-60.
4csky.系统里有多少你不知道的访问？[J].计算机应用文摘,2005(23):85-85.
5YANG MengFei,WANG Zheng,PU GeGuang,Qin ShengChao,GU Bin,HE JiFeng.The stochastic semantics and verification for periodic control systems[J].Science China(Information Sciences),2012,55(12):2675-2693.
6张鹏飞,段振华,田聪.状态图到PTL形式规范的转化[J].计算机工程与科学,2006,28(z2):122-125.
7肖景,郑秋华.一种基于Petri网的模型调度方法[J].科技通报,2011,27(2):186-189. 被引量：8
8王小兵,段振华.框架时序逻辑语言MSVL中面向对象机制的实现[J].西安电子科技大学学报,2010,37(3):559-564. 被引量：1
9舒新峰,段振华.投影时序逻辑的公理系统与形式验证[J].西安电子科技大学学报,2009,36(4):680-685. 被引量：4
10张海宾,段振华.区间时序逻辑的模型检查[J].西安电子科技大学学报,2009,36(2):338-342. 被引量：2

Journal of Computer Science & Technology

2004年第C00期

浏览历史

内容加载中请稍等...

一种框架时序逻辑程序设计语言

相关作者

相关机构

相关主题

浏览历史