首页 文章
  • 0 votes
    2 answers
    805 views

    合金编程,例如网络配置

    假设有8个pc和1个交换机,我想划分三个子网 . 如何使用合金语言程序?你能举个例子吗?
  • 0 votes
    0 answers
    552 views

    网络配置,例如vlan配置

    有没有人用合金语言做网络配置相关的问题?如何使用合金编程?
  • 2 votes
    1 answers
    1709 views

    合金分析仪4.2(mac)与合金api

    我目前正在制作一个程序来处理java中的一些注释,然后构建一个合金模型,使用合金api解析它,然后运行一些合金命令 . 当我在合金应用程序中测试生成的合金模型时,它工作正常并给出了预期的结果 . 但是,当我通过API运行生成的合金模型...
  • 3 votes
    1 answers
    1890 views

    从CompModule到Alloy

    使用Alloy API,可以从合金文件中获得一个CompModule,其中包含您需要的所有东西,以便使用给定的合金模块 . 使用以下命令可以轻松实现:CompUtil.parseEverything_fromFile(...) 我现在...
  • 0 votes
    1 answers
    1168 views

    如何在Alloy中使用String?

    如何在Alloy中使用String? Alloy支持String的哪种函数或运算符? 我在这里搜索了问题,发现String是Alloy中的关键字 . 但是我找不到关于如何在Alloy中使用String的任何参考 . 你能给一个吗?如果...
  • 1 votes
    0 answers
    488 views

    合金的实际用途的例子

    有不同的合金应用(铁路交换,访问控制等) . 例如,酒店房间锁定在“软件抽象”中 . 但是我如何在真正的酒店中实现这样的模型?:-)当合金用于现实生活中的问题时,是否有一些文章或代码示例? 谢谢! Vadik .
  • 2 votes
    1 answers
    511 views

    我如何使用合金中的{1,2,4,5,7,8}中的x?

    我是合金初学者! 我想表演,例如: run {all x: {2,3,4,5}, y: {1,2,3,4} | x > y and x + y <=10} 如何解决 Alloy 中的上述约束? 非常感谢! D.M
  • 1 votes
    3 answers
    1381 views

    合金中的真伪

    Alloy有很多逻辑连词,如 and 和 or 和 implies . 但我找不到 true 和 false . 他们失踪了吗?目前我一直在使用 1=1 和 1=0 ,但这是相当hacky(并提供编译器警告) . 顺便说一下,我想要真...
  • 2 votes
    1 answers
    573 views

    合金和UML之间的关系?

    我开始学习Alloy并且非常喜欢我所见过的 . 在鼓励我的同事和我一起学习和使用Alloy之前,我需要了解Alloy和UML之间的关系 . Alloy是UML的替代品吗?如果使用Alloy,那么不需要使用UML吗? Alloy是UML...
  • 0 votes
    1 answers
    1160 views

    Alloy中两个表达式的区别?

    假设我们有以下Alloy模型: abstract sig Season {} one sig Spring, Summer, Fall, Winter extends Season {} abstract sig Student {...

热门问题