搜索结果: GB/T 32392.7-2018, GB/T32392.7-2018, GBT 32392.7-2018, GBT32392.7-2018
| 标准编号 | GB/T 32392.7-2018 (GB/T32392.7-2018) | | 中文名称 | 信息技术 互操作性元模型框架(MFI) 第7部分：服务模型注册元模型 | | 英文名称 | Information technology -- Metamodel framework for interoperability (MFI) -- Part 7: Metamodel for service model registration | | 行业 | 国家标准 (推荐) | | 中标分类 | L72 | | 国际标准分类 | 35.040 | | 字数估计 | 34,334 | | 发布日期 | 2018-03-15 | | 实施日期 | 2018-10-01 | | 发布机构 | 国家市场监督管理总局、中国国家标准化管理委员会 | GB/T 32392.7-2018
ICS 35.040
L72
中华人民共和国国家标准
信息技术 互操作性元模型框架(MFI)
第7部分:服务模型注册元模型
(ISO/IEC 19763-7:2015,IDT)
2018-03-15发布
2018-10-01实施
中华人民共和国国家质量监督检验检疫总局
中国国家标准化管理委员会发布
目次
前言 Ⅰ
引言 Ⅱ
1 范围 1
2 规范性引用文件 1
3 术语和定义、缩略语 2
3.1 术语和定义 2
3.2 缩略语 3
4 符合性 4
4.1 概要 4
4.2 符合程度 4
4.3 实现符合性声明 4
5 MFI服务模型注册 4
5.1 MFI服务模型注册概况 4
5.2 MFI服务模型注册与 MFI其他部分的关系 6
5.3 服务模型注册元模型中的元类 7
附录A(资料性附录) 服务描述语言列表 15
附录B(资料性附录) 服务模型注册元模型的注册示例 16
参考文献 30
前言
GB/T 32392《信息技术 互操作性元模型框架(MFI)》分为以下几个部分:
---第1部分:参考模型;
---第2部分:核心模型;
---第3部分:本体注册元模型;
---第4部分:模型映射元模型;
---第5部分:过程模型注册元模型;
---第7部分:服务模型注册元模型;
---第8部分:角色和目标模型注册元模型;
---第9部分:按需模型选择。
本部分为GB/T 32392的第7部分。
本部分按照GB/T 1.1-2009给出的规则起草。
本部分使用翻译法等同采用ISO/IEC 19763-7:2015《信息技术 互操作性元模型框架(MFI) 第
7部分:服务模型注册元模型》。
与本部分中规范性引用的国际文件有一致性对应关系的我国文件如下:
GB/T 32392.5-2018 信息技术 互操作性元模型框架(MFI) 第5部分:过程模型注册元模型
(ISO/IEC 19763-5:2015,IDT)
GB/T 32392.8-2018 信息技术 互操作性元模型框架(MFI) 第8部分:角色和目标模型注册
元模型(ISO/IEC 19763-8:2015,IDT)
请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。
本部分由全国信息技术标准化技术委员会(SAC/TC28)提出并归口。
本部分起草单位:武汉大学、中国电子技术标准化研究院、金蝶软件(中国)有限公司。
本部分主要起草人:何克清、冯在文、王翀、王健、何非、王静、胡博。
引 言
随着面向服务的计算技术迅速发展,越来越多的计算资源以 Web服务的方式体现出来。同时,基
于服务的业务集成也正在成为一种流行的应用程序开发方法。服务是一种基于 Web的应用程序,它包
括了一个或多个计算单元,能够支持互联网上机器与机器间的互操作性交互。
在 Web服务注册与管理中,ebXMLRegRep是一个定义了服务接口、协议和信息模型为集成化的
注册中心和存储库的规范,它为企业内或者跨企业的服务注册与发现提供了基础支持。然而,ebXML
RegRep中最基础的服务发现方法是基于关键字的查询,这不仅不可避免地导致查询结果不准确,还使
得查询过程非常耗时。当业务信息交换和集成变得频繁时,服务发现中主要工作则应该通过机器进行
自动处理。因此,需要将服务信息(包括功能和非功能信息)通过语义加以描述,并提供相应的注册和管
理机制,通过规范的注册信息,帮助用户在海量的服务资源中发现合适的服务,同时促进各种异构服务
描述之间的集成和语义互操作。
本部分提供了一个通用框架,通过一种显示的方式注册服务的功能和非功能信息,通过规范的注册
信息帮助用户发现合适的服务。
信息技术 互操作性元模型框架(MFI)
第7部分:服务模型注册元模型
1 范围
GB/T 32392的主要目标是构建支持互操作的元模型框架。本部分详细定义了一个注册服务模型
的元模型,可通过服务的重用促进服务之间的互操作性。
本部分仅适用于可被某种服务描述语言所描述的 Web服务(这些语言的实例见附录A)。图1展
示了本部分的研究范围。
注:在注册之前,模型不需要存储于注册库中。
图1 本部分的范围
2 规范性引用文件
下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件,仅注日期的版本适用于本文
件。凡是不注日期的引用文件,其最新版本(包括所有的修改单)适用于本文件。
注:下列所引用国际标准的术语和定义在第3章术语和定义中使用。
ISO/IEC 19763-5 信息技术 互操作性元模型框架 第5部分:过程模型注册元模型(Information
tration)
ISO/IEC 19763-10 信息技术 互操作性元模型框架 第10部分:核心模型和基本映射(Infor-
mapping)
3 术语和定义、缩略语
3.1 术语和定义
下列术语和定义适用于本文件。
3.1.1
原子表达式 atomicexpression
具有单元粒度的逻辑表达式(3.1.5)。
3.1.2
组合表达式 compositeexpression
由连接符组合而成的逻辑表达式(3.1.5),其中通过合取、析取和否定等连接符包含多个原子表达
式(3.1.1)或者其他的组合表达式(3.1.2)。
3.1.3
实体服务 entityservice
业务为中心的 Web服务(3.1.22),它的功能边界和上下文是基于一个或多个有关的业务实体。
3.1.4
退出条件 exitcondition
如果为真,将导致操作非正常结束的约束。
注:操作可以是过程或服务操作。
3.1.5
表达式 expression
一个用特殊符号描述的句子用以表示一个逻辑符号,或者用来表达应用于服务操作(3.1.18)的条
件,或者是应用于一个服务的服务(3.1.17)质量。
3.1.6
目标 goal
用户与过程(3.1.13)或服务(3.1.17)交互时预期得到的结果。
3.1.7
输入消息 inputmessage
服务操作(3.1.18)为执行所消耗的消息内部所包含的信息。
3.1.8
参与类型 involvementtype
一种声明,指明角色(3.1.16)在参与过程(3.1.13)或服务(3.1.17)时的类型。
示例:执行者、受益者、客户。
3.1.9
消息类型 messagetype
在一个服务操作(3.1.18)的执行中消费或者产生的消息的分类。
3.1.10
输出消息 outputmessage
服务操作(3.1.18)在执行后所生成的消息内部所包含的信息。
3.1.11
后置条件 postcondition
操作完成时应为真的约束。
注:操作可以是过程或服务操作。
3.1.12
前置条件 precondition
操作被调用前应为真的约束。
注:操作可以是过程或服务操作。
3.1.13
过程 process
一组结构化和相互关联的活动或任务,用于实现一个特定的目标(3.1.6)。
3.1.14
服务质量断言 QoSassertion
服务(3.1.17)某个或多个的服务质量类型(3.1.15)的规格。
3.1.15
服务质量类型 QoStype
服务(3.1.17)特定的非功能属性,如可用性、响应时间等。
3.1.16
角色 role
参与到某一情境中的实体所承担的特定职责。
3.1.17
服务 service
一种封装了一个或多个计算模块的应用,可以通过特定的接口进行访问。
3.1.18
服务操作 serviceoperation
服务(3.1.17)的执行动作。
3.1.19
任务服务 taskservice
功能边界直接与一个特定的过程模型相关的 Web服务(3.1.22)。
3.1.20
用户标签 usertag
被个人或组织注释的标签,为了根据标签创建者的理解来描述服务(3.1.17)。
3.1.21
公共设施服务 utilityservice
致力于提供可复用的、具有横切特征的公共功能的 Web服务(3.1.22),如:事务日志、通知、以及异
常处理。
3.1.22
Web服务 Webservice
一种被设计用来支持在网络上可互操作的机器对机器的交互的服务(3.1.17)。
3.2 缩略语
下列缩略语适用于本文件。
ebXMLRegRep ebXML注册库和存储库(ebXMLRegistry&Repository)
QoS 服务质量(QualityofService)
4 符合性
4.1 概要
声称与本部分相符合的实现应支持第5章中规定的元模型,该元模型依赖下列描述的符合程度。
4.2 符合程度
4.2.1 概述
为了同时满足互操作性和可扩展性的需要,应区别“严格符合”和“符合”实现。本部分描述了促进
互操作性的规范。扩展是根据用户、开发商、组织和行业的需要而展开的,本部分没有对其进行规定。
严格符合实现的实用性有限,但是能够最大程度地实现与本部分相关的互操作。符合实现的实用
性更广,但实现与本部分相关的互操作的能力较弱。
4.2.2 严格符合实现
严格符合实现:
a) 应该支持第5章中规定的元模型;
b) 不支持对第5章规定的元模型所实施的任何扩展,包括使用、测试、访问或调查。
4.2.3 符合实现
符合实现:
a) 应该支持第5章中规定的元模型;
b) 可以支持与5.3中规定的元模型相一致的扩展,包括使用、测试、访问或调查。
注1:所有的严格符合实现都是符合实现。
注2:对元模型进行扩展可能导致未定义的行为。
4.3 实现符合性声明
声称符合本部分的实现应该包括陈述如下的实现符合声明:
a) 是严格符合实现(4.2.2)还是符合实现(4.2.3);
b) 如果是符合实现,则支持和使用了哪些扩展。
5 MFI服务模型注册
5.1 MFI服务模型注册概况
本部分规定了一个元模型,用以注册 Web服务(下面简写为服务)的功能和非功能信息。附录A
中列举了可以使用该元模型注册的部分服务描述语言。
注:名称为斜体的元类是抽象元类。
图2 服务模型注册元模型
图2展示了服务注册的元模型。该元模型允许对服务的共性功能和非功能特征进行注册,这些服
务使用一组服务描述语言所描述。每个服务模型使用一种特定的服务描述语言来表达,这个模型可以
用来描述一个或多个服务。一个服务由零个或一个服务质量断言进行描述。服务质量断言用来定量或
定性表达服务的非功能属性,如:响应时间、价格、可靠性等。每个服务质量断言利用唯一的一个表达式
进行定义,表达式可以是组合表达式或原子表达式。每个服务质量断言拥有一个或多个服务质量类型。
服务是独立的模块化构件,并且仅能通过接口进行访问。因此,服务的能力用服务操作表示,每个
服务操作表示服务的一个可执行动作。每个服务由零个、一个或多个服务操作所构成。每个服务操作
由零个或一个前置条件、零个或一个后置条件和零个或一个退出条件所描述。其中,前置条件详细定义
了在一个服务操作被调用之前应为真的约束,后置条件详细定义了一个服务操作调用完成之后应为真
的约束,退出条件详细定义了一个操作没有被成功完成时为真的约束。每个前置条件、后置条件和退出
条件使用一个且仅一个表达式进行定义,这个表达式可以是组合表达式也可以是原子表达式。同时,每
个服务操作也由零个、一个或者多个输入消息,零个、一个或者多个输出消息所描述。每个输入消息规
定了操作进行执行时所需的信息。每个输出消息规定了操作成功执行后产生的信息。每个消息类型提
供了一条消息或者一组消息的描述,这些消息中的每一条都是在一个服务操作执行过程中被消耗或者
产生。每个输入消息可以被零个、一个或者多个前置条件约束,每个输出消息可以被零个、一个或者多
个后置条件约束。每个服务可以被一个或者多个用户标签所标注,每个标签可以被使用这个服务的任
何一个用户所创建。
5.2 MFI服务模型注册与 MFI其他部分的关系
在本部分中,MFI的其他部分是指ISO/IEC 19763-5、ISO/IEC 19763-8和ISO/IEC 19763-10。
图3描述了本部分与ISO/IEC 19763-5和ISO/IEC 19763-8之间的关系。
注:灰色底色表示的元类是在 MFI其他部分中定义的元类。
图3 ISO/IEC 19763-5、ISO/IEC 19763-7和ISO/IEC 19763-8之间的关系
每个服务实现零个、一个或多个目标。每个目标由零个、一个或多个服务实现。每个服务操作实现
零个、一个或多个目标。每个目标由零个、一个或多个服务操作实现。每个服务操作能够完全实现零
个、一个或多个过程。每个过程能够被零个、一个或多个服务操作所完全实现。每个服务包括零个、一
个或多个服务参与,这里每个服务参与是指伴随一个服务的角色的参与,比如参与者或者受益者。每个
服务参与指示了在一个服务的执行过程中被参与的一个角色。
图4描述了ISO/IEC 19763-7中的元类与ISO/IEC 19763-10中的元类之间的关系。
图4 ISO/IEC 19763-7与ISO/IEC 19763-10之间的关系
本部分中的服务_描述_语言元类是ISO/IEC 19763-10中建模_语言元类的子类。本部分中的服
务_模型元类是ISO/IEC 19763-10中模型元类的子类。本部分中的其他元类均为ISO/IEC 19763-10
中模型_元素元类的子类。
所有子类都拥有从其超类继承得到的关联。一些继承的关联在本部分中进行了特化,具体化的细
节定义见5.3。
5.3 服务模型注册元模型中的元类
5.3.1 原子_表达式
原子表达式是一个元类,它的每个实例表示一个单位粒度的逻辑表达式。
超类
表达式
属性 数据类型 多重度 描述
表达式_文本 串型 1.1 逻辑表达式的文字,由一种表达式符号描述。
参考 类 多重度 描述 反向参考 优先
约束
5.3.2 组合_表达式
组合表达式是一个元类,它的每个实例表示一个逻辑表达式,该逻辑表达式使用诸如合取、析取和
否定等组合类型,包括了多个原子表达式并且/或者其他的组合表达式。
超类
表达式
属性 数据类型 多重度 描述
组合_类型 串型 1.* 用来连接两个或多个逻辑表达式的符号。
参考 类 多重度 描述 反向参考 优先
组合_表达式 表达式 1.* 一系列表达式,用来组成
这个组合表达式。
被组合_表达式 是
约束
5.3.3 组合_类型
组合类型是一个枚举型,包括如下类型:
值 描述
合取 表示组合表达式为真当且仅当组成这个组合表达式的所有表达式为真。
析取 表示组合表达式为假当且仅当组成这个组合表达式的所有表达式为假。
否定 表示组合表达式是否为真或者为假,取决于组成这个组合表达式的原子表达式为相反
的布尔取值。
5.3.4 退出_条件
退出条件是一个元类,它的每个实例指定一个服务操作异常终止后应该存在的状态。
超类
模型_元素(见ISO/IEC 19763-10)
属性 数据类型 多重度 描述
名称 串型 0.1 服务退出条件的名称。
参考 类 多重度 描述 反向参考 优先
退出_条件_
逻辑表达式
表达式 1.1 用逻辑符号表达事实的
一个句子。
被表示_退出_条件 是
包含_服务_
操作
服务_操作 1.1 服务的执行活动。 被包含_退出_条件 否
约束
5.3.5 表达式
表达式是一个抽象元类,它的每个实例使用逻辑符号来表示一个句子,从而表达一个事实。
超类
模型_元素(见ISO/IEC 19763-10)
属性 数据类型 多重度 描述
符号 串型 1.* 是一种逻辑语言或标签,用来声明质量断言、服务的前
置条件以及后置条件。
参考 类 多重度 描述 反向参考 优先
被表示_前置
条件
前置条件 0.* 在操作调用前应为真的
约束。
前置条件_逻辑_
表达式
被表示_后置
条件
后置条件 0.* 在操作调用后应为真的
约束。
后置条件_逻辑_
表达式
被表示_退
出_条件
退出_条件 0.* 引起操作无法成功完成时
应为真的约束。
退出_条件_逻辑_
表达式
被表示_服务
质量断言
服务质量_断言 0.* 服务的非功能属性描述。
服务质量_逻辑_
表达式
被组合_表
达式
组合_表达式 0.1 由本表达式作为其中一
个元素所形成的组合表
达式。
组合_表达式 是
约束
5.3.6 输入_消息
输入消息是一个元类,它的每个实例都包含在服务操作执行时所消耗的消息中。
超类
模型_元素(见ISO/IEC 19763-10)
属性 数据类型 多重度 描述
名称 串型 1.1 服务操作执行之前所消耗的消息名字。
参考 类 多重度 描述 反向参考 优先
包含_服务_
操作
服务_操作 1.1 服务的动作执行。 被消耗_消息 否
约束_前置条
前置条件 0.* 服务成功被调用前的
状态。
被约束_输入 是
被参与_输入_
消息_类型
消息_类型 1.1 服务操作执行消费或生
成的消息类型。
参与_输入_消息 是
约束
5.3.7 消息_类型
消息类型是一个元类,它的每个实例都表示服务操作执行时消费或生成的消息类型。
超类
模型_元素(见ISO/IEC 19763-10)
属性 数据类型 多重度 描述
名称 串型 1.1 消息类型的名字。
消息_类型_
描述
字符 0.1 消息类型描述。
参考 类 多重度 描述 反向参考 优先
参与_输入_
消息
输入消息 0.* 服务执行消费的消息所
包含的信息。
被参与_输入_消
息_类型
参与_输出_
消息
输出消息 0.* 服务执行生成的消息所
包含的信息。
被参与_输出_消
息_类型
约束
5.3.8 输出_消息
输出消息是一个元类,是指服务操作执行后所生成的包含规约信息实例的消息。
超类
模型_元素(见ISO/IEC 19763-10)
属性 数据类型 多重度 描述
名称 串型 1.1 服务操作执行之后所生成的消息名字。
参考 类 多重度 描述 反向参考 优先
包含_服务_
操作
服务_操作 1.1 生成本输出消息的服务
操作。
被产生_消息 否
约束_后置
条件
后置条件 0.* 服务成功被调用后的
状态。
被约束_输出 是
被参与_输出_
消息_类型
消息_类型 1.1 服务操作执行消费或
生成的消息类型。
参与_输出_消息 是
约束
5.3.9 后置条件
后置条件是一个元类,它的每个实例指定了一个操作成功调用后的应为真的约束。
超类
模型_元素(见ISO/IEC 19763-10)
属性 数据类型 多重度 描述
名称 串型 0.1 服务后置条件的名称。
参考 类 多重度 描述 反向参考 优先
后置条件_逻
辑表达式
表达式 1.1 用逻辑符号表达事实的
一个句子。
被表示_后置条件 是
被约束_输出 输出_消息 0.* 消息内包含的是服务操
作执行后产生的信息。
约束_后置条件 否
包含_服务_
操作
服务_操作 1.1 包含本后置条件的服务
的执行动作。
被包含_后置条件 否
约束
5.3.10 前置条件
前置条件是一个元类,它的实例指定了一个操作成功调用前应为真的约束。
超类
模型_元素(见ISO/IEC 19763-10)
属性 数据类型 多重度 描述
名称 串型 0.1 本前置条件的名称。
参考 类 多重度 描述 反向参考 优先
前置条件_逻
辑表达式
表达式 1.1 用逻辑符号表达事实的
一个句子。
被表示_前置条件 是
被约束_输入 输入_消息 0.* 消息内包含的是服务操
作执行所消耗的信息。
约束_前置条件 否
包含_服务_
操......
|