首页> 中国专利> 一种基于扩展的UML2序列图的中断驱动系统建模方法

一种基于扩展的UML2序列图的中断驱动系统建模方法

摘要

一种基于扩展的UML2序列图的中断驱动系统建模方法,步骤如下:步骤1:扩展UML2序列图,新增中断交互操作类型用于描述中断的发生和响应处理;步骤2:将中断驱动系统的执行流程划分为一个中断外交互和若干个中断内交互;步骤3:根据UML2序列图规范对中断外的流程进行建模;步骤4:根据步骤1中定义的中断组合片段对中断的发生和响应处理进行建模;步骤5:对中断驱动系统的时间约束进行建模;本发明扩展了UML2序列图,使之能够描述中断驱动系统,为中断驱动系统设计人员提供了直观形象、易于理解的建模方法;有利于中断驱动系统的建模设计、以及相关的模型验证、模型转换以及模型到代码的生成。

著录项

  • 公开/公告号CN106648617B

    专利类型发明专利

  • 公开/公告日2019-10-15

    原文格式PDF

  • 申请/专利权人 南京大学;

    申请/专利号CN201611023955.4

  • 发明设计人 潘敏学;张天;陆一飞;李宣东;

    申请日2016-11-14

  • 分类号

  • 代理机构南京瑞弘专利商标事务所(普通合伙);

  • 代理人陈建和

  • 地址 210093 江苏省南京市鼓楼区汉口路22号

  • 入库时间 2022-08-23 10:41:11

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2019-10-15

    授权

    授权

  • 2017-06-06

    实质审查的生效 IPC(主分类):G06F9/44 申请日:20161114

    实质审查的生效

  • 2017-06-06

    实质审查的生效 IPC(主分类):G06F 9/44 申请日:20161114

    实质审查的生效

  • 2017-05-10

    公开

    公开

  • 2017-05-10

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号