代码之家 › 专栏 › 技术社区 › Roger Costello

正确的术语:调用订购模块?是否使用订购模块?使用排序模块约束集合?

alloy

Roger Costello · 技术社区 · 7 年前

我有一个使用订购模块的合金模型:

open util/ordering[House]

我正在写一篇关于我的模型的描述。描述上述表达式时使用的正确术语是什么?目前我这样说:

Call the ordering module with the set of houses.

但我认为这是不对的。我认为模型不会“调用”模块。正确的术语是什么?

1 回复 | 直到 7 年前

Loïc Gammaitoni 7 年前

我将描述如下:

Enforces the set of Houses to be ordered using the util/ordering module

您可能寻求的术语是,您正在导入模块util/ordering,其中签名屋作为参数传递。

推荐文章

Roger Costello · 检查两种方法的等效性,以确保所有酒店客人都能获得一套独特的钥匙

7 年前

Lorin Hochstein · 在MacOS上运行IDEA中的bnd结构化应用程序:未解决的需求:导入包:com。苹果eawt公司

7 年前

Roger Costello · 使用关系值创建签名字段是最佳做法吗?

7 年前

Roger Costello · 是否以XML形式查看实例?

7 年前

Roger Costello · 正确的术语:调用订购模块?是否使用订购模块?使用排序模块约束集合?

7 年前

Hovercouch · 合金中带量词的传递闭包

7 年前

Peter Kriens · 在合金中构建关系

7 年前

Paul · 我可以用Alloy来解决线性规划之类的问题吗?

7 年前

Roger Costello · 为什么在箭头表达式中使用的字段不同?

7 年前

johnf · 合金模型-如何在图形可视化中显示循环?

7 年前