时序逻辑语言

作品数：19被引量：115H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：唐稚松张广泉郭亮王小兵骆华俊更多>>
相关机构：中国科学院软件研究所西安电子科技大学苏州大学中国科学院更多>>
相关期刊：《西安电子科技大学学报》《电子科技大学学报》《计算机应用研究》《淮阴师范学院学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向软件系统XYZ的程序语言的逻辑动态发展之探究
《贵州工程应用技术学院学报》2020年第3期1-7,共7页姚从军 陈宝爱 
国家社科基金重大项目“面向计算机人工智能的组合范畴语法研究”,项目编号:17ZDA027。
软件工程工具系统XYZ是将时序逻辑和软件工程有机结合而成的整体,XYZ/E是建立在时序逻辑基础上的程序语言,它是XYZ系统的核心。虽然时序逻辑的语义是静态的,但是XYZ/E所关注的是计算机程序中状态转换的控制机制,在XYZ/E和C语言的赋值语...
关键词：软件系统XYZ 时序逻辑语言XYZ/E 时序逻辑 组合范畴语法 动态逻辑 
时序逻辑程序语言XYZ/E的创新性被引量：3
《重庆理工大学学报（社会科学）》2018年第9期9-15,共7页邹崇理 
国家社会科学基金重大项目"面向计算机人工智能的组合范畴语法研究"(17ZDA027)
唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。从创新的视角评价:XYZ/E是逻辑思想方法和计算机科学特征的融合产物;采用形式语义的方式描述程序的状态转...
关键词：唐稚松院士 时序逻辑语言XYZ/E 时态逻辑 动态逻辑 
框架时序逻辑语言MSVL中面向对象机制的实现被引量：1
《西安电子科技大学学报》2010年第3期559-564,575,共7页王小兵 段振华 
国家重点基础研究发展计划973资助项目(2010CB328102);国家自然科学基金重大国际合作资助项目(60910004);国家自然科学基金资助项目(60873018);武汉大学软件工程国家重点实验室开放基金资助项目(SKLSE20080713);陕西省科技攻关计划资助项目(2009K01-36);中央高校基本科研业务费专项资金资助项目(JY10000903004;JY10000903014)
针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计.基于正则形和正则图,给出了MSVL解...
关键词：框架 时序逻辑 时序逻辑语言 面向对象程序设计 解释器 
一种基于时序逻辑语言的实时售票系统描述与精化方法
《苏州大学学报（工科版）》2009年第4期16-21,共6页金旗铭 张广泉 
江苏省高校自然科学基金资助项目(编号08KJB520010)
时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。分析了邮政汽车票售票系统的实时性,给出了该系统的组件模型,用XYZ/E描述了整个软件系统的体系结构,逐步精化了核心...
关键词：分布式实时系统 时序逻辑语言 XYZ/E 实时售票系统 描述 精化 
面向对象的时序逻辑语言被引量：6
《电子科技大学学报》2009年第1期97-101,107,共6页王小兵 段振华 
国家自然科学基金重点项目(60433010);国家自然科学基金面上项目(60873018)
针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定...
关键词：形式语言 时序逻辑 面向对象程序设计 组合WEB服务 
一种验证Web服务流程的新方法被引量：1
《计算机应用研究》2008年第12期3785-3789,共5页王晨 王红兵 许迅 
国家自然科学基金资助项目(60673175)
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可...
关键词：时序逻辑语言 Web服务本体描述语言 WEB服务业务流程执行语言 WEB服务组合验证 工作流模型分析 
实时时序逻辑语言XYZ/RE到时间自动机的映射被引量：3
《微计算机应用》2008年第6期69-75,共7页刘珊艳 戎玫 张广泉 
重庆市自然科学基金项目(CSTC;2006BB2259);重庆市教委科学技术研究项目(批准号:040803);江苏省高校自然科学基金(批准号:05KJB520119)
时间自动机是一种重要的实时系统建模工具。本文建立了实时时序逻辑语言XYZ/RE到时间自动机的一种映射机制,将XYZ/RE所描述的系统进程直接转换为时间自动机,这样不但可以准确捕获实时系统功能和控制行为,还可以利用基于时间自动机的验...
关键词：XYZ/RE 实时系统 时间自动机 UPPAAL 
一种基于构件的软件体系结构求精方法及其应用被引量：4
《重庆师范学院学报（自然科学版）》2003年第2期1-5,共5页晏荣杰 张广泉 
国家自然科学基金(60073020);国家高科技研究发展计划(863)课题(2001AA113200);中国科学院开放基金(SYSKF0303);重庆市应用基础研究项目(7479);重庆市运筹学与控制论重点实验室资助项目。
软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,...
关键词：软件工程 软件体系结构 形式化描述 求精方法 时序逻辑语言 构件 
基于时序逻辑的软件体系结构描述语言XYZ/ADL被引量：40
《软件学报》2003年第4期713-720,共8页朱雪阳 唐稚松 
国家自然科学基金;国家高技术研究发展计划(863);国家重点基础研究发展规划(973)~~
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于...
关键词：时序逻辑 软件体系结构 描述语言 XYZ/ADL 软件开发 体系结构描述语言 时序逻辑语言 
程序性质的描述及证明被引量：2
《计算机科学》2003年第3期146-148,共3页官荷卿 郭亮 
国家自然科学基金YCK15028
XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑...
关键词：程序性质 程序设计 XYZ语言 AE语言 时序逻辑语言 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部