Statecharts的组合语义与求精

朱雪阳; 唐稚松

首页> 中文期刊> 《软件学报》 >Statecharts的组合语义与求精

Statecharts的组合语义与求精

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

由于简洁、直观的表达能力,Statecharts被用于许多反应系统的行为建模.Statecharts可表示不同抽象层次的系统行为,因而可用来表示逐步求精建模中各步的结果.但对于求精过程中下层是否保持了上层的语义、所建模型是否满足某些性质的问题,却难以在其自身的框架下进行讨论.在这方面,形式化语言XYZ/E可与其互补.XYZ/E是一种可执行线性时序逻辑语言,既可表示系统的性质,又可表示系统的行为.递归地在基本迁移系统上解释Statecharts语义,用XYZ/E公式表示它的时序语义.这一语义是模块级可组合的.求精过程的语义保持,可直接从语义定义得到保证.Statecharts所描述的系统行为模型和性质在同一个逻辑中表示,因此,系统行为是否满足所需性质的问题可由逻辑蕴涵式表示.

著录项

来源
《软件学报》 |2006年第4期|670-681|共12页
作者
朱雪阳; 唐稚松;
展开▼
作者单位

中国科学院;

软件研究所;

计算机科学重点实验室;

北京;

100080;

中国科学院;

软件研究所;

计算机科学重点实验室;

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Statecharts; 时序逻辑; XYZ/E; 形式语义; 组合; 求精;

相似文献

中文文献
外文文献
专利

1. UML Statechart图中数据流的语义及验证 [J] . 陆公正 ,吴澜波 ,于复生 . 苏州市职业大学学报 . 2009,第001期
2. 定义及验证UML Statechart图中的数据流语义 [J] . 陆公正 ,吴澜波 ,张广泉 . 计算机工程与应用 . 2009,第024期
3. 基于LTS的Statecharts操作语义研究 [J] . 钱俊彦 ,赵岭忠 . 计算机工程 . 2006,第022期
4. 不同Statechart语义比较 [J] . 刘震 ,李聪怡 . 交通科学与工程 . 2005,第002期
5. 基于UML Statechart语义的测试序列生成方法 [J] . 缪力 ,张大方 . 计算机工程与科学 . 2005,第004期
6. 坚定理念指导追求精益求精实现创新发展——山东淄博功力机械制造有限责任公司 [C] . . 中国砖瓦工业协会第六次会员代表大会暨2011年中国(济南)国际砖瓦节能论坛 . 2011
7. 基于OWL-S和HTN的语义Web服务组合技术研究—服务组合器原型系统设计与实现 [A] . 吴玲娟 . 2010

Statecharts的组合语义与求精

摘要

著录项

相似文献

相关主题

期刊订阅