movesrwth/storm-dependencies

Storm模型检查器基础镜像

镜像概述

本镜像专为Storm模型检查器设计，提供Linux基础环境、必需系统包及可选依赖。基于https://hub.docker.com/r/movesrwth/carl-storm%E9%95%9C%E5%83%8F%E6%9E%84%E5%BB%BA%EF%BC%8C%E6%97%A8%E5%9C%A8%E4%B8%BAStorm%E6%A8%A1%E5%9E%8B%E6%A3%80%E6%9F%A5%E5%99%A8%E7%9A%84%E8%BF%90%E8%A1%8C%E4%B8%8E%E5%BC%80%E5%8F%91%E6%8F%90%E4%BE%9B%E7%BB%9F%E4%B8%80%E3%80%81%E5%8F%AF%E9%9D%A0%E7%9A%84%E5%BA%95%E5%B1%82%E6%94%AF%E6%8C%81%E3%80%82

核心功能与特性

• Linux基础环境：包含稳定的Linux系统基础，确保与Storm模型检查器的兼容性
• 必需系统包：预安装运行Storm所需的核心依赖包，减少环境配置工作量
• 可选依赖支持：提供可选的扩展依赖组件，可根据实际需求灵活启用
• 继承可靠基础：基于movesrwth/carl-storm镜像构建，延续其成熟的依赖管理机制

适用场景

• Storm模型检查器的运行环境搭建
• Storm相关应用开发或测试过程中的依赖管理
• 需要标准化底层环境的容器化部署场景
• 多环境下的Storm工具链一致性保障

使用方法

镜像获取

通过Docker Hub拉取镜像（具体镜像名称及标签需以实际仓库为准）：

bash
docker pull [镜像仓库地址]/[镜像名称]:[标签]

基本运行命令

启动交互式容器以访问基础环境：

bash
docker run -it --rm [镜像仓库地址]/[镜像名称]:[标签] /bin/bash

配置说明

该镜像的配置参数可参考其父镜像https://hub.docker.com/r/movesrwth/carl-storm%E7%9A%84%E5%AE%98%E6%96%B9%E6%96%87%E6%A1%A3%EF%BC%8C%E4%B8%BB%E8%A6%81%E5%8C%85%E6%8B%AC%EF%BC%9A

• 环境变量设置（如依赖路径、运行时参数等）
• 可选依赖的启用方式
• 系统资源限制配置

Docker Compose示例

基础docker-compose.yml配置示例：

yaml
version: '3'
services:
  storm-env:
    image: [镜像仓库地址]/[镜像名称]:[标签]
    container_name: storm-base-env
    volumes:
      - ./storm-data:/data  # 挂载数据卷（按需配置）
    # 可根据需求添加 environment、ports 等配置

注意事项

• 该镜像为基础环境镜像，运行Storm模型检查器需结合具体应用代码或数据
• 建议使用固定标签而非latest标签，以确保环境一致性
• 可选依赖的详细启用方法请参考镜像文档或父镜像说明