广东省自然科学基金(04009465010059)
- 作品数：3 被引量：23H指数：1
- 相关作者：张立臣刘瑞成陈广明吴宇琼陈生庆更多>>
- 相关机构：广东工业大学嘉应学院更多>>
- 发文基金：广东省高等学校自然科学研究重点项目国家自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 形式化语言RT-Z的合成及其应用被引量：1
- 2005年
- Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功能强大的语言,但它没提供适当的结构来构造相关数据特征。文中通过形式化语言Z和过程代数TimedCSP合成一种新的形式化方法RT-Z,使得RT-Z在软件系统开发过程的需求定义和设计阶段能书写软件系统一致、简单的规格说明。
- 吴宇琼张立臣
- 关键词：Z语言
- 基于实时语言和面向方面的形式化开发方法被引量：1
- 2006年
- 面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语言PEARL,实现了软件开发各个阶段对面向方面的无缝支持。
- 陈生庆张立臣陈广明
- 关键词：实时系统形式化方法
- 基于UML的面向方面的实时系统建模方法被引量：22
- 2005年
- 利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系统。模型从系统的静态结构模型、动态行为模型和时间方面的织入等几部分来建模实时系统,并扩展了UML来表达AOP技术和时间概念,提高软件的重用性。一个电梯控制系统例子用来说明了这种建模方法。
- 刘瑞成张立臣
- 关键词：统一建模语言实时系统
