专属域名
文档搜索
轩辕助手
Run助手
邀请有礼
返回顶部
快速返回页面顶部
收起
收起工具栏
轩辕镜像 官方专业版
轩辕镜像 官方专业版轩辕镜像 官方专业版官方专业版
首页个人中心搜索镜像

交易
充值流量我的订单
工具
提交工单镜像收录一键安装
Npm 源Pip 源Homebrew 源
帮助
常见问题
其他
关于我们网站地图

官方QQ群: 1072982923

anzbank/sysl Docker 镜像 - 轩辕镜像 | Docker 镜像高效稳定拉取服务

热门搜索:openclaw🔥nginx🔥redis🔥mysqlopenjdkcursorweb2apimemgraphzabbixetcdubuntucorednsjdk
sysl
anzbank/sysl
anzbank
该镜像包含Sysl(发音为"sizzle")系统规范语言,用于系统规范的定义与描述。
3 次收藏下载次数: 0状态:社区镜像维护者:anzbank仓库类型:镜像最近更新:2 个月前
轩辕镜像,加速的不只是镜像。点击查看
中文简介版本下载
轩辕镜像,加速的不只是镜像。点击查看

Sysl Docker 镜像文档

1. 镜像概述与主要用途

Sysl(发音为 "sizzle")是一种系统规范语言,用于定义系统架构、端点行为、数据模型及数据转换规则。本 Docker 镜像封装了 Sysl 工具链,提供开箱即用的 Sysl 编译器及相关工具,支持从统一的 Sysl 规范自动生成架构视图、集成文档及代码,简化系统设计与规范管理流程。

2. 核心功能与特性

2.1 系统规范定义
  • 支持定义系统、端点、端点行为及交互逻辑
  • 可描述数据模型结构及数据转换规则
2.2 自动生成能力
  • 自动生成序列图、系统集成视图等架构文档
  • 基于规范生成多类型输出(如文本、图表)
2.3 多工具集成
  • 包含 sysl 命令行工具(核心编译器)
  • 包含 reljam 命令行工具(模型处理工具)

3. 使用场景与适用范围

  • 系统设计与架构文档:统一描述系统组件及交互,自动生成可视化视图
  • API 规范管理:定义端点接口及数据模型,作为团队协作的单一可信源
  • 自动化工作流:集成到 CI/CD 流程,实现规范验证、文档自动更新
  • 团队协作:通过标准化规范语言,简化跨团队的系统集成沟通

4. 使用方法与配置说明

4.1 拉取镜像
bash
docker pull anzbank/sysl
4.2 镜像标签(可选,简化命令)

为镜像添加本地标签,缩短后续命令:

bash
docker tag anzbank/sysl sysl
4.3 基本命令使用
4.3.1 查看工具帮助
bash
# 查看 sysl 命令帮助
docker run sysl sysl -h

# 查看 reljam 命令帮助
docker run sysl reljam -h
4.3.2 运行默认命令

直接运行镜像可查看基础信息:

bash
docker run sysl
4.4 使用示例文件

通过镜像内置的示例文件(来自 Sysl 官方仓库 demo 目录)演示功能:

4.4.1 生成文本输出

将 petshop 示例规范转换为文本格式并输出到指定路径:

bash
docker run -v $(pwd):/out sysl sysl textpb -o /out/petshop.txt /demo/petshop/petshop

说明:-v $(pwd):/out 挂载本地目录到容器内 /out,-o /out/petshop.txt 指定输出文件路径。

4.4.2 生成模型

使用 reljam 工具处理示例规范并生成模型:

bash
docker run sysl reljam model /demo/petshop/petshop PetShopModel

5. Docker 部署示例

5.1 基本命令模板
bash
docker run [OPTIONS] sysl [COMMAND] [ARGUMENTS]
  • OPTIONS:如 -v(挂载目录)、-w(工作目录)等 Docker 运行参数
  • COMMAND:指定工具命令(如 sysl、reljam)
  • ARGUMENTS:工具命令的参数(如输入文件路径、输出选项)

6. 相关资源

  • Dockerfile 源码:[***]
  • Sysl 官方仓库:[***]
查看更多 sysl 相关镜像 →
rancher/os-syslog logo
rancher/os-syslog
rancher
暂无描述
10万+ 次下载
5 年前更新
demisto/syslog logo
demisto/syslog
demisto
暂无描述
5万+ 次下载
1 个月前更新
linuxserver/syslog-ng logo
linuxserver/syslog-ng
linuxserver
syslog-ng 的容器化版本,可灵活收集、解析、分类、重写和关联来自整个基础设施的日志,并将其存储或路由到日志分析工具。
50 次收藏100万+ 次下载
25 天前更新
rancher/fluent-bit-out-syslog logo
rancher/fluent-bit-out-syslog
rancher
暂无描述
6.5千+ 次下载
5 年前更新
corpusops/rsyslog logo
corpusops/rsyslog
corpusops
corpusops/docker-misc是一个Docker相关工具和配置的集合,包含Docker Compose配置、Dockerfile示例、脚本工具和CI/CD配置,适用于Docker环境的开发、部署和管理。
1万+ 次下载
1 年前更新
balabit/syslog-ng logo
balabit/syslog-ng
balabit
syslog-ng是一款增强型日志守护进程,支持多种输入输出方式,在Docker容器中以前台模式运行,便于查看日志,可使用默认或自定义配置收集和转发日志。
126 次收藏5000万+ 次下载
21 天前更新

