刘瑞成
- 作品数：9 被引量：69H指数：6
- 供职机构：广东工业大学计算机学院更多>>
- 发文基金：国家自然科学基金广东省自然科学基金广东省高等学校自然科学研究重点项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UML和形式化方法的面向方面实时系统模型
- 关注分离在软件工程上是一种广泛应用的原理,认为难于理解的复杂问题应该被划分为一系列容易理解的简单问题。这些简单问题能够容易解决和集成到原处,从而解决原来复杂的问题。由于问题被分解为人容易理解的小单元,而且适合于各种需求的...
- 刘瑞成
- 关键词：面向方面编程面向方面软件开发实时系统UML形式化方法
- 文献传递
- 集成实时逻辑与Z++语言的形式化方法被引量：1
- 2005年
- Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对于时间要求非常严格的系统,有时并不能满足系统实时性的要求。可以进一步结合A.K.Mok方法,对表达系统时间约束的RTL公式进行优化,然后再转化为Z++类history中RTL公式,使history中的谓词公式更简要更完整,从而减少了检测时间,提高实时响应能力。
- 刘瑞成张立臣
- 关键词：Z形式化方法约束图
- 基于实时逻辑的时间约束检测方法
- 2005年
- 本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法。第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系统规范的设计与可满足性检测,算法的时间复杂度是O(n^2)+O(n^2)+O(2~k)。第二种方法利用实时逻辑与约束图的方法实现运行时的时间约束检测,但检测时的系统约束条件不够第三种方法简约,算法时间复杂度为O(n^3),改进之后为O(n^2)。第三种方法通过对约束图的处理,减少运行时系统检测的约束条件,从而减少运行时的时间约束条件的搜索时间,算法的时间复杂度为O(n),在实时性和检测效率明显优于前两种方法。但需要运行前优化约束规则,将会增加额外的时间和空间复杂度。
- 刘瑞成张立臣
- 关键词：算法时间复杂度逻辑实现可满足性搜索时间约束图运行前
- 实时系统的面向方面模型被引量：8
- 2006年
- 基于UML的实时系统面向方面模型,能够把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。面向方面编程(AOP)技术允许把设计好的时间方面根据特定需要重新织入系统,组合为实时系统。模型扩展了UML来表达AOP技术和时间概念,并从系统的静态结构模型、动态行为模型和时间方面的织入等几部分建模实时系统。一个电梯控制系统例子充分说明这种设计过程。
- 刘瑞成张立臣
- 关键词：统一建模语言面向方面编程实时系统
- 随机时序逻辑的模糊时间扩展方法被引量：1
- 2006年
- 基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系,并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑(FSQTL)。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间,并利用可能性实现对性能需求的分析。
- 刘瑞成张立臣张宇亮
- 关键词：时序逻辑实时系统
- 基于UML的面向方面建模方法被引量：25
- 2005年
- 面向方面编程(AOP)技术通过横切关注来实现软件系统。面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发(AOSD)模型框架。从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法。利用UML类图实现方面的结构模型,方面与核心组件及方面之间的静态模型关系。协作图表达方面与核心组件及方面之间的动态行为,并通过状态图细化方面和核心组件的动态行为,实现状态图的方面与核心组件及方面之间的织入关系,最终实现方面代码的自动生成。基于UML的方面建模填补AOP与OOP技术之间的空白,提高软件设计的模块化,增强代码的重用性、维护性。
- 刘瑞成张立臣
- 关键词：UML类图建模方法OOP技术核心组件面向方面编程
- 基于UML的面向方面的实时系统建模方法被引量：22
- 2005年
- 利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系统。模型从系统的静态结构模型、动态行为模型和时间方面的织入等几部分来建模实时系统,并扩展了UML来表达AOP技术和时间概念,提高软件的重用性。一个电梯控制系统例子用来说明了这种建模方法。
- 刘瑞成张立臣
- 关键词：统一建模语言实时系统
- 无线局域网安全机制探讨被引量：9
- 2004年
- 介绍了无线局域网(WirelessLocalAreaNetwork,WLAN)的基本知识,通过与有线局域网比较,指出无线局域网的优势,探讨了WLAN的安全机制,讨论了安全机制存在的问题及一些机构对此所做的改进,给出未来WLAN安全机制的要求,最后还提出了WLAN在实际应用中的8大安全建议.
- 沈芳阳李振坤林志王帮海刘瑞成周晓冬黄永泰
- 关键词：无线局域网
- 基于面向方面的实时系统建模方法被引量：8
- 2006年
- 分布式实时系统的实时特性可以利用面向方面软件设计方法来建模,把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术,不同的时间子方面分别利用随机实时时序逻辑(SQTL)和模糊时间Petri网(FTN)来表示,并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统,实现系统的实时特性。
- 刘瑞成张立臣
- 关键词：形式化方法时间自动机模糊时间PETRI网实时系统
