具有简单消息和时序图的实时系统的形式化设计语言

Question

我们制造的消费电子产品具有一些实时约束，通常是用户界面中可接受的时间和延迟。软件工程团队由指定这些延迟但没有软件设计经验的用户体验设计师指导，或者通常的工具和工具。软件公司正常的方法。我们需要一个简单的工具，设计人员可以使用它以正式的方式指定序列和时序，规范需要我们可以导入测试系统以用于自动验证。

PlantUML看起来很有前途，类似下面的例子就足够了，但是组名中的时间规范可以起作用，但有点像kludge。如果要求确实增长，而且几乎肯定会，这种方法将会严重缩放。任何人都可以提出更好的建议吗？

autonumber 1 1 "<b>[000]"
user -> UI: click
group fade 500ms
    UI -> Audio: Fade volume down
    Audio -> UI: Fade done
end
group track switch 100ms
    UI -> Audio: next track
    Audio -> FileSystem: File stream open
    FileSystem -> Audio: File stream opened
    Audio -> UI: stream started
end
group fade 500ms
    UI -> Audio: Fade volume up
    Audio -> UI: Fade done
end

Answer 1

您应该查看允许表达时间条件的UML timing diagrams。也可以在SD中添加时序约束，如下所示：