GBT 32392.7-2018
基本信息
标准号： GBT 32392.7-2018
中文名称：信息技术 互操作性元模型框架(MFI) 第7部分：服务模型注册元模型
标准类别：国家标准(GB)
标准状态：现行
出版语种：简体中文
下载格式：.rar .pdf
下载大小：4317KB
标准分类号
关联标准
出版信息
相关单位信息
标准简介
GBT 32392.7-2018 信息技术 互操作性元模型框架(MFI) 第7部分：服务模型注册元模型
GBT32392.7-2018
标准压缩包解压密码：www.bzxz.net
标准图片预览
标准内容
ICS_35.040
中华人民共和国国家标准
GB/T32392.7—2018/ISO/IEC19763-7:2015信息技术
互操作性元模型框架（MFI）
第7部分：服务模型注册元模型
Information technologyMetamodel framework for interoperability(MFI)-Part7:Metamodel for servicemodel registration(ISO/IEC19763-7:2015,IDT)
2018-03-15发布
中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
2018-10-01实施
GB/T32392.7—2018/ISO/IEC19763-7:2015目
规范性引用文件
3术语和定义、缩略语，
术语和定义
3.2缩略语
4符合性
符合程度
实现符合性声明
5MFI服务模型注册
MFI服务模型注册概况
5.2MFI服务模型注册与MFI其他部分的关系·5.3服务模型注册元模型中的元类附录A（资料性附录）
服务描述语言列表
附录B（资料性附录）
参考文献
服务模型注册元模型的注册示例15
GB/T32392.7—2018/IS0/IEC19763-7:2015前言
GB/T32392《信息技术互操作性元模型框架（MFI）》分为以下几个部分：第1部分：参考模型；
第2部分：核心模型；
第3部分：本体注册元模型；
第4部分：模型映射元模型；
一第5部分：过程模型注册元模型；第7部分：服务模型注册元模型；第8部分：角色和目标模型注册元模型；第9部分：按需模型选择，
本部分为GB/T32392的第7部分。本部分按照GB/T1.1一2009给出的规则起草。本部分使用翻译法等同采用1SO/1EC19763-7:2015《信息技术互操作性元模型框架（MFI）第
7部分：服务模型注册元模型》
与本部分中规范性引用的国际文件有一致性对应关系的我国文件如下：GB/T32392.5一2018信息技术互操作性元模型框架（MFI）第5部分：过程模型注册元模型(ISO/IEC19763-5:2015.IDT)
GB/T32392.8—2018信息技术
互操作性元模型框架（MFI）第8部分：角色和目标模型注册元模型（IS0/IEC19763-8：2015，IDT）请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。本部分由全国信息技术标准化技术委员会（SAC/TC28)提出并归口。本部分起草单位：武汉大学、中国电子技术标准化研究院、金蝶软件（中国)有限公司。本部分主要起草人：何克清、冯在文、王独、王健、何非、王静、胡博。1
GB/T32392.7—2018/IS0/IEC19763-7:2015引言
随着面向服务的计算技术迅速发展，越来越多的计算资源以Web服务的方式体现出来。同时，基于服务的业务集成也正在成为一种流行的应用程序开发方法。服务是一种基于Web的应用程序，它包括了一个或多个计算单元，能够支持互联网上机器与机器间的互操作性交互。在Web服务注册与管理中，ebXMLRegRep是一个定义了服务接口、协议和信息模型为集成化的注册中心和存储库的规范，它为企业内或者跨企业的服务注册与发现提供了基础支持。然而，ebXMLRegRep中最基础的服务发现方法是基于关键字的查询，这不仅不可避免地导致查询结果不准确，还使得查询过程非常耗时。当业务信息交换和集成变得频繁时，服务发现中主要工作则应该通过机器进行自动处理。因此，需要将服务信息（包括功能和非功能信息）通过语义加以描述，并提供相应的注册和管理机制，通过规范的注册信息，帮助用户在海量的服务资源中发现合适的服务，同时促进各种异构服务描述之间的集成和语义互操作。本部分提供了一个通用框架，通过一种显示的方式注册服务的功能和非功能信息，通过规范的注册信息帮助用户发现合适的服务。1
iiKANiKAca
1范围
GB/T32392.7—2018/IS0/IEC19763-7:2015信息技术互操作性元模型框架（MFI）第7部分：服务模型注册元模型
GB/T32392的主要目标是构建支持互操作的元模型框架。本部分详细定义了一个注册服务模型的元模型，可通过服务的重用促进服务之间的互操作性。本部分仅适用于可被某种服务描述语言所描述的Web服务（这些语言的实例见附录A）。图1展示了本部分的研究范围。
ISO/IEC19763-7注册范围
基于ISO/IEC19763-7
的服务注册库
注：在注册之前，模型不需要存储于注册库中。WADL
图1本部分的范围
2规范性引用文件
图示符号
注册库
服务模型
服务元数据
下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件，仅注日期的版本适用于本文件。凡是不注日期的引用文件，其最新版本（包括所有的修改单)适用于本文件。注：下列所引用国际标准的术语和定义在第3章术语和定义中使用。ISO/IEC19763-5信息技术互操作性元模型框架第5部分：过程模型注册元模型（InformationtechnologyMetamodel framework for interoperability (MFI)-Part 5:Metamodel for process model registration)
ISO/IEC19763-8信息技术互操作性元模型框架第8部分：角色和目标模型注册元模型（In-formation technologyMetamodel framework for interoperability (MFI)-Part 8:Metamodel for roleHiiKAoNiKAca
GB/T32392.7—2018/IS0/IEC19763-7:2015and goal model registration)ISO/IEC19763-10信息技术互操作性元模型框架第10部分：核心模型和基本映射（Information technology-Metamodel framework for interoperability (MFD)Part 1o:Core model and basicmapping)
3术语和定义、缩略语
3.1术语和定义
下列术语和定义适用于本文件。3.1.1
atomic expression
原子表达式
具有单元粒度的逻辑表达式（3.1.5）。3.1.2
组合表达式
composite expression
由连接符组合而成的逻辑表达式（3.1.5），其中通过合取、析取和否定等连接符包含多个原子表达式（3.1.1)或者其他的组合表达式（3.1.2）。3.1.3
entity service
实体服务
业务为中心的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
消息类型
message type
在一个服务操作（3.1.18）的执行中消费或者产生的消息的分类3.1.10
output message
输出消息
服务操作（3.1.18)在执行后所生成的消息内部所包含的信息。2
iiiKAoNniKAca
后置条件
postcondition
操作完成时应为真的约束。
注：操作可以是过程或服务操作。3.1.12
前置条件
precondition
操作被调用前应为真的约束。
注：操作可以是过程或服务操作。3.1.13
process
GB/T32392.7—2018/IS0/IEC19763-7:2015组结构化和相互关联的活动或任务，用于实现一个特定的目标（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
Eserviceoperation
服务操作
服务（3.1.17)的执行动作。
任务服务
task service
功能边界直接与一个特定的过程模型相关的Web服务（3.1.22）3.1.20
usertag
用户标签
被个人或组织注释的标签，为了根据标签创建者的理解来描述服务（3.1.17）。3.1.21
公共设施服务utility service
致力于提供可复用的、具有横切特征的公共功能的Web服务（3.1.22），如：事务日志，通知，以及异常处理。
Web服务Web service
一种被设计用来支持在网络上可互操作的机器对机器的交互的服务（3.1.17）。3.2缩略语
下列缩略语适用于本文件。
ebXMLRegRepebXML注册库和存储库（ebXMLRegistry&Repository）3
HiiKAoNiKAca
GB/T32392.7—2018/IS0/IEC19763-7:2015IRI国际资源定位符（InternationalizedResourceIdentifier）MFI互操作性元模型框架（Metamodelframeworkforinteroperability）OWL-SWeb服务本体语言（WebOntologyLanguageforServices）QoS服务质量（QualityofService）SWRL语义网规则语言（SemanticWebRuleLanguage）WADLWeb应用程序描述语言（WebApplicationDescriptionLanguage）Web服务描述语言（WebServiceDescriptionLanguage）WSDL
WSMLWeb服务建模语言（WebServiceModelingLanguage）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）如果是符合实现，则支持和使用了哪些扩展。5MFI服务模型注册
5.1MFI服务模型注册概况
本部分规定了一个元模型，用以注册Web服务（下面简写为服务）的功能和非功能信息。附录A4
iiKAoNhiKAca
中列举了可以使用该元模型注册的部分服务描述语言。符号[1..
前置条件二遵1.1退出，条件1.1辑_表达式
逻辑_表达式
表达式
GB/T32392.7—2018/IS0/IEC19763-7:2015组合_表达式1.*
服务_描述，语言
被表示_退
0名称[1..1]
出条件0
退出条件
图称[0..1]
被包含_退出_条件0..1
被表示
前置条件
前置条件
名称[0..1】
约束_前置条件0.。被包含_前置条件0..1
1.1描述_语言
后置条件，逆辑11
1..1表达式
原子表达式
表达式文本[.]
组合表达式
0. 1~组合 类型([1.1
被表示_模型被组合二表达式
服务模型
名称[1]
被描述_IRI[0..1]
包含_模型
被包含_服务
服务质量类型
名称[1..1]
被使用一服务质量，类型1..*
被描述二服务质量二断言
1.被断言
所属二服务质
室二断告【服务质量，断言
球水被标准
领城1
被表示_后
置条件
后置条件
名称...]
被包含
后置条件
被表示_服务质量_断言
服务类型【1..11组合_服务服务0.
包含_服务1.10.1
包含服务_操作包含服务_操作
名称【1..1]
1.1包含，服务，操作免费标准下载网bzxz
被约束_输入..被消耗二消息
输入消息
名称[1..1]
0..参与_输入_消息
0..1被参与_输入_消息_类型
名称[1..1]
消息_类型_播述[0..1]
注：名称为斜体的元类是抽象元类用户标签
被组合服务服务标签标鑫一婴巢育.被包含_服务_操作
服务，操作
（枚举型》
组答类型
《枚革型》
服务类型
应角二服务
消息类型
图2服务模型注册元模型
包含_服务操作
包含_服务_操作1..1
被产生_消息0..*
输出二消息
名称[1..1]
约束_后置条件
被约束_输出
参与输出消息0..
被参与_输出_消息_类型0..
图2展示了服务注册的元模型。该元模型允许对服务的共性功能和非功能特征进行注册，这些服务使用一组服务描述语言所描述。每个服务模型使用一种特定的服务描述语言来表达，这个模型可以用来描述一个或多个服务。一个服务由零个或一个服务质量断言进行描述。服务质量断言用来定量或定性表达服务的非功能属性，如：响应时间，价格，可靠性等。每个服务质量断言利用唯一的一个表达式进行定义，表达式可以是组合表达式或原子表达式。每个服务质量断言拥有一个或多个服务质量类型服务是独立的模块化构件，并且仅能通过接口进行访问。因此，服务的能力用服务操作表示，每个服务操作表示服务的一个可执行动作。每个服务由零个、一个或多个服务操作所构成。每个服务操作由零个或一个前置条件、零个或一个后置条件和零个或一个退出条件所描述。其中，前置条件详细定义了在一个服务操作被调用之前应为真的约束，后置条件详细定义了一个服务操作调用完成之后应为真的约束，退出条件详细定义了一个操作没有被成功完成时为真的约束。每个前置条件、后置条件和退出条件使用一个且仅一个表达式进行定义，这个表达式可以是组合表达式也可以是原子表达式。同时，每个服务操作也由零个，一个或者多个输入消息，零个，一个或者多个输出消息所描述。每个输人消息规定了操作进行执行时所需的信息。每个输出消息规定了操作成功执行后产生的信息。每个消息类型提供了一条消息或者一组消息的描述，这些消息中的每一条都是在一个服务操作执行过程中被消耗或者产生。每个输人消息可以被零个，一个或者多个前置条件约束，每个输出消息可以被零个，一个或者多个后置条件约束。每个服务可以被一个或者多个用户标签所标注，每个标签可以被使用这个服务的任何一个用户所创建。
GB/T32392.7—2018/ISO/IEC19763-7:20155.2MFI服务模型注册与MFI其他部分的关系在本部分中，MFI的其他部分是指ISO/IEC19763-5、ISO/IEC19763-8和ISO/IEC19763-10。图3描述了本部分与ISO/IEC19763-5和ISO/IEC19763-8之间的关系。服务，参与
被参与_服务_参与
10..*被完成_日标
0..*被完成_目标
完全_被实现_过程
参与服务
名称[1..1]
被请求_IR[1..1]
0.*领域[1..1]
完成_服务
服务_类型[1..1]
完成_服务_操作0.，*
完全实现服务操作
注：灰色底色表示的元类是在MFI其他部分中定义的元类。名称【1.1]
包含_服务
被包含_服务操作
服务操作
图3ISO/IEC19763-5、ISO/IEC19763-7和ISO/IEC19763-8之间的关系每个服务实现零个、一个或多个目标。每个目标由零个、一个或多个服务实现。每个服务操作实现零个、一个或多个目标。每个目标由零个、一个或多个服务操作实现。每个服务操作能够完全实现零个，一个或多个过程。每个过程能够被零个一个或多个服务操作所完全实现。每个服务包括零个，个或多个服务参与，这单每个服务参与是指伴随一个服务的角色的参与，比如参与者或者受益者。每个服务参与指示了在一个服务的执行过程中被参与的一个角色。图4描述了ISO/IEC19763-7中的元类与ISO/IEC19763-10中的元类之间的关系源自TSO/TEC19763-10的核心_模型包建模语言
（JISO/LEC19763-10)
服务描述语言
用户标签
被描述描述
表达式
服务操作
原子表达式
见TSO/IEC
19763-10)
ISO/TEC
19763-7
服务_模型
输出二消息
输入二消息
组合表达式
被包含包含
模型_元素
见ISO/TEC
19763-10)
前置条件
退出二条件
注1：名称为斜体的元类是抽象元类。注2：灰色底色表示的元类是在MFI其他部分中定义的元类。服务质量_类型
后置条件
消息_类型
服务质量，断言
图4ISO/IEC19763-7与ISO/IEC19763-10之间的关系本部分中的服务描述语言元类是ISO/IEC19763-10中建模语言元类的子类。本部分中的服务_模型元类是ISO/IEC19763-10中模型元类的子类。本部分中的其他元类均为ISO/IEC19763-10中模型_元素元类的子类。
GB/T32392.7—2018/ISO/IEC19763-7:2015所有子类都拥有从其超类继承得到的关联。一些继承的关联在本部分中进行了特化，具体化的细节定义见5.3。
服务模型注册元模型中的元类
5.3.1原子_表达式
原子表达式是一个元类，它的每个实例表示一个单位粒度的逻辑表达式。超类
表达式
数据类型
表达式_文本串型
5.3.2组合_表达式
多重度
逻辑表达式的文字，由一种表达式符号描述多重度描述
反向参考
组合表达式是一个元类，它的每个实例表示一个逻辑表达式，该逻辑表达式使用诸如合取、析取和否定等组合类型，包括了多个原子表达式并且/或者其他的组合表达式。超类
表达式
组合_类型
数据类型
组合_表达式表达式
5.3.3组合_类型
多重度
用来连接两个或多个逻辑表达式的符号。多重度描述
组合类型是一个枚举型，包括如下类型：值
反向参考
系列表达式，用来组成被组合_表达式这个组合表达式。
表示组合表达式为真当且仅当组成这个组合表达式的所有表达式为真。表示组合表达式为假当且仅当组成这个组合表达式的所有表达式为假。优先
表示组合表达式是否为真或者为假，取决于组成这个组合表达式的原子表达式为相反的布尔取值。
GB/T32392.7—2018/IS0/IEC19763-7:20155.3.4退出_条件
退出条件是一个元类，它的每个实例指定一个服务操作异常终止后应该存在的状态超类
模型元素（见ISO/IEC19763-10）属性
退出_条件
逻辑表达式
包含_服务_
5.3.5表达式
数据类型
表达式
服务_操作
多重度描述
服务退出条件的名称。
多重度
用逻辑符号表达事实的
个句子。
服务的执行活动。
反向参考
被表示_退出条件是
被包含_退出_条件否
表达式是一个抽象元类，它的每个实例使用逻辑符号来表示一个句子，从而表达一个事实。超类
模型_元素（见ISO/IEC19763-10）属性
被表示_前置
被表示_后置
被表示_退
出_条件
被表示服务
质量断言
被组合_表
5.3.6输入_消息
数据类型
前置条件
后置条件
退出条件
服务质量_断言
组合表达式
多重度描述
是一种逻辑语言或标签，用来声明质量断言、服务的前置条件以及后置条件。
多重度主
在操作调用前应为真的
约束。
在操作调用后应为真的
约束。
反向参考
前置条件_逻辑
表达式
后置条件_逻辑
表达式
引起操作无法成功完成时退出_条件_逻辑_表达式
应为真的约束。
服务的非功能属性描述
由本表达式作为其中一
个元素所形成的组合表
达式。
服务质量_逻辑
表达式
组合_表达式
输人消息是一个元类，它的每个实例都包含在服务操作执行时所消耗的消息中。8
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。
中华人民共和国国家标准
GB/T32392.7—2018/ISO/IEC19763-7:2015信息技术
互操作性元模型框架（MFI）
第7部分：服务模型注册元模型
Information technologyMetamodel framework for interoperability(MFI)-Part7:Metamodel for servicemodel registration(ISO/IEC19763-7:2015,IDT)
2018-03-15发布
中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
2018-10-01实施
GB/T32392.7—2018/ISO/IEC19763-7:2015目
规范性引用文件
3术语和定义、缩略语，
术语和定义
3.2缩略语
4符合性
符合程度
实现符合性声明
5MFI服务模型注册
MFI服务模型注册概况
5.2MFI服务模型注册与MFI其他部分的关系·5.3服务模型注册元模型中的元类附录A（资料性附录）
服务描述语言列表
附录B（资料性附录）
参考文献
服务模型注册元模型的注册示例15
GB/T32392.7—2018/IS0/IEC19763-7:2015前言
GB/T32392《信息技术互操作性元模型框架（MFI）》分为以下几个部分：第1部分：参考模型；
第2部分：核心模型；
第3部分：本体注册元模型；
第4部分：模型映射元模型；
一第5部分：过程模型注册元模型；第7部分：服务模型注册元模型；第8部分：角色和目标模型注册元模型；第9部分：按需模型选择，
本部分为GB/T32392的第7部分。本部分按照GB/T1.1一2009给出的规则起草。本部分使用翻译法等同采用1SO/1EC19763-7:2015《信息技术互操作性元模型框架（MFI）第
7部分：服务模型注册元模型》
与本部分中规范性引用的国际文件有一致性对应关系的我国文件如下：GB/T32392.5一2018信息技术互操作性元模型框架（MFI）第5部分：过程模型注册元模型(ISO/IEC19763-5:2015.IDT)
GB/T32392.8—2018信息技术
互操作性元模型框架（MFI）第8部分：角色和目标模型注册元模型（IS0/IEC19763-8：2015，IDT）请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。本部分由全国信息技术标准化技术委员会（SAC/TC28)提出并归口。本部分起草单位：武汉大学、中国电子技术标准化研究院、金蝶软件（中国)有限公司。本部分主要起草人：何克清、冯在文、王独、王健、何非、王静、胡博。1
GB/T32392.7—2018/IS0/IEC19763-7:2015引言
随着面向服务的计算技术迅速发展，越来越多的计算资源以Web服务的方式体现出来。同时，基于服务的业务集成也正在成为一种流行的应用程序开发方法。服务是一种基于Web的应用程序，它包括了一个或多个计算单元，能够支持互联网上机器与机器间的互操作性交互。在Web服务注册与管理中，ebXMLRegRep是一个定义了服务接口、协议和信息模型为集成化的注册中心和存储库的规范，它为企业内或者跨企业的服务注册与发现提供了基础支持。然而，ebXMLRegRep中最基础的服务发现方法是基于关键字的查询，这不仅不可避免地导致查询结果不准确，还使得查询过程非常耗时。当业务信息交换和集成变得频繁时，服务发现中主要工作则应该通过机器进行自动处理。因此，需要将服务信息（包括功能和非功能信息）通过语义加以描述，并提供相应的注册和管理机制，通过规范的注册信息，帮助用户在海量的服务资源中发现合适的服务，同时促进各种异构服务描述之间的集成和语义互操作。本部分提供了一个通用框架，通过一种显示的方式注册服务的功能和非功能信息，通过规范的注册信息帮助用户发现合适的服务。1
iiKANiKAca
1范围
GB/T32392.7—2018/IS0/IEC19763-7:2015信息技术互操作性元模型框架（MFI）第7部分：服务模型注册元模型
GB/T32392的主要目标是构建支持互操作的元模型框架。本部分详细定义了一个注册服务模型的元模型，可通过服务的重用促进服务之间的互操作性。本部分仅适用于可被某种服务描述语言所描述的Web服务（这些语言的实例见附录A）。图1展示了本部分的研究范围。
ISO/IEC19763-7注册范围
基于ISO/IEC19763-7
的服务注册库
注：在注册之前，模型不需要存储于注册库中。WADL
图1本部分的范围
2规范性引用文件
图示符号
注册库
服务模型
服务元数据
下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件，仅注日期的版本适用于本文件。凡是不注日期的引用文件，其最新版本（包括所有的修改单)适用于本文件。注：下列所引用国际标准的术语和定义在第3章术语和定义中使用。ISO/IEC19763-5信息技术互操作性元模型框架第5部分：过程模型注册元模型（InformationtechnologyMetamodel framework for interoperability (MFI)-Part 5:Metamodel for process model registration)
ISO/IEC19763-8信息技术互操作性元模型框架第8部分：角色和目标模型注册元模型（In-formation technologyMetamodel framework for interoperability (MFI)-Part 8:Metamodel for roleHiiKAoNiKAca
GB/T32392.7—2018/IS0/IEC19763-7:2015and goal model registration)ISO/IEC19763-10信息技术互操作性元模型框架第10部分：核心模型和基本映射（Information technology-Metamodel framework for interoperability (MFD)Part 1o:Core model and basicmapping)
3术语和定义、缩略语
3.1术语和定义
下列术语和定义适用于本文件。3.1.1
atomic expression
原子表达式
具有单元粒度的逻辑表达式（3.1.5）。3.1.2
组合表达式
composite expression
由连接符组合而成的逻辑表达式（3.1.5），其中通过合取、析取和否定等连接符包含多个原子表达式（3.1.1)或者其他的组合表达式（3.1.2）。3.1.3
entity service
实体服务
业务为中心的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
消息类型
message type
在一个服务操作（3.1.18）的执行中消费或者产生的消息的分类3.1.10
output message
输出消息
服务操作（3.1.18)在执行后所生成的消息内部所包含的信息。2
iiiKAoNniKAca
后置条件
postcondition
操作完成时应为真的约束。
注：操作可以是过程或服务操作。3.1.12
前置条件
precondition
操作被调用前应为真的约束。
注：操作可以是过程或服务操作。3.1.13
process
GB/T32392.7—2018/IS0/IEC19763-7:2015组结构化和相互关联的活动或任务，用于实现一个特定的目标（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
Eserviceoperation
服务操作
服务（3.1.17)的执行动作。
任务服务
task service
功能边界直接与一个特定的过程模型相关的Web服务（3.1.22）3.1.20
usertag
用户标签
被个人或组织注释的标签，为了根据标签创建者的理解来描述服务（3.1.17）。3.1.21
公共设施服务utility service
致力于提供可复用的、具有横切特征的公共功能的Web服务（3.1.22），如：事务日志，通知，以及异常处理。
Web服务Web service
一种被设计用来支持在网络上可互操作的机器对机器的交互的服务（3.1.17）。3.2缩略语
下列缩略语适用于本文件。
ebXMLRegRepebXML注册库和存储库（ebXMLRegistry&Repository）3
HiiKAoNiKAca
GB/T32392.7—2018/IS0/IEC19763-7:2015IRI国际资源定位符（InternationalizedResourceIdentifier）MFI互操作性元模型框架（Metamodelframeworkforinteroperability）OWL-SWeb服务本体语言（WebOntologyLanguageforServices）QoS服务质量（QualityofService）SWRL语义网规则语言（SemanticWebRuleLanguage）WADLWeb应用程序描述语言（WebApplicationDescriptionLanguage）Web服务描述语言（WebServiceDescriptionLanguage）WSDL
WSMLWeb服务建模语言（WebServiceModelingLanguage）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）如果是符合实现，则支持和使用了哪些扩展。5MFI服务模型注册
5.1MFI服务模型注册概况
本部分规定了一个元模型，用以注册Web服务（下面简写为服务）的功能和非功能信息。附录A4
iiKAoNhiKAca
中列举了可以使用该元模型注册的部分服务描述语言。符号[1..
前置条件二遵1.1退出，条件1.1辑_表达式
逻辑_表达式
表达式
GB/T32392.7—2018/IS0/IEC19763-7:2015组合_表达式1.*
服务_描述，语言
被表示_退
0名称[1..1]
出条件0
退出条件
图称[0..1]
被包含_退出_条件0..1
被表示
前置条件
前置条件
名称[0..1】
约束_前置条件0.。被包含_前置条件0..1
1.1描述_语言
后置条件，逆辑11
1..1表达式
原子表达式
表达式文本[.]
组合表达式
0. 1~组合 类型([1.1
被表示_模型被组合二表达式
服务模型
名称[1]
被描述_IRI[0..1]
包含_模型
被包含_服务
服务质量类型
名称[1..1]
被使用一服务质量，类型1..*
被描述二服务质量二断言
1.被断言
所属二服务质
室二断告【服务质量，断言
球水被标准
领城1
被表示_后
置条件
后置条件
名称...]
被包含
后置条件
被表示_服务质量_断言
服务类型【1..11组合_服务服务0.
包含_服务1.10.1
包含服务_操作包含服务_操作
名称【1..1]
1.1包含，服务，操作免费标准下载网bzxz
被约束_输入..被消耗二消息
输入消息
名称[1..1]
0..参与_输入_消息
0..1被参与_输入_消息_类型
名称[1..1]
消息_类型_播述[0..1]
注：名称为斜体的元类是抽象元类用户标签
被组合服务服务标签标鑫一婴巢育.被包含_服务_操作
服务，操作
（枚举型》
组答类型
《枚革型》
服务类型
应角二服务
消息类型
图2服务模型注册元模型
包含_服务操作
包含_服务_操作1..1
被产生_消息0..*
输出二消息
名称[1..1]
约束_后置条件
被约束_输出
参与输出消息0..
被参与_输出_消息_类型0..
图2展示了服务注册的元模型。该元模型允许对服务的共性功能和非功能特征进行注册，这些服务使用一组服务描述语言所描述。每个服务模型使用一种特定的服务描述语言来表达，这个模型可以用来描述一个或多个服务。一个服务由零个或一个服务质量断言进行描述。服务质量断言用来定量或定性表达服务的非功能属性，如：响应时间，价格，可靠性等。每个服务质量断言利用唯一的一个表达式进行定义，表达式可以是组合表达式或原子表达式。每个服务质量断言拥有一个或多个服务质量类型服务是独立的模块化构件，并且仅能通过接口进行访问。因此，服务的能力用服务操作表示，每个服务操作表示服务的一个可执行动作。每个服务由零个、一个或多个服务操作所构成。每个服务操作由零个或一个前置条件、零个或一个后置条件和零个或一个退出条件所描述。其中，前置条件详细定义了在一个服务操作被调用之前应为真的约束，后置条件详细定义了一个服务操作调用完成之后应为真的约束，退出条件详细定义了一个操作没有被成功完成时为真的约束。每个前置条件、后置条件和退出条件使用一个且仅一个表达式进行定义，这个表达式可以是组合表达式也可以是原子表达式。同时，每个服务操作也由零个，一个或者多个输入消息，零个，一个或者多个输出消息所描述。每个输人消息规定了操作进行执行时所需的信息。每个输出消息规定了操作成功执行后产生的信息。每个消息类型提供了一条消息或者一组消息的描述，这些消息中的每一条都是在一个服务操作执行过程中被消耗或者产生。每个输人消息可以被零个，一个或者多个前置条件约束，每个输出消息可以被零个，一个或者多个后置条件约束。每个服务可以被一个或者多个用户标签所标注，每个标签可以被使用这个服务的任何一个用户所创建。
GB/T32392.7—2018/ISO/IEC19763-7:20155.2MFI服务模型注册与MFI其他部分的关系在本部分中，MFI的其他部分是指ISO/IEC19763-5、ISO/IEC19763-8和ISO/IEC19763-10。图3描述了本部分与ISO/IEC19763-5和ISO/IEC19763-8之间的关系。服务，参与
被参与_服务_参与
10..*被完成_日标
0..*被完成_目标
完全_被实现_过程
参与服务
名称[1..1]
被请求_IR[1..1]
0.*领域[1..1]
完成_服务
服务_类型[1..1]
完成_服务_操作0.，*
完全实现服务操作
注：灰色底色表示的元类是在MFI其他部分中定义的元类。名称【1.1]
包含_服务
被包含_服务操作
服务操作
图3ISO/IEC19763-5、ISO/IEC19763-7和ISO/IEC19763-8之间的关系每个服务实现零个、一个或多个目标。每个目标由零个、一个或多个服务实现。每个服务操作实现零个、一个或多个目标。每个目标由零个、一个或多个服务操作实现。每个服务操作能够完全实现零个，一个或多个过程。每个过程能够被零个一个或多个服务操作所完全实现。每个服务包括零个，个或多个服务参与，这单每个服务参与是指伴随一个服务的角色的参与，比如参与者或者受益者。每个服务参与指示了在一个服务的执行过程中被参与的一个角色。图4描述了ISO/IEC19763-7中的元类与ISO/IEC19763-10中的元类之间的关系源自TSO/TEC19763-10的核心_模型包建模语言
（JISO/LEC19763-10)
服务描述语言
用户标签
被描述描述
表达式
服务操作
原子表达式
见TSO/IEC
19763-10)
ISO/TEC
19763-7
服务_模型
输出二消息
输入二消息
组合表达式
被包含包含
模型_元素
见ISO/TEC
19763-10)
前置条件
退出二条件
注1：名称为斜体的元类是抽象元类。注2：灰色底色表示的元类是在MFI其他部分中定义的元类。服务质量_类型
后置条件
消息_类型
服务质量，断言
图4ISO/IEC19763-7与ISO/IEC19763-10之间的关系本部分中的服务描述语言元类是ISO/IEC19763-10中建模语言元类的子类。本部分中的服务_模型元类是ISO/IEC19763-10中模型元类的子类。本部分中的其他元类均为ISO/IEC19763-10中模型_元素元类的子类。
GB/T32392.7—2018/ISO/IEC19763-7:2015所有子类都拥有从其超类继承得到的关联。一些继承的关联在本部分中进行了特化，具体化的细节定义见5.3。
服务模型注册元模型中的元类
5.3.1原子_表达式
原子表达式是一个元类，它的每个实例表示一个单位粒度的逻辑表达式。超类
表达式
数据类型
表达式_文本串型
5.3.2组合_表达式
多重度
逻辑表达式的文字，由一种表达式符号描述多重度描述
反向参考
组合表达式是一个元类，它的每个实例表示一个逻辑表达式，该逻辑表达式使用诸如合取、析取和否定等组合类型，包括了多个原子表达式并且/或者其他的组合表达式。超类
表达式
组合_类型
数据类型
组合_表达式表达式
5.3.3组合_类型
多重度
用来连接两个或多个逻辑表达式的符号。多重度描述
组合类型是一个枚举型，包括如下类型：值
反向参考
系列表达式，用来组成被组合_表达式这个组合表达式。
表示组合表达式为真当且仅当组成这个组合表达式的所有表达式为真。表示组合表达式为假当且仅当组成这个组合表达式的所有表达式为假。优先
表示组合表达式是否为真或者为假，取决于组成这个组合表达式的原子表达式为相反的布尔取值。
GB/T32392.7—2018/IS0/IEC19763-7:20155.3.4退出_条件
退出条件是一个元类，它的每个实例指定一个服务操作异常终止后应该存在的状态超类
模型元素（见ISO/IEC19763-10）属性
退出_条件
逻辑表达式
包含_服务_
5.3.5表达式
数据类型
表达式
服务_操作
多重度描述
服务退出条件的名称。
多重度
用逻辑符号表达事实的
个句子。
服务的执行活动。
反向参考
被表示_退出条件是
被包含_退出_条件否
表达式是一个抽象元类，它的每个实例使用逻辑符号来表示一个句子，从而表达一个事实。超类
模型_元素（见ISO/IEC19763-10）属性
被表示_前置
被表示_后置
被表示_退
出_条件
被表示服务
质量断言
被组合_表
5.3.6输入_消息
数据类型
前置条件
后置条件
退出条件
服务质量_断言
组合表达式
多重度描述
是一种逻辑语言或标签，用来声明质量断言、服务的前置条件以及后置条件。
多重度主
在操作调用前应为真的
约束。
在操作调用后应为真的
约束。
反向参考
前置条件_逻辑
表达式
后置条件_逻辑
表达式
引起操作无法成功完成时退出_条件_逻辑_表达式
应为真的约束。
服务的非功能属性描述
由本表达式作为其中一
个元素所形成的组合表
达式。
服务质量_逻辑
表达式
组合_表达式
输人消息是一个元类，它的每个实例都包含在服务操作执行时所消耗的消息中。8
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。