检索结果-维普期刊中文期刊服务平台

统一建模语言状态图的Petri网模型及其分析方法被引量：3: 1; 作者郭峰《计算机集成制造系统》 EI CSCD 北大核心 2007年第7期1300-1307,共8页; 针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层... 展开更多; 关键词统一建模语言状态图 PETRI网形式化语义; 在线阅读下载PDF 职称材料

基于形式化规格说明的UML状态图提取被引量：3: 2; 作者曾一周欣周吉《计算机应用研究》 CSCD 北大核心 2011年第5期1767-1769,共3页; 为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和... 展开更多; 关键词形式化规格说明 B方法统一建模语言状态图分层状态; 在线阅读下载PDF 职称材料

基于动态描述逻辑的UML状态图形式化方法被引量：6: 3; 作者陈振庆罗兰花《计算机工程》 CAS CSCD 北大核心 2011年第13期55-57,60,共4页; 统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状... 展开更多; 关键词动态描述逻辑统一建模语言状态图形式化方法动作推理; 在线阅读下载PDF 职称材料

基于UML状态图和Qt状态机框架的IEC104规约的分析与实现被引量：12: 4; 作者余存黄利军 +4 位作者黄浩然申艳红张睿崔晓优贾帅峰《电力系统保护与控制》 EI CSCD 北大核心 2015年第15期118-125,共8页; 为了提高软件的可维护性和可扩展性,降低规约开发的复杂度,基于统一建模语言(UML)的状态图理论对IEC 60870-5-104规约主站端进行了分析。抽象定义了动作、事件和状态,利用UML状态图分层和并发特性设计了规约逻辑状态图,并使用Qt的自动... 展开更多; 关键词 IEC 60870.5-104 统一建模语言UML状态图有限状态机 QT; 在线阅读下载PDF 职称材料

题名统一建模语言状态图的Petri网模型及其分析方法被引量：3: 1; 作者郭峰; 机构北京航空航天大学计算机学院; 出处《计算机集成制造系统》 EI CSCD 北大核心 2007年第7期1300-1307,共8页; 基金航空科学基金资助项目(O1F51052)。~~; 文摘针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层间转移、转移的冲突和并发等现象,并且可以描述状态图转移上的数据处理和状态图之间的通讯机制,给出了从统一建模语言状态图到状态图网的转换规则,讨论了基于状态图网验证统一建模语言状态图正确性和一致性的方法。; 关键词统一建模语言状态图 PETRI网形式化语义; Keywords unified modeling language statechart Petri nets formal semantics; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论] TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于形式化规格说明的UML状态图提取被引量：3: 2; 作者曾一周欣周吉; 机构重庆大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2011年第5期1767-1769,共3页; 文摘为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。; 关键词形式化规格说明 B方法统一建模语言状态图分层状态; Keywords formal specification B method UML start-chart hierarchical state; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于动态描述逻辑的UML状态图形式化方法被引量：6: 3; 作者陈振庆罗兰花; 机构贺州学院计算机科学与工程系; 出处《计算机工程》 CAS CSCD 北大核心 2011年第13期55-57,60,共4页; 基金 2010年度广西高等学校优秀人才资助计划基金资助项目"基于动态描述逻辑的UML状态图形式化方法"; 文摘统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状态可达性和动作包含关系的定义,并证明其正确性。; 关键词动态描述逻辑统一建模语言状态图形式化方法动作推理; Keywords Dynamic Description Logics（DDL） Unified Modeling Language（UML） statechart formal method action reasoning; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于UML状态图和Qt状态机框架的IEC104规约的分析与实现被引量：12: 4; 作者余存黄利军黄浩然申艳红张睿崔晓优贾帅峰; 机构许继电气直流输电系统公司; 出处《电力系统保护与控制》 EI CSCD 北大核心 2015年第15期118-125,共8页; 文摘为了提高软件的可维护性和可扩展性,降低规约开发的复杂度,基于统一建模语言(UML)的状态图理论对IEC 60870-5-104规约主站端进行了分析。抽象定义了动作、事件和状态,利用UML状态图分层和并发特性设计了规约逻辑状态图,并使用Qt的自动机框架进行了软件实现。结果表明,设计出的状态图层次结构分明,逻辑关系清晰,各功能模块间相互独立,而且降低了耦合度,编程实现简单明了,体现了这种方法的优越性,对其他复杂通信规约的开发也具有一定的参考价值。; 关键词 IEC 60870.5-104 统一建模语言UML状态图有限状态机 QT; Keywords IEC 60870-5-104 Unified Modeling Language statechart finite-state machine Qt; 分类号 TM73 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	统一建模语言状态图的Petri网模型及其分析方法	郭峰	《计算机集成制造系统》 EI CSCD 北大核心	2007	3	在线阅读下载PDF 职称材料
2	基于形式化规格说明的UML状态图提取	曾一周欣周吉	《计算机应用研究》 CSCD 北大核心	2011	3	在线阅读下载PDF 职称材料
3	基于动态描述逻辑的UML状态图形式化方法	陈振庆罗兰花	《计算机工程》 CAS CSCD 北大核心	2011	6	在线阅读下载PDF 职称材料
4	基于UML状态图和Qt状态机框架的IEC104规约的分析与实现	余存黄利军黄浩然申艳红张睿崔晓优贾帅峰	《电力系统保护与控制》 EI CSCD 北大核心	2015	12	在线阅读下载PDF 职称材料