|
研究目标
随着网络化应用需求的日益加强，以及系统规模和复杂性的增长，软件工程技术正达到它的极限。面对超大规模的软件复杂系统，下一代的软件工程需要研究快速而正确设计和开发新形态软件的方法。以人能理解和操控的、语义导向的抽象计算为核心，研究面向网络资源服务的“计算型”软件工程理论，探索对新型软件系统进行智能控制的途径，以及增强软件互操作性的方法。
研究方向和内容
（1）复杂系统的软件工程
针对网络时代软件面临的新形势与新危机，研究软件及软件产业转型期的软件新形态及其新特质。研究复杂系统的软件需求工程，提供支撑复杂信息系统的软件随需而变、协同应变的理论与方法。研究基于复杂网络特性的软件适应性体系结构及演化建模、优化设计、即时构造方法、复杂性度量和调控等“计算型“软件工程理论和方法 。
（2）语义Web服务工程理论与方法
研究语义Web服务规范框架及其逻辑理论基础，包括语义服务的元计算问题，本体元建模理论与方法，以及本体的UML承诺、本体的UML表达和本体元机制，本体建模和MOF元模型设施相融合的体系结构等。
（3）复杂信息资源语义互操作性管理与服务
以网上复杂信息资源注册和资源（库）管理为核心，在本体元建模基础上，研究复杂信息资源语义互操作性管理与服务的元模型互操作框架MFI（Metamodel Framework for Interoperability）及其国际标准ISO/IEC 19763。研究通过MFI和SOA相结合的SSOA（Semantic SOA）架构实现应用集成的方法和技术。
（4）嵌入式软件开发环境与支撑平台
研究嵌入式软件开发平台的设计与开发；在国际标准的嵌入式UML(eUML)规范的基础上，把可视化的eUML技术运用于嵌入式软件开发的各个阶段，研究嵌入式软件的建模、模型验证、模型模拟和代码的自动生成的方法与实现技术；支持嵌入式软构件库，实现嵌入式软构件的重用，提高嵌入式软件的开发效率和质量。
（5）软件互操作性保证与测评
研究软件互操作性保证的理论与方法，包括互操作性保证的层次框架、解决方案和保证方法。并结合电子商务，语义Web服务等应用环境，制定标准的互操作性测评技术规范，并结合测评技术规范实现测评工具和测试平台。
重要研究成果：
本体元建模
（1）理论、方法与技术
• 基于元计算的本体与元建模有机融合的理论与方法 • 信息资源语义Web服务的本体元建模 • 网络信息资源有序深度聚合的复杂性度量模型研究
（2）标准、平台与应用
基于本体元建模方法的元模型互操作性架构MFI（Metamodel Framework for Interoperability），可以广泛应用于电子政务、电子商务、软构件重用服务工程、国家公共信息服务管理、国家科学环境中信息资源服务管理、语义Web服务、军用战略信息资源管理与服务等领域 复杂信息资源的 互操作管理与服务标准 （1）主持研制ISO/IEC 国际标准：Information technology – Framework for metamodel Interoperability–3 : Metamodel for ontology registration。可以广泛应用于电子政务、电子商务、软构件重用服务工程、国家公共信息服务管理、国家科学环境中信息资源服务管理、语义Web服务、军用战略信息资源管理与服务等领域。 （2）主持研制国家推荐性标准：信息技术－元模型互操作性框架 （No.1356-1359 ）。 （3）示范应用：复杂信息资源语义互操作管理与服务的应用集成平台。
|
