合金模型图功能和基数符号

Question

我正在使用Alloy Analyzer 4.2（建造日期：2012-09-25 15:54 EDT）。我在专用于模型图的Alloy Book的4.3节中读到，分析器可以使用多重符号生成模型图！，？，*和+。但是我找不到正确的使用方法和/或使分析仪使用这些符号。我想＆＃34;执行＆gt;显示元模型＆＃34;功能实际上是书中描述的功能，但符号不能被使用也不能被显示。 我尝试过以下方法：

尝试1：

sig A {
attributeA : one B
}

sig B {
attributeB : set C
}

sig C {
attributeC : lone A
}

pred show {}
run show 

生成无符号元模型： metamodel using multiplicity keywords

尝试2：

sig A {
attributeA : ! B
}

sig B {
attributeB : * C
}

sig C {
attributeC : ? A
}

pred show {}
run show

产生此解析错误消息（关于＆＃39;？＆＃39;）：

Syntax error at line 10 column 14:
Syntax error at the ? character.

尝试3：

sig A {
attributeA : ! B
}

sig B {
attributeB : * C
}

sig C {
attributeC : ! A
}

pred show {}
run show

产生此类型检查错误消息（关于第一个＆＃39;！＆＃39;）：

Starting the solver...

A type error has occurred:
This expression failed to be typechecked

如何获得模型图功能以显示/使用基数符号？

Answer 1

遗憾的是，生成的图表不包含多重符号。