19、用于 Web 服务对话运行时监控的属性模式语言

用于 Web 服务对话运行时监控的属性模式语言

在 Web 服务开发和管理中，准确地指定和验证系统属性是至关重要的。本文介绍了一种用于指定 Web 服务对话的语言，它基于 UML 2.0 序列图的子集，并通过扩展运算符增强了表达能力，还能将其转换为有限状态自动机进行监控。

1. 语言扩展与概述

为了方便指定和验证实际中出现的各种系统属性，对原有的语言进行了扩展。允许 assert 和 negate 运算符的嵌套应用，并引入了一些来自 UML 2.0 和其他基于场景语言的运算符，如 critical、ref 和消息补运算等。这样得到的语言不仅可以转换为有限状态自动机进行监控，还能表达各种常用的属性。

2. 用于指定对话的语言

选择 UML 2.0 序列图的一个子集作为指定 Web 服务对话的语言。序列图是一种流行的形式化方法，用于通过描述不同对象之间随时间传递的消息序列来建模行为场景。它有垂直（表示时间）和水平（表示对象）两个维度，每个对象用带有垂直虚线（生命线）的矩形表示，生命线之间通过水平箭头连接，表示消息的同步或异步发送。

以下是一个描述 LA 系统场景的序列图示例：

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A(MnPs):::process -->|ckCtSe| B(CtCk):::process
    A -->|ckLnAt| C(LnLt):::process
    C -->|ckCtSe| B
<