16.2.5 示例

Actions

图16.7展示了两个actions。它们执行称作Send Payment和Accept Payment的行为。（参见15.2中的其它示例。）

图16.7 Examples of Actions

图16.8是一个使用工具特定的具体语法表达的action的示例。

图16.8 Example of action using a tool-specific concrete syntax

图16.9展示了一个drink-dispensing机器Action的本地前置和后置条件。之所以是“本地”（local），是因为这些约束条件完全是在当前这个特定的Action操作中的。对于机器技师场景来说，情况就会变得不同。一个技师可以使用一把钥匙来打开该机器，而不用塞钱来分发饮料，也不需要得到改变。在该场景中，全局的前置条件或后置条件需要被满足。例如，一个全局前置条件可能是“A drink is selected that the vending machine dispenses”，后置条件可能是“自动售货机分发了所选的饮料”。换句话说，对钱和正确的改变没有全局需求。

图16.9 Example of an action with local pre- and post-conditions