【文件属性】：
文件名称：HySTudio:用于混合系统验证工具的Design Studio
文件大小：1.92MB
文件格式：ZIP
更新时间：2021-05-22 16:59:28
JavaScript
HyStudio
该工作室的目的是为对混合系统验证工具感兴趣的用户提供一个集成的工作区。 部署后，它将提供与转换器结合的编辑器，作为可为所选验证方法提供不同输入模型格式的中心功能。 该捆绑软件还包括几种工具的配置，这些工具在基本部署中很容易获得。 它也提供了一种简单而无缝的方法来扩展工具集，仅需几个必要的步骤。
安装
为了便于升级和安全，整个部署都建立在容器上。 基本元素与绑定在一起。 由于这些容器与主机是分开的，因此不需要其他预安装-但是，为了轻松升级， 安装将为用户服务。 为了无缝访问可用的工具映像，还应该获得一个帐户。
一切设置完成后，以下单个命令将启动Studio（该命令应从包含docker-compose.yml文件的存储库的主目录中执行）：
docker-compose -f docker-compose.local.yml up -d
默认情况下，服务器将在主机的端口
【文件预览】：
HySTudio-master
----.gitignore(663B)
----app.js(302B)
----package.json(1KB)
----package-lock.json(242KB)
----src()
--------utils()
--------visualizers()
--------routers()
--------layouts()
--------common()
--------seeds()
--------plugins()
----Dockerfile.nginx.dev(52B)
----Dockerfile.nginx(48B)
----core-dockerfiles()
--------Dockerfile.spaceex(636B)
--------Dockerfile.hycomp(323B)
--------Dockerfile.dreach(637B)
--------Dockerfile.dreach.build(2KB)
--------Dockerfile.hycreate(429B)
--------Dockerfile.flowstar(727B)
----Dockerfile.studio(1KB)
----docker-compose.local.yml(1KB)
----docker-compose.yml(1KB)
----README.md(5KB)
----config()
--------config.default.js(576B)
--------config.docker.js(2KB)
--------index.js(385B)
--------README.md(3KB)
--------config.test.js(238B)
--------hyst.analyzers.json(2KB)
--------components.json(472B)
--------config.webgme.js(1KB)
--------config.release.js(2KB)
----nginx.dev.conf(955B)
----webgme-setup.json(2KB)
----nginx.conf(1KB)
----test()
--------assets()
--------globals.js(951B)
--------routers()
--------plugins()