云南高校图书馆联盟文献共享服务平台- STATECHARTS

STATECHARTS: 作品数：25被引量：61H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：钱俊彦王戟齐治昌董威古天龙更多>>; 相关机构：国防科学技术大学桂林电子工业学院华东理工大学上海大学更多>>; 相关期刊：《广西科学院学报》《计算机应用与软件》《小型微型计算机系统》《China Communications》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划广西壮族自治区自然科学基金国防科技技术预先研究基金更多>>

基于EMC和HA的UML Statecharts检测研究被引量：1: 《通讯世界》2017年第16期282-283,共2页王佳婧冯长宝佟鑫; 后续软件的正确开发取决于UML软件体系模型是不是反映了用户的需求。UML Statecharts可以把一个系统的行为正确地完整地描述出来,还可以展现系统功能。所以UMLstatecharts是UML模型检测的重要的对象。可以把UML Statecharts转成层次自动...; 关键词：UML STATECHARTS EMC[4] HA[1] Kripke[1

Mechanized semantics and refinement of UML-Statecharts: 《Frontiers of Information Technology & Electronic Engineering》2017年第11期1773-1783,共11页Feng SHENG Liang DOU Zong-yuan YANG; Project supported by the National Natural Science Foundation of China （No. 61070226）; The Unified Modeling Language （UML） is an industry standard for modeling analysis and design. However, the semantics of UML is not precisely defined and the correctness of refinement relations cannot be verified. In...; 关键词：Unified Modeling Language （UML）-Statecharts COQ REFINEMENT Structured operational semantics

Aspect-Oriented Design Method for Embedded Systems Based on Timed Statecharts: 《China Communications》2013年第9期33-42,共10页文欣秀虞慧群郑红; supported by the National Natural Science Foundation of China under GrantsNo.61173048,No.61103115; The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded ...; 关键词：embedded systems model check-ing timed statecharts computation tree logic

Hybrid MARTE statecharts被引量：2: 《Frontiers of Computer Science》2013年第1期95-108,共14页Jing LIU Ziwei LIU Jifeng HE Freederic MALLET Zuohua DING; The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time m...; 关键词：UML MARTE hybrid automata hybrid MARTE statechart train control system

装备虚拟操作训练的过程建模方法研究被引量：10: 《计算机测量与控制》2011年第12期3102-3104,共3页贾晨星朱元昌邸彦强; 军队重点科研项目; 针对装备虚拟操作训练系统中对过程建模的研究仅停留在针对具体仿真任务的应用技术层面,缺乏深入的建模理论研究的现象;首先分析了虚拟操作训练仿真目的和装备操作的特点,叙述了过程模型在虚拟操作训练中的重要性;然后提出了一种面向操...; 关键词：虚拟操作训练过程建模 STATECHARTS STATEFLOW

基于Statecharts的面向方面软件设计与验证被引量：1: 《华东理工大学学报（自然科学版）》2011年第5期601-608,共8页文欣秀虞慧群; 国家自然科学基金(60773094);上海市曙光计划(07SG32); 为了及时解决由于关注点横切所产生的"代码交织"与"代码散布"问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行...; 关键词：面向方面 STATECHART 线性时态逻辑编织模型检测

基于扩展UML statecharts的协议测试: 《计算机应用与软件》2007年第12期15-16,125,共3页费立志缪淮扣; 国家自然科学基金项目(60373072);上海市教委基金项目(05AZ70); 提出了一种基于扩展UML statecharts的协议一致性测试方法。实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;以FREE(Flattened Regular Expression)模型图为基础生成抽象测试序列,然后根据时间覆盖准则,生成实时测...; 关键词：一致性测试扩展 UML STATECHARTS 测试用例

简述Statecharts的CASE工具SuperState: 《广西科学院学报》2006年第4期382-384,共3页钱俊彦; 广西自然科学基金(0542036)资助; 在介绍基于S tatecharts语言的验证工具SuperS tate的编辑环境的基础上,简述SuperS tate工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性。; 关键词：STATECHARTS 形式化技术 CASE工具

基于LTS的Statecharts操作语义研究: 《计算机工程》2006年第22期43-45,共3页钱俊彦赵岭忠; 广西自然科学基金资助项目(0542036); Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标签变迁系统(LTS)的Statecharts操作语义描述方法,介绍了Statecharts及其项语法和一步语义,并基于进程代数描述Statecharts的并发行为,使用结构化的操作...; 关键词：STATECHARTS 操作语义标签变迁系统

时间UML-Statecharts建模的工作流时序约束的一致性验证被引量：1: 《计算机科学》2006年第11期98-101,共4页张广泉陆公正戎玫; 江苏省高校自然科学研究项目(05KJB520119);重庆市教委科学技术研究项目(编号040803);重庆市自然科学基金(编号CSTC;2006BB2259);中国科学院计算机科学国家重点实验室开放课题(SYSKF0303); 工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运...; 关键词：工作流 UML—Statecharts 模型检测时序约束一致性

STATECHARTS