合金模型圖功能和基數符號

Question

我使用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 

是怎麼開始的模型圖功能來顯示/使用基數符號？

Answer 1

不幸的是生成的圖表不包含多重符號。