• 主题
高级搜索  >
历史搜索 清空历史
首页> 中国专利> 利用支持体系结构动态变化的图文法验证体系结构的方法

利用支持体系结构动态变化的图文法验证体系结构的方法

页面导航
  • 摘要
  • 著录项
  • 法律信息
  • 相似文献

摘要

本发明提供了一种利用支持体系结构动态变化的图文法验证体系结构的方法，通过对通用图文法中图的形式化定义进行扩展，引入了接口、接口标签集、状态及附加属性，能够从高层抽象软件系统的组成结构、连接方式以及系统结构配置及属性等要素，更完整地支持软件体系结构的建模、分析和动态演化。软件体系结构的基本元素，如构件和连接，映射成为图中的节点和边，利用Breeze图文法图重写规则可以描述系统的动态重配置，并利用Breeze图文法的形式化基础，推导验证体系结构重配置前后的一致性和完整性。采用本发明，可以有效应对软件系统在功能日益复杂、规模日益庞大、运行于开放的网络环境和变化的用户需求这四方面的挑战。

著录项

  • 公开/公告号CN104793934B

    专利类型发明专利

  • 公开/公告日2018-03-23

    原文格式PDF

  • 申请/专利权人 上海交通大学;

    申请/专利号CN201510167707.6

  • 发明设计人 黄林鹏;李晨;陈璐希;吴惜文;

    申请日2015-04-09

  • 分类号

  • 代理机构上海汉声知识产权代理有限公司;

  • 代理人郭国中

  • 地址 200240 上海市闵行区东川路800号

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

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2018-03-23

    授权

    授权

  • 2015-08-19

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

    实质审查的生效

  • 2015-07-22

    公开

    公开

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号