中文摘要：

在发达的互联网时代，软构件是高效软件开发与服务的主流技术。互操作性是最核心的技术指标，它要求软件系统的互连、互通、互操作，没有互操作性的软件只能是一块信息孤岛。以软构件注册（Registering）和库管理(Repository)为中心的互操作性保证IA(Interoperability Assured)的R&R方法与技术是软构件Web服务的关键。本研究对推动互联网上软件产业的发展，促进信息产业结构调整具有重要意义。 我们将哲学的本体论与软件工程中元建模理论相互有机地结合，提出IA新概念的本体元建模理论与新方法；研究软构件属性的分类本体，软构件元属性类型及其元属性约束的OCL描述与检查方法；软构件库的管理模式与元框架；体系化本体及其对应的元模型体系；软构件R&R方法；基于元模型的软构件"绑定"服务的模型与方法；典型应用领域的实验研究；提出软构件R&R国际ISO互操作性标准方案。

结论摘要：

在发达的互联网时代，软构件是高效软件开发与服务的主流技术。互操作性是最核心的技术指标，它要求软件系统的互连、互通、互操作，没有互操作性的软件只能是一块信息孤岛。以软构件注册（Registering）和库管理(Repository)为核心的互操作性保证IA(Interoperability Assured)的R&R方法与技术是软构件Web服务的关键。本研究对推动互联网上软件产业的发展，促进信息产业结构调整具有重要意义。我们将哲学的本体论与软件工程中元建模理论相互有机地结合，提出IA新概念的本体元建模理论与新方法；研究软构件属性的分类本体，软构件元属性类型及其元属性约束的OCL描述方法；软构件库的管理模式与元框架；体系化本体及其对应的元模型体系；软构件R&R方法；软构件互操作性"绑定"服务；典型应用领域的实验研究；互操作性基础设施体系结构；提交了以软构件为实证的国际ISO/IEC 19763-3标准FCD版。