在Enterprise中,我有一个用属性定义的类,它是一个枚举。基于对枚举值的测试,是否有可能在状态机中创建转换?多么?
我发现用触发器或信号创建转换的唯一方法是非常有限的。
我的目的是将状态机导出到需求文档。不过,我认为这应该适用于模拟。
发布于 2018-06-16 12:25:32
触发器是导致令牌沿状态转换流动的原因。例如,这种状态转换:

当打开转换的属性时,您会看到

现在,您可以通过单击Name:右侧的省略号来添加触发器。在这里,您可以选择一个现有的触发器,或者动态创建一个新的触发器。

可以从下拉列表中选择触发器类型:

Signal是默认的,您可以从省略号中选择一个到Specification:。你可以像这样模拟信号:

你会在它的笔记中描述(例如)每当枚举更改时,它就会触发。
图表没有显示信号的使用,但它隐藏在连接器的属性中。要可视化,您可以添加适当的注释并将它们链接到连接器和元素:

注意:状态机是为类建模的(通常将它们放在类中)。如果实例化该类,实例还将具有状态机,它可以在实例中作为某种代码运行。
https://stackoverflow.com/questions/50882494
复制相似问题