%0 Journal Article
%T Hybrid Systems in XYZ/E<br>基于XYZ/E的混成系统
%A YAN An
%A TANG Zhi-song
%A <br>阎安
%A 唐稚松
%J 软件学报
%D 2000
%I 
%X 混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与静态语义统一在同一框架中,支持从抽象的程序规范到可执行代码的逐步求精的全过程.该文使用XYZ/E语言描述和验证混成系统.首先介绍了计算模型,然后介绍了XYZ语言对混成系统的形式化描述,最后介绍了混成系统的验证.与同类工作相比,XYZ/E支持状态转换，从而可以方便地描述复杂的控制算法.
%K Hybrid system
%K phase transition system
%K temporal logic language
%K XYZ/E
%K program specification
%K verification<br>混成系统
%K 相位转换系统
%K 时序逻辑语言
%K XYZ/E
%K 程序规范
%K 验证.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=47A791CD20C14702&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=CA4FD0336C81A37A&sid=CA4FD0336C81A37A&eid=DF92D298D3FF1E6E&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=6