首页 | 本学科首页   官方微博 | 高级检索  
     

基于rCOS的UML状态图语义研究
引用本文:张晓蒙,戎玫,张广泉.基于rCOS的UML状态图语义研究[J].计算机工程,2009,35(2):21-23.
作者姓名:张晓蒙  戎玫  张广泉
作者单位:1. 苏州大学计算机科学与技术学院,苏州,215006;重庆师范大学数学与计算机科学学院,重庆,400047
2. 暨南大学深圳旅游学院,深圳,518053
基金项目:江苏省高校自然科学基金,重庆市自然科学基金 
摘    要:统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。

关 键 词:统一建模语言  对象精化演算系统  状态图
修稿时间: 

Semantic Research on UML State-chart Based on rCOS
ZHANG Xiao-meng,RONG Mei,ZHANG Guang-quan.Semantic Research on UML State-chart Based on rCOS[J].Computer Engineering,2009,35(2):21-23.
Authors:ZHANG Xiao-meng  RONG Mei  ZHANG Guang-quan
Affiliation:1.School of Computer Science & Technology;Soochow University;Suzhou 215006;2.Dept.of Mathematics and Computer Science;Chongqing Normal University;Chongqing 400047;3.Tourism College;Jinan University;Shenzhen 518053
Abstract:The state-chart of Unified Modeling Language(UML)is used to describe all the possible states and the transmisson conditions of states when the events occurre to analyze the system dynamically.This paper proposes refinement Calculus of Object Systems(rCOS)based on Unifying Theories of Programming(UTP)to specify the formal semantic of UML state-chart,which overcomes the limitation in the semantic research.And it provides the consistency checking with class diagram and sequence diagram,and gives the possibilit...
Keywords:Unified Modeling Language(UML)  refinement Calculus of Object Systems(rCOS)  state-chart
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程》浏览原始摘要信息
点击此处可从《计算机工程》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号