합금 모델 다이어그램 기능 및 카디널리티 기호

Question

합금 분석기 4.2 (빌드 날짜 : 2012-09-25 15:54 EDT)를 사용하고 있습니다. 필자는 모델 다이어그램에 대한 Alloy Book 섹션 4.3을 읽고 분석기가 다중성 기호!,?, * 및 +를 사용하여 모델 다이어그램을 생성 할 수 있다고 읽었습니다. 그러나 나는이 기호를 분석기에서 사용하거나 사용하는 적절한 방법을 찾을 수 없습니다. "Execute> show metamodel"기능은 사실 책에 설명되어 있지만 기능을 사용할 수 없거나 표시되지 않습니다. I 해봤 다음

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 

는 심볼 적은 메타 생성 약 '?') :

,126,

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

생성 된 다이어그램에는 불행히도 다중성 기호가 포함되지 않습니다.