互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

实时系统动态行为模型的一种形式分析方法


□ 戎 玫

  摘 要:提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。

  关键词:实时系统; 动态行为模型; 时间约束; 统一建模语言UML 2.0; 对象自动机

  中图分类号:TP311文献标志码:A

  文章编号:1001-3695(2009)09-3365-04

  doi:10.3969/j.issn.1001-3695.2009.09.046

  Formal analysis for dynamic behavioral models of real-time systems

  RONG Mei

  (Shenzhen Tourism College, Jinan University, Shenzhen Guangdong 518053, China)

  Abstract:This paper introduced a formal analysis for dynamic behavioral models of real-time systems based on unified modeling languages(UML 2.0). Firstly, presented the formal specification of UML sequence diagrams,and studied the relationship between the events in the sequence diagram, after thatintroduced an automata to describe the events that every object participated in the scenario that the sequence diagram depicts. Then extended the automata to describe the UML 2.0 sequence diagram that contains combined fragment. Finally, analyzed the time modeling mechanism in UML 2.0 sequence diagram, after that introduced an algorithm to extract the timing constraints from UML 2.0 sequence diagram and translated the object automata which got in the last step into timed automata.

......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017