| 【项目目标】 |
【研究目标】
提出信息服务的统一描述语言，支持服务的动态发现、聚合和集成。进一步研究该服务描述语言的语义表示、分析与确认等理论与方法，对所开发的服务能够从语义上进行分析与验证。研究如何规范化地设计信息服务，建立基于过程范式理论的信息服务构造方法。在此基础之上，研究基于过程范式的信息服务验证和确认技术，提供验证所开发服务是否满足过程范式规范的方法。
【研究主要内容】
1.信息服务的统一描述语言
2.信息服务的语义表示、分析与确认
3.基于过程范式的信息服务的构造理论与方法
4.信息服务的验证与确认技术 |