我使用的是Alloy Analyzer 4.2（建造日期：2012-09-25 15:54 EDT） . 我已经阅读了专用于模型图的Alloy Book的第4.3节，分析器可以使用多重符号生成模型图！，？，*和 . 但是我找不到正确的使用方法和/或使分析仪使用这些符号 . 我想"Execute>show metamodel"功能实际上是本书所描述的功能，但这些符号既不能使用也不能显示 . 我尝试过以下方法：
试试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
产生此解析错误消息（关于'？'）：
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
产生此类型检查错误消息（关于第一个'！'）：
Starting the solver...
A type error has occurred:
This expression failed to be typechecked
如何获得模型图功能来显示/使用基数符号？
1 回答
遗憾的是，生成的图不包括多重符号 .