Alloy 模型图功能和基数符号
Alloy Model diagram functionality and cardinality symbols
我正在使用 Alloy Analyzer 4.2(构建日期:2012-09-25 15:54 EDT)。我在 Alloy Book 的第 4.3 节中读到专门介绍模型图的内容,分析器可以使用多重符号 !、?、* 和 + 生成模型图。但是我找不到正确的方法来使用 and/or 让这些符号被分析器使用。我想 "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
如何获得 display/use 基数符号的模型图功能?
遗憾的是,生成的图表不包含多重符号。
我正在使用 Alloy Analyzer 4.2(构建日期:2012-09-25 15:54 EDT)。我在 Alloy Book 的第 4.3 节中读到专门介绍模型图的内容,分析器可以使用多重符号 !、?、* 和 + 生成模型图。但是我找不到正确的方法来使用 and/or 让这些符号被分析器使用。我想 "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
如何获得 display/use 基数符号的模型图功能?
遗憾的是,生成的图表不包含多重符号。