python源码交互式状态图模型解释器和检查器v1.6.6

python源码交互式状态图模型解释器和检查器v1.6.6

Sismic 是一个递归首字母缩略词,代表 Sismic 交互式状态图模型解释器和检查器
状态图是一种众所周知的可视化建模语言,用于表示可执行行为 基于复杂反应性事件的系统。用于 Python 的 Sismic 库(版本 3.6 或更高版本)提供了一组 用于定义、验证、模拟、执行和测试状态图的工具。 更具体地说,Sismic 提供:
  • 一种定义和导入状态图的简单方法,基于人性化的 YAML 标记语言
  • 一个状态图解释器,提供离散的、循序渐进的、完全可观察的模拟引擎
  • 完全可控的模拟时钟,支持真实和模拟时间
  • 内置支持使用常规 Python 代码表达动作和守卫,可以轻松扩展到其他编程语言
  • 支持状态图的合约设计 (DbC):可以指定合约来表达状态和转换的不变量、前置和后置条件
  • 以状态图表示的行为属性的运行时监视
  • 对行为驱动开发 (BDD) 的内置支持
  • 支持状态图之间的通信
  • 同步和异步执行
  • 使用 PlantUML 进行状态图可视化


安装
需要 Python >=3.7。 Sismic 可以像往常一样使用以下方法进行安装。 这将安装最新的稳定版本。pippip install sismic

您也可以通过克隆来从此存储库安装 Sismic。

您可以使用以下方法引用本库:

  1. @article{sismic-article,
  2.     title = “Sismic—A Python library for statechart execution and testing”,
  3.     journal = “SoftwareX”,
  4.     volume = “12”,
  5.     pages = “100590”,
  6.     year = “2020”,
  7.     issn = “2352-7110”,
  8.     doi = “10.1016/j.softx.2020.100590”,
  9.     url = “https://doi.org/10.1016/j.softx.2020.100590”,
  10.     author = “Alexandre Decan and Tom Mens”,
  11. }

复制代码

or

  1. @software{sismic,
  2.   author = {Decan, Alexandre},
  3.   title = {Sismic Interactive Statechart Model Interpreter and Checker},
  4.   url = {https://github.com/AlexandreDecan/sismic},
  5. }

复制代码

您可以使用以下方法引用相关的研究文章

  1. @article{sismic2018-sosym,
  2.    author = {Mens, Tom and Decan, Alexandre and Spanoudakis, Nikolaos},
  3.    journal = {Software and Systems Modeling},
  4.    publisher = {Springer},
  5.    year = 2018,
  6.    title = {A method for testing and validating executable statechart models},
  7.    doi = {10.1007/s10270-018-0676-3},
  8.    url = {https://doi.org/10.1007/s10270-018-0676-3},
  9. }

复制代码

以下资源提供了有关状态图的其他信息,这些信息可能有用,即使它与 Sismic 没有直接关系。
  • Yakindu Statechart工具:用于视觉模拟、调试、测试和从statecharts生成代码的商业软件。大学可以获得免费的学术许可证。
  • 一个 YouTube 播放列表,提供一组关于状态图建模和模拟的介绍性教程(基于前面提到的 Yakindu 工具)。
(如果上面提供的某些链接被证明是无效的,或者如果您知道应在此处添加的其他相关资源,请与我们联系
下载说明:
1.本站资源都是白菜价出售,同样的东西,我们不卖几百,也不卖几十,甚至才卖几块钱,一个永久会员能下载全站100%源码了,所以单独购买也好,会员也好均不提供相关技术服务。
2.如果源码下载地址失效请联系站长QQ进行补发。
3.本站所有资源仅用于学习及研究使用,请必须在24小时内删除所下载资源,切勿用于商业用途,否则由此引发的法律纠纷及连带责任本站和发布者概不承担。资源除标明原创外均来自网络整理,版权归原作者或本站特约原创作者所有,如侵犯到您权益请联系本站删除!
4.本站站内提供的所有可下载资源(软件等等)本站保证未做任何负面改动(不包含修复bug和完善功能等正面优化或二次开发);但本网站不能保证资源的准确性、安全性和完整性,由于源码具有复制性,一经售出,概不退换。用户下载后自行斟酌,我们以交流学习为目的,并不是所有的源码都100%无错或无bug;同时本站用户必须明白,【安安资源网】对提供下载的软件等不拥有任何权利(本站原创和特约原创作者除外),其版权归该资源的合法拥有者所有。
5.请您认真阅读上述内容,购买即以为着您同意上述内容,由于源码具有复制性,一经售出,概不退换。
安安资源网 » python源码交互式状态图模型解释器和检查器v1.6.6