Statecharts的组合语义与求精

来源 :软件学报 | 被引量 : 0次 | 上传用户：hustyhw

【摘要】

：

由于简洁、直观的表达能力，Statecharts被用于许多反应系统的行为建模．Statecharts可表示不同抽象层次的系统行为，因而可用来表示逐步求精建模中各步的结果．但对于求精过程中下层

【作者】

：

朱雪阳唐稚松

【机构】

：

中国科学院软件研究所计算机科学重点实验室

【出处】

：

软件学报

【发表日期】

：

2006年4期

【关键词】

：

STATECHARTS 时序逻辑 XYZ/E 形式语义组合求精 Statecharts temporal logic XYZ/E formal sem

【基金项目】

：

Supported by the National Natural Science Foundation of China under Grant Nos.60273025, 60223005 （国家自然科学基金）, the National High-Tech Research and Development Plan of China under Grant No.2004AA 1 Z2100

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

新型网络环境下的访问控制技术

访问控制是系统安全的关键技术，不同网络环境下的访问控制机制也是不同的．首先对3种传统的访问控制策略加以介绍，给出DAC（discretionary access control），MAC（mandatory access cont

期刊

自主访问控制强制访问控制基于角色的访问控制可信模型DAC （discretionary access control） MAC （mandatory

铁路工程亚洲象防护栅栏施工技术研究

亚洲象防护栅栏施工作为铁路栅栏施工的首例，以玉磨铁路十五标桥梁、路基和隧道野生大象防护栏杆为依托，旨在研究总结亚洲象防护栅栏的材料选用、施工工艺和措施，填补了国内铁路

期刊

铁路工程亚洲象防护栅栏施工工艺

浅谈村庄整治的常见措施

按社会主义新农村建设规划的总体要求,株洲太高水库居民点在新农村建设中,健全乡村规划体系,加快交通、通信、市政、信息等基础设施向农村延伸,推进村庄整治建设,改善农村生

期刊