轩辕镜像配置手册

探索更多轩辕镜像的使用方法,找到最适合您系统的配置方式

Docker 配置

登录仓库拉取

通过 Docker 登录认证访问私有仓库

专属域名拉取

无需登录使用专属域名

K8s Containerd

Kubernetes 集群配置 Containerd

K3s

K3s 轻量级 Kubernetes 镜像加速

Dev Containers

VS Code Dev Containers 配置

Podman

Podman 容器引擎配置

Singularity/Apptainer

HPC 科学计算容器配置

其他仓库配置

ghcr、Quay、nvcr 等镜像仓库

系统配置

Linux

在 Linux 系统配置镜像服务

Windows/Mac

在 Docker Desktop 配置镜像

MacOS OrbStack

MacOS OrbStack 容器配置

Docker Compose

Docker Compose 项目配置

NAS 设备

群晖

Synology 群晖 NAS 配置

飞牛

飞牛 fnOS 系统配置镜像

绿联

绿联 NAS 系统配置镜像

威联通

QNAP 威联通 NAS 配置

极空间

极空间 NAS 系统配置服务

网络设备

爱快路由

爱快 iKuai 路由系统配置

宝塔面板

在宝塔面板一键配置镜像

需要其他帮助?请查看我们的 常见问题Docker 镜像访问常见问题解答 或 提交工单

镜像拉取常见问题

使用与功能问题

docker search 报错:专属域名下仅支持 Docker Hub 查询

docker search 报错问题

网页搜不到镜像:Docker Hub 有但轩辕镜像搜索无结果

镜像搜索不到

离线传输镜像:无法直连时用 docker save/load 迁移

离线传输镜像

Docker 插件安装错误:application/vnd.docker.plugin.v1+json

Docker 插件安装错误

WSL 下 Docker 拉取慢:网络与挂载目录影响及优化

WSL 拉取镜像慢

轩辕镜像是否安全?镜像完整性校验(digest)说明

镜像安全性

如何用轩辕镜像拉取镜像?登录方式与专属域名配置

如何拉取镜像

错误码与失败问题

manifest unknown 错误:镜像不存在或标签错误

manifest unknown 错误

TLS/SSL 证书验证失败:Docker pull 时 HTTPS 证书错误

TLS 证书验证失败

DNS 解析超时:无法解析镜像仓库地址或连接超时

DNS 解析超时

410 Gone 错误:Docker 版本过低导致协议不兼容

410 错误:版本过低

402 Payment Required 错误:流量耗尽错误提示

402 错误:流量耗尽

401 UNAUTHORIZED 错误:身份认证失败或登录信息错误

身份认证失败错误

429 Too Many Requests 错误:请求频率超出专业版限制

429 限流错误

Docker login 凭证保存错误:Cannot autolaunch D-Bus(不影响登录)

凭证保存错误

账号 / 计费 / 权限

免费版与专业版区别:功能、限额与使用场景对比

免费版与专业版区别

支持的镜像仓库:Docker Hub、GCR、GHCR、K8s 等列表

轩辕镜像支持的镜像仓库

拉取失败是否扣流量?计费规则说明

拉取失败流量计费

KYSEC 权限不够:麒麟 V10/统信 UOS 下脚本执行被拦截

KYSEC 权限错误

如何申请开具发票?(增值税普票/专票)

开具发票

如何修改网站与仓库登录密码?

修改网站和仓库密码

配置与原理类

registry-mirrors 未生效:仍访问官方仓库或报错的原因

registry-mirrors 未生效

如何去掉镜像名称中的轩辕域名前缀?(docker tag)

去掉域名前缀

如何拉取指定架构镜像?(ARM64/AMD64 等多架构)

拉取指定架构镜像

查看全部问题→

用户好评

来自真实用户的反馈,见证轩辕镜像的优质服务

用户头像

oldzhang

运维工程师

Linux服务器

5

"Docker访问体验非常流畅,大镜像也能快速完成下载。"

轩辕镜像
镜像详情
...
anzbank/sysl
博客公告Docker 镜像公告与技术博客
热门镜像查看热门 Docker 镜像推荐
一键安装一键安装 Docker 并配置镜像源
镜像拉取问题咨询请 提交工单,官方技术交流群:1072982923。轩辕镜像所有镜像均来源于原始仓库,本站不存储、不修改、不传播任何镜像内容。
镜像拉取问题咨询请提交工单,官方技术交流群:。轩辕镜像所有镜像均来源于原始仓库,本站不存储、不修改、不传播任何镜像内容。
商务合作:点击复制邮箱
©2024-2026 源码跳动
商务合作:点击复制邮箱Copyright © 2024-2026 杭州源码跳动科技有限公司. All rights reserved.