15、真正面向服务的元建模架构解析

真正面向服务的元建模架构解析

1. 服务导向的三大支柱

服务导向有三个核心支柱，它们构成了整个服务体系的基础。
- 情境化（Contextion） ：情境化允许以通用方式指定模型，使其能够统一处理上下文数据。它要求上下文条目的数据类型与服务提供者的本体一致，这是一种参数多态的形式，能让服务导向语言更具表达力，为所有请求服务的输入和输出提供一种通用类型。
- 多保真度管理（Morphing） ：请求服务的变形受用户选择的初始保真度和保真度变形器的影响。与保真度相关的变形器使用最终用户提供的启发式方法，这些方法依赖于输入服务上下文和从服务提供者获得的后续中间结果。多保真度管理是一种调度机制，类似于临时多态，在运行时通过保真度投影重新配置或变形请求服务的保真度。
- 服务多类型化（Service multityping） ：应用于服务签名和提供者的服务多类型化是一种子类型多态，其目标是通过服务提供者实现和注册查找的服务类型范围找到服务提供者的远程实例。它还允许多保真度操作服务以不同的服务保真度调用服务提供者实现的主要服务类型的操作。对于为请求服务的服务签名提供服务的服务提供者，请求服务的多类型化指定了哪些服务提供者需要额外提供以补充网络中现有的服务提供者。

2. SML语言基础

2.1 元模型与SML

语言可以通过其元模型以极大的灵活性进行指定，也可以通过语法来定义，如Java语言的扩展巴科斯 - 诺尔范式（EBNF）。元模型层的主要职责是定义描述语义域的语言，使用户能够对各种不同的问题域进行建模。真正面向服务的元建