徐碧红
- 作品数：2 被引量：5H指数：1
- 供职机构：吉首大学数学与统计学院更多>>
- 发文基金：国家自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- UML状态图在并行环境的应用研究被引量：4
- 2011年
- 标准UML(unifiedmodellanguage)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性。针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的合并方法。根据形式语义对UML状态图在并行环境中应用的正确性(模型检验)进行分析,通过操作系统进程调度在并行环境下运行实例的结果表明了该形式语义的正确性。
- 邓建波张立臣徐碧红
- 关键词：统一建模语言状态图并行环境形式语义
- 基于通信序列进程的UML序列图形式化方法被引量：1
- 2010年
- UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义,所以不利于对其所描述的系统进行形式化验证。为此,根据UML2.0语义文档及组合碎片包概念,基于通信序列进程(CSP)给出了UML序列图的基本元素和消息迹的形式化定义及生成规则,实现了UML序列图的形式化,为UML序列图在描述系统准确性和有效性方面提供了形式化的检验方法。最后通过ATM实例说明UML序列图这一过程的正确性。
- 邓建波张立臣邓惠敏徐碧红
- 关键词：形式语义
