共查询到17条相似文献,搜索用时 187 毫秒
1.
XYZ/E是一个时序逻辑系统,同时也是一种时序逻辑程序设计语言。XYZ/E能够在统一的框架下表示高层和低层的描述,所以便于软件系统的描述与实现。该文对基于XYZ/E的蒸气锅炉问题进行了描述与实现,并介绍了为该问题实现的图形用户界面. 相似文献
2.
3.
时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文建立了CA认证系统组件模型,采用基于组件的逐步求精方法,用XYZ/E描述了CA认证系统的体系结构。 相似文献
4.
XYZ/E是一个时序逻辑系统,同时也是一种时序逻辑程序设计语言.XYZ/E能够在统一的框架下表示高层和低层的描述,所以便于软件系统的描述与实现.该文对基于XYZ/E的蒸气锅炉问题进行了描述与实现,并介绍了为该问题实现的图形用户界面. 相似文献
5.
Statecharts的组合语义与求精 总被引:4,自引:0,他引:4
由于简洁、直观的表达能力,Statecharts被用于许多反应系统的行为建模.Statecharts可表示不同抽象层次的系统行为,因而可用来表示逐步求精建模中各步的结果.但对于求精过程中下层是否保持了上层的语义、所建模型是否满足某些性质的问题,却难以在其自身的框架下进行讨论.在这方面,形式化语言XYZ/E可与其互补.XYZ/E是一种可执行线性时序逻辑语言,既可表示系统的性质,又可表示系统的行为.递归地在基本迁移系统上解释Statecharts语义,用XYZ/E公式表示它的时序语义.这一语义是模块级可组合的.求精过程的语义保持,可直接从语义定义得到保证.Statecharts所描述的系统行为模型和性质在同一个逻辑中表示,因此,系统行为是否满足所需性质的问题可由逻辑蕴涵式表示. 相似文献
6.
XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑框架下验证。对于顺序程序,XYZ系统提供了一套基于Hoare逻辑规则的验证工具XYZ/VERI。此工具通过读取程序及其前后断 相似文献
8.
基于XYZ/E的混成系统 总被引:3,自引:0,他引:3
混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与静态语义统一在同一框架中,支持从抽象的程序规范到可执行代码的逐步求精的全过程.该文使用XYZ/E语言描述和验证混成系统.首先介绍了计算模型,然后介绍了XYZ语言对混成系统的形式化描述,最后介绍了混成系统的验证.与同类工作相比,XYZ/E支持状态转换,从而可以方便地描述复杂的控制算法. 相似文献
9.
10.
多媒体编著语言的设计与实现 总被引:3,自引:0,他引:3
根据基于时序逻辑和XYZ系统思想的多媒体数据描述模型,设计并实现了一种新的多媒体编著语言MAL(multimedia authoring language),该语言具有抽象描述、同步描述、逐步求精设计的描述等能力,将多媒体节目中媒体对象的建模和多媒体节目的设计过程在一个统一的框架内进行描述.以该语言实现为核心,研制了一个交互式可视多媒体编著环境. 相似文献
11.
基于线性时序逻辑的实时系统建模与求精 总被引:1,自引:0,他引:1
张广泉 《小型微型计算机系统》2006,27(8):1580-1584
线性时序逻辑语言XYZ/E在统一的语义框架下.能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述,也适于描述实时系统的模型和逐步求精过程.本文提出了一种基于构件的实时系统求精方法,并给出一个具体实例一电梯控制系统,采用XYZ/E语言描述了该系统的模型及其求精过程. 相似文献
12.
13.
14.
15.
基于时态逻辑的软件体系结构描述语言及其可视化环境 总被引:4,自引:0,他引:4
在时态逻辑语言XYZ/E的基础上,建立了一种以可视化图形表示的软件体系结构描述语言XYZ/ADL.它可同时描述软件体系结构的静态与动态行为,能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。 相似文献
16.
XYZ系统在动画设计中的应用 总被引:5,自引:0,他引:5
XYZ系统是一套以线形时序逻辑为基础的CASE环境系统,其核心是时序逻辑语言XYZ/E.XYZ/ADL(animationdescriptionlanguage)是XYZ系统在动画领域的应用.马华东博士采用基于时序逻辑的动画描述模型TLAD(temporal-logic-basedanimationdescriptionmodel),提出了动画剧本描述语言(SDL/A).本文介绍的XYZ/ADL语言是以XYZ/E的框架为基础扩充SDL/A而成.它使用XYZ/E中面向对象程序设计的基本结构——代理机构(Agent)作为基本描述单元.代理机构由通讯进程和相应的包块构成,包块处理对象封装,进程处理通讯.从而能更方便地刻画动画过程中的复杂、多层次的角色(包括父子角色)的运动特征及多角色之间的同步协调关系,并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述,更具一般性. 相似文献
17.
XYZ/E的好处之一在于高级和低级的说明能够在同一框架下表示,因而使得软件的说明和实现变得容易一些.在这同时,开发验证工具以验证不同层次的说明是否满足所期望的关系是很重要的.谢洪亮等同志曾研究过XYZ/SE程序的验证规则.本篇文章增加了有关使用数组、过程说明和过程调用的规则.同时着重说明XYZ/SE程序验证的自动化方面的问题,且实现了一些化简验证条件的规则. 相似文献