web_alloy:合金分析仪的Web前端

合金 到目前为止，该文档尚不完善（但我正在努力）。 如果您想要一个简单的入门方法，则可能应该看看 项目架构 有关所有图的侧面节点：作为文档提供的所有图都是使用Umlet（ ）绘制的，因此，这些图的“源”是* .uxf文件。 如果您只是可以更好地放大图表的一个版本，则只需检查一下document / Diagram文件夹，它们也已导出到svg。 Fontend模型的体系结构 用户界面代码的组织。