合金モデル図の機能と基数記号

Question

私はAlloy Analyzer 4.2（ビルド日付：2012-09-25 15:54 EDT）を使用しています。私は、Alloy Bookのセクション4.3を読み、アナライザが多重度記号！、？、*、+を使用してモデル図を生成できることを読みました。しかし、これらのシンボルを使用する適切な方法を見つけることができません。私は "Execute> show metamodel"機能は実際に本で記述されたものだと思うが、シンボルは使用できず、表示もされていない。 私が試みた次

1試し： metamodel using multiplicity keywords

試し2：

sig A { 
attributeA : ! B 
} 

sig B { 
attributeB : * C 
} 

sig C { 
attributeC : ? A 
} 

pred show {} 
run show 

この解析エラーメッセージを生成（

sig A { 
attributeA : one B 
} 

sig B { 
attributeB : set C 
} 

sig C { 
attributeC : lone 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は、モデル図の機能は/使用カーディナリティを表示するために取得ん記号？

Answer 1

残念ながら、生成された図には多重シンボルは含まれていません。