• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software, IET >Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams
【24h】

Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams

机译：基于递归ECATNets的方法，用于形式验证系统建模语言活动图

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

System Modelling Language (SysML) is a modelling language that allows system description with various integrated diagrams. The SysML activity diagram (SAD) is widely used to graphically describe system behaviours. Nevertheless, despite the various advantages of SysML, it lacks for formal semantics to achieve the verification of behavioural requirements. Petri nets (PNs) are a popular technique for modelling and verifying the dynamic behaviours of systems. Recursive ECATNets (RECATNets) not only take all the advantages of PNs but also allow concise specifications and more capabilities for the verification process. In this study, the authors propose an approach which describes a verification methodology of SADs based on their transformation into RECATNet models. Case studies are presented to show the benefits and the usefulness of the proposed approach.
机译：系统建模语言（SysML）是一种建模语言，允许使用各种集成图进行系统描述。 SysML活动图（SAD）被广泛用于以图形方式描述系统行为。尽管如此，尽管SysML具有各种优点，但它缺乏形式语义来实现对行为要求的验证。 Petri网（PN）是一种流行的技术，用于建模和验证系统的动态行为。递归ECATNet（RECATNet）不仅具有PN的所有优点，而且还允许简洁的规范和更多的验证过程功能。在这项研究中，作者提出了一种方法，该方法描述了SAD转换为RECATNet模型后的验证方法。案例研究表明了所提出的方法的好处和实用性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号