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 工具）。
  

（如果上面提供的某些链接被证明是无效的，或者如果您知道应在此处添加的其他相关资源，请与我们联系。

游客，本帖隐藏的内容需要积分高于 2 才可浏览，您当前积分为 0

提取码下载：

文件名称:提取码下载.txt 
下载次数:1  文件大小:13 Bytes  售价:29金钱 [记录]
下载权限: 不限 [购买VIP]   [充值]   [在线充值]   【VIP会员5折；永久VIP免费】

安全检测，请放心下载