时序逻辑语言相关论文
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一......
<正> XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的......
研究使用XYZ／E描述和验证容错系统。基于XYZ／E中可执行程序P对应的状态转换系统对其错误环境F建模，通过错误转换给出错误影响程序PF；基......
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出......
ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现，它被用于解决某些高技术工程领域的问题......
混成系统是由计算机和物理设备组成的嵌入式实时计算系统。它允许在交互式实时系统中引入连续变化的单元。ＸＹＺ／Ｅ是基于Ｍａｎｎａ－；Ｐｎｕｅｌｉ的线性时序逻辑的......
指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形......
针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足，提出了框架时序逻辑语言MSVL，包含新的框架操作符、等......
时序逻辑语言XYZ／E在统一的形式框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。分析了邮政汽......
XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结......
