买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉烜翊数智(上海)科技有限公司申请的专利一种基于时序块的架构模型时序图快速设计更新验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120068188B 。

龙图腾网通过国家知识产权局官网在2025-12-16发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510144105.2，技术领域涉及：G06F30/12；该发明授权一种基于时序块的架构模型时序图快速设计更新验证方法是由姜海波;王晓雪设计研发完成，并于2025-02-10向国家知识产权局提交的专利申请。

本一种基于时序块的架构模型时序图快速设计更新验证方法在说明书摘要公布了：本发明涉及时序图更新技术领域，尤其涉及一种基于时序块的架构模型时序图快速设计更新验证方法，本发明提出以下方案，选择待更新区域并在弹出式编辑框中编辑时序块及其时序属性，编辑内容包括时序块名称、触发时机、消息传递间隔及触发条件等。通过逻辑生成框将编辑结果转化为标准化逻辑片段，并根据时序图的布局算法与原时序图进行融合。该方法实现了时序图中时序块的高效更新、验证及布局优化，确保时序关系的正确性和一致性，提升设计过程的灵活性与准确性。

本发明授权一种基于时序块的架构模型时序图快速设计更新验证方法在权利要求书中公布了：1.一种基于时序块的架构模型时序图快速设计更新验证方法，其特征在于，所述方法包括： 通过交互设备在时序图界面中选择待更新区域，所述待更新区域以动态框的形式显示，所述动态框包括时序块、交互关系和时序属性，所述时序属性包括消息传递的时间间隔、事件的触发时机和时序块间的传递关系； 根据所述待更新区域，生成与该区域对应的弹出式编辑框，在所述弹出式编辑框中对时序块及其时序属性进行编辑，所述编辑包括时序块的属性修改； 通过逻辑生成框将编辑结果转换为标准化逻辑片段，根据时序图的布局算法，将所述标准化逻辑片段与原时序图进行融合； 所述选择待更新区域，包括： 通过交互设备在时序图界面中执行选择操作，确定待更新区域的初始更新范围，所述选择操作包括框选操作、时序块选择操作和消息路径选择操作，其中，所述消息路径选择操作包括选择时序块之间的消息传递路径和时序约束关系； 根据所述初始更新范围内时序块的时间顺序、消息传递顺序性和时序块依赖关系扩展初始更新范围； 将扩展后的待更新区域通过动态框在时序图界面中高亮显示，进行时序逻辑校验，如果校验通过，则标记为待更新区域，如果校验不通过，则根据时序约束关系重新调整更新范围； 所述扩展初始更新范围，包括： 对初始更新范围内的时序块之间的消息传递和事件触发关系进行分析，获取时序依赖性和时间约束； 根据所述时序依赖性，推导时序块之间的动态依赖链，生成消息路径，并计算消息路径在时序块中的同步程度和依赖程度； 根据所述时间约束，通过时间窗口对时序块进行分析，计算时序块的时序延迟因子，其中，所述时序延迟因子是指时序块在消息传递或事件触发过程中，受到其他时序块的时间限制所产生的最小延迟时间； 将所有时序块的时序延迟因子进行聚合，根据所述时序延迟因子确定时序块之间的并行执行关系，根据当前时序块的并行块和消息路径计算时序块的时序扩展因子； 将所有时序块的时序扩展因子进行排序，取最大的时序扩展因子作为扩展半径，与初始更新范围的半径进行叠加，获取待更新范围。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人烜翊数智(上海)科技有限公司，其通讯地址为：201101 上海市闵行区漕宝路1355号16号楼三层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。