信息服务的模型与机理研究Word格式.docx
- 文档编号:17835315
- 上传时间:2022-12-11
- 格式:DOCX
- 页数:21
- 大小:520.89KB
信息服务的模型与机理研究Word格式.docx
《信息服务的模型与机理研究Word格式.docx》由会员分享,可在线阅读,更多相关《信息服务的模型与机理研究Word格式.docx(21页珍藏版)》请在冰豆网上搜索。
而这些研究都需要一套坚实的形式化理论和方法体系来对其进行支持,因此需要建立信息服务行为的网进程模型及其代数理论。
主要内容包括:
Ø
信息服务行为的网进程模型;
网进程的代数理论;
基于网进程理论的信息服务行为分析和验证。
(2)信息服务的规范化理论
由于网络环境的复杂性、人们需求的多样性,造成各类信息服务难以共享,制约了信息服务的进一步发展。
为提供高质量、易于共享、易于重用的信息服务,本项目将在信息服务行为分析的基础上,探索信息服务的设计、开发与评价的理论;
围绕信息服务的粒度、流程、交互及执行四个方面,建立服务的过程范式体系,提供一套规范化方法。
信息服务的过程范式体系;
信息服务过程范式的形式语义;
过程范式的形式化验证算法;
信息服务的规范化方法。
2.信息服务的设计方法学
目前,对信息服务的设计并没有一套统一的方法体系,本项目将依据信息服务的过程范式理论,着手从信息服务的需求、流程与语义出发,给出一套行之有效的设计、分析方法,确保服务流程的正确,提高服务的重用。
(1)信息服务需求的获取、建模与确认
网上大量用户不确定的多样性服务要求,导致了频繁变化与多目标的用户需求,而传统的面向确定用户、确定需求与确定目标的软件需求工程方法已难以满足上述变化。
为此,需要建立适合描述大众用户服务要求的需求模型——业务视图模型,即在传统需求规格说明书的基础上,侧重刻画用户需求的整体业务流程,使我们能够以一种能被业务领域专家理解和验证的精确方式来表达业务领域知识及需求。
基于情景和特征领域的服务需求的分类与描述方法;
业务视图模型及获取方法;
业务视图模型的演化理论;
需求协同与优化理论;
业务视图模型的分析与验证。
(2)服务流程的设计、验证与优化
未来信息服务的一个发展方向是能够利用各种网络环境下的跨平台、松散耦合的若干服务,来协同构造一个满足用户需求的增值服务。
这就要求在针对新的用户需求进行服务设计时,一方面要保证服务易被其他服务可重用,另一方面要保证可重用已有服务。
这些都涉及按照何种粒度对服务进行拆分,如何建立满足用户需求的、可通过绑定基本服务实现、并易被其他服务可重用的服务流程。
为此,主要内容包括:
信息服务的统一描述语言;
服务的拆分理论与方法;
基于范式的服务流程设计方法;
服务流程的分析及验证;
服务流程的优化方法。
(3)服务语义描述、分析与推理
服务的描述是构建信息服务的基石,表达和描述服务提供的功能、服务输入/输出以及服务正确执行必须满足的约束等的语义有助于准确快速地发现服务、实现服务间的交互、提高服务匹配的精度和保证匹配的正确性。
因此,研究信息服务语义(包括内容、接口、策略等多维语义)模型及相关方法,是实现信息服务智能聚合、协同以及有效使用的基础。
信息服务多维语义描述模型与分析方法;
信息服务的多维语义标注方法;
语义匹配的机理及方法;
语义推理方法。
3.网络环境下的信息服务适配理论
融合网络下的信息服务面对的是一个更加开放、异构的复杂网络环境,一个满足用户需求的信息服务往往是由多个跨网络、跨组织部署的信息服务按照一定的方式进行聚合、协同得到的。
而每一个组织对其提供的信息服务都有适合自身环境的描述模型、实现技术以及适合服务部署的平台资源环境,因而信息服务与环境之间存在着各种适配问题。
解决这些适配问题,是实现信息服务正常运行及最优化运行的关键。
(1)服务的可适配理论
服务的可适配理论主要解决一个服务在当前环境下是否可以部署、执行的问题。
针对服务的可适配性问题,我们将主要从环境和流程两个要素出发进行研究。
首先解决在当前网络、资源等条件下服务是否可以实现的问题,即单一服务的可适配问题;
其次解决是否可以基于已有的信息服务通过聚合、协同实现增值服务的问题,即复合服务的可适配问题。
多维环境管理模型的建模、表示与推理方法;
服务的适配性模型及机理;
业务与环境的能力适配方法;
基于业务视图的服务聚合理论与协同机制。
(2)环境敏感的主动服务理论
每一种信息服务都有适合自身环境的描述模型与实现技术,并且部署、运行于一定的环境之中,因此其可用性同环境密切相关,环境的切换可能会导致服务的可用性发生变化。
因此,有必要研究环境敏感的主动服务理论,能够感知环境变化并主动提供适应当前环境的服务,始终保持业务的最优/次优运行状态,提升服务主动应对网络环境和自身状态变化的能力,解决环境变化导致服务质量降低的问题。
面向多维环境管理模型的环境获取方法;
基于环境信息的服务状态感知与异常检测机制;
环境自适应的服务选择/服务主动推荐与替换算法。
(3)信息服务的质量保证与控制
由于信息服务面临环境的异构、开放、复杂、多变等特性,给信息服务的运行带来了多种不确定因素,使得信息服务的性能和服务质量难以得到保证。
此外,在融合网络下,一个满足用户需求的信息服务往往跨越多个网络,而不同网络环境中的QoS度量标准、技术都各有不同。
传统的分析、设计和保证方法和技术都难以适应面向信息服务技术局部自治、自主协同、动态演化等特点。
因此,全面、准确地反映网络环境下信息服务的服务质量需求、属性和风险因素,控制和保障网络环境下信息服务质量变得十分必要和迫切。
针对这个问题,将具体研究:
信息服务质量的度量指标体系;
信息服务质量的形式化模型;
信息服务质量控制模型和保障机制;
信息服务质量控制和保障的分析与验证技术。
4.信息服务的运行支撑平台与应用验证
(1)信息服务的运行支撑平台
我们设计的信息服务运行支撑平台是一种支持满足用户需求的信息服务设计、聚合、协同运行的一组可扩展、可伸缩的服务中间件集合。
该平台将以XML等标准语言作为信息服务信息交换的主要载体,提供多种中间件服务,包括可靠消息中间件、信息转换中间件、信息集成中间件、流程管理系统、质量控制中间件等,能够适应融合网络下满足用户需求的聚合信息服务的异构性、动态性和分布性等特性,方便地实现跨网络、跨组织信息服务的有效集成,为融合网络环境下的信息服务提供开发、部署和运行提供支持。
运行支撑平台的架构及其实现模型;
运行支撑平台的关键技术;
平台的开发及其部署。
(2)交通信息服务应用验证研究
随着计算技术、通讯技术及信息处理技术的高速发展,人们把解决交通问题的思路转到智能交通系统研究上来,面向交通信息服务的应用现状及特点,基于所研究的理论、技术、方法及运行支撑平台,开展融合网络的交通信息服务应用验证研究。
针对交通信息服务具有分布、动态、实时、协同和非确定等特性,基于过程范式理论及服务设计方法学,研究可扩展、可伸缩的交通信息服务流程,以实现交通信息服务与环境的适应性,实现实时交通流信息、交通设备状态信息、静态道路信息等的有效协同和聚合,实现适应环境变化的交通信息服务。
并利用融合网络,提供交通信息服务,尽可能地方便出行。
具体研究内容如下:
基于过程范式理论的交通信息服务的流程规范化设计方法;
适应环境变化的交通信息服务自适应机制;
动态交通信息服务聚合与协同;
交通出行方案服务发布与定制。
(3)医疗信息服务应用验证研究
面向医疗信息集成和共享,分析目前医疗信息服务的应用现状,融合项目得到的理论、技术、方法及运行支撑平台,开展基于融合网络的医疗信息服务应用验证研究。
针对“社区卫生服务中心——二级医院——三级医院”三级模式的梯级分诊制度,基于过程范式理论和信息服务设计方法学,设计并优化医疗信息服务流程,实现不同卫生机构之间医疗信息服务的聚合与协同,将不同的医院及卫生机构有效地协同起来,实现资源和信息共享。
利用融合网络,基于多种信息载体,提供多样化、全覆盖的公共卫生信息发布服务以及医护信息定制服务,通过手机、电视、互联网等,让民众都能及时收到权威信息或者随时定制医护信息。
面向广域用户的医疗信息服务的业务视图模型;
基于过程范式理论的医疗信息服务的流程设计与优化;
不同医疗机构间信息服务的按需聚合;
跨域、跨组织的医疗信息服务协同机制。
二、预期目标
总体目标:
面向我国信息产业发展和信息化建设对网络环境下的信息服务的迫切需求,瞄准信息技术发展的世界前沿,以“为用户提供高质量保证的信息服务”为核心目标,构建信息服务的基础理论体系,突破信息服务设计和实施的关键技术,提供信息服务的运行支撑平台。
五年预期目标:
1.理论研究成果
(1)揭示信息服务的内在规律和本质属性,建立基于网进程的信息服务行为模型及其分析理论;
(2)探明服务粒度、流程和环境对服务性能、共享和重用的影响规律,构建指导和规范信息服务设计和实施的过程范式理论;
(3)探索多目标下的信息服务模式,提供范式指导下的信息服务设计方法学;
(4)揭示服务和环境的相互作用和交互机理,建立服务的适配性理论;
(5)揭示服务外在环境变化的特征及其对服务质量和性能的影响规律,建立上下文敏感的主动服务理论。
2.技术创新和应用成果
(1)基于过程范式理论的服务设计方法;
(2)服务需求模型的获取与演化技术;
(3)融合网络环境下的服务发现、聚合和协同技术;
(4)服务质量保证及全生命周期管理方法;
(5)信息服务的可扩展、可伸缩的运行支撑平台;
(6)交通、医疗信息服务应用示范系统。
3.具体指标:
在国内外核心刊物与国际会议上发表论文300篇以上,其中国际重要刊物与会议发表100篇以上;
学术著作5部;
培养博士、博士后等100人以上;
申请发明专利20项以上,获得软件著作权10项以上,提交信息服务规范标准建议草案1项。
三、研究方案
1、总体研究思路和技术路线
本项目的总体研究思路是瞄准国家对信息化建设的需求,针对信息服务的主要理论难点,凝炼出两个基础科学问题,设立六个研究课题,通过多领域交叉融合研究,实现本项目的预期研究目标。
项目在继承和利用已有的模型、理论和方法基础上,强调自主创新性研究,将重点放在原始创新及其应用基础研究上。
项目延循“纵-横”两条主线,围绕关键科学问题展开信息服务的基础理论与方法研究,理论联系实际,以平台、应用验证研究成果、反馈需求,推动基础研究的不断深入,产生初步的社会和经济效益后推广应用。
项目概要技术路线见图1。
图1.项目的概要技术路线
项目形成从应用需求出发,建立基础模型,研究核心理论方法,突破关键技术,研制支撑平台,开展应用研究,以应用检验和发展理论的“纵”向主线。
在把握“纵”向主线的同时,项目从关键科学问题之间的有机联系出发,注重研究内容的衔接和关联,形成贯穿服务全生命周期的“横”向主线:
需求分析建模服务构造聚合协同服务评测质量管理在线控制动态服务在线需求调整。
“横”向主线的提出有利于明确研究内容的定位,促进技术的衔接,加强课题的交流和互动,推动项目的研究。
具体的技术路线见图2。
图2.项目的具体技术路线
在广泛、深入分析现有信息服务模式、理论和应用案例基础上,借鉴和吸收已有的并发系统模型优点,构建适于刻画和描述信息服务行为的网进程模型,通过探索信息服务的本质规律和内在属性,建立系统化的过程范式理论体系,形成坚实的理论基石。
针对两个关键科学问题,构建各具特色的基础模型:
业务视图模型、服务描述模型和服务质量模型。
进而围绕基础模型,开展核心理论方法的研究,形成各关键科学问题的解决方案。
针对服务的表达性问题,从需求入手,综合领域本体、数据挖掘、需求工程等方面的研究成果,基于“用户主导、面向领域、迭代演化”的思想,研究动态建模、验证确认和协同优化等内容,应对信息服务需求的不确定性和多样性,实现需求建模;
针对服务流程表达,走规范化道路,发展基于过程范式的服务设计方法,实现服务流程的构造和验证;
最后,从服务的可用性着重刻画服务语义,研究知识工程和语义推理,提供服务内容语义和接口语义的匹配和确认技术,实现服务的精确定位和有效重用。
针对服务的适配性问题,构建多维的环境管理模型,刻画环境资源的服务能力,进而研究服务的可适配理论,解决流程和环境的可适配问题;
在实现适配的基础上,开展服务互操作的研究,提出服务发现、匹配和选择等技术,突破服务聚合与协同的关键技术,实现按需聚合和智能协同。
结合事务管理,提供个性化和区分服务,增强服务自适应能力。
进而围绕质量模型,以随机过程作为主要研究手段,结合优化理论和QoS技术,发展面向信息服务的质量度量、评测和管理理论,实现服务的可观和可测,发展在线控制技术,实现服务可控。
基于上述理论成果,研制信息服务的运行支撑平台,并在交通、医疗信息服务中展开应用验证研究,形成完整的研究体系。
2、可行性分析
(1)项目预研工作充分,基础扎实
本团队长期从事大规模并发、密集型服务的形式化模型和运行机理、主动服务网络计算模型及其体系结构、服务资源的组织、管理及配置理论、服务可适配性理论和流程动态构造、服务质量和可信性评价模型与技术、面向服务的计算系统试验平台及其典型示范应用等方面的研究。
在相关理论及方法方面取得了若干成果:
●提出了离散事件动态系统的PN机理论,定义了PN机的行为不变性与行为相关性,初步探讨了PN机的运算,刻画了其动态特征,并将这些理论初步应用于服务的行为建模与分析;
●研究了基于计算的智能体的模型和模态逻辑以及极大可满足问题求解,开发了目前世界领先的最大可满足性问题求解器;
首次解决了著名的WAN模型对Prolog非逻辑成份不提供支持的难题;
●研究了基于SOA体系结构和模型驱动方法的需求获取、建模和模型转换方法,并实现了从需求到CIM,CIM到PIM及PIM到PSM的半自动转换;
●提出了基于EPr/TN网系统的协议验证基本方法,开发了协议描述、验证和仿真的计算机辅助工具PESAT系统,提出了网络智能管理的体系结构和面向对象的异构网络资源的表示技术;
●提出了面向网格资源管理提供主动服务的虚拟超市模型;
研究了基于逻辑、AI规划、遗传算法等方法的服务匹配、组合及选择技术;
●提出了随机高级Petri网理论以及非马尔可夫进程代数模型PEPABS,并应用于服务质量控制与保障等方面;
●设计、实现了基于SOA架构的电信业务Niffler系统,集成分布式环境下松散耦合的应用、业务单元以及异构系统。
该系统已经成功申请到软件著作产权。
本团队取得的成果,已发表在《中国科学》、《TheoreticalComputerScience》、IEEETransactions、MobiCom、VLDB、SIGMOD、WWW等国内外著名期刊或会议上,为本项目的研究奠定了坚实的基础。
(2)研究目标明确,研究思路可行
研究目标明确:
项目将从实际问题出发,广泛调研,凝练基础科学问题,创新性地提出服务过程范式理论,以此为基础,围绕两个关键科学问题,开展系统研究,对于相关的研究内容确定了明确的研究目标。
研究思路可行:
针对两个关键科学问题,采用构建理论、提出方法、分析应用的技术途径,提出的学术思路和技术途径明确、具体,针对性强。
下面将具体论证我们的研究思路是可行的。
首先,为信息服务的分析、设计等操作提供一套具有数学基础理论——网进程及其代数理论和一套规范化理论——信息服务的过程范式理论是可行的。
通过深入分析融合网络环境下信息服务的本质特征,在集成和综合Petri网、进程代数和时序逻辑等形式化方法的基础上,构建适于刻画和描述信息服务行为的网进程模型,进而研究网进程的代数算子,建立网进程的代数理论是可行的。
通过分析现有信息服务在开发部署上的一些成功和失败案例,探索总结信息服务设计的本质规律,从服务的粒度、流程、交互、执行四个层次出发,研究信息服务设计和实施的规范化条件,建立信息服务的过程范式体系及规范化方法是可行的。
其次,从需求、流程和语义的角度建立一套设计方法学,提高服务的可重用性是可行的。
针对需求分析,通过分析信息服务的领域相关特征信息,刻画用户需求的整体服务流程,实现业务视图模型的获取,以用户、领域、环境等的动态变化为演化动力,以模型验证与确认技术为检验依据,以在线调整的策略与方法为协同优化措施,实现业务视图模型的演化、分析验证及协同优化是可行的。
针对服务流程设计及分析,借助于网进程及其代数理论,对其加以研究。
针对服务语义,可以通过分析融合网络下信息服务的一般特征及其组成元素,基于本体,研究信息服务的语义描述模型及语义标注方法;
进而基于本体推理,可以实现语义匹配及推理研究。
再次,建立信息服务的多维环境管理模型,研究服务同环境的能力适配方法及环境敏感的主动服务理论是可行的。
通过深入分析构成一般信息服务部署及运行环境的各要素,如资源、网络等,基于本体论等方法,可以组织建立一个通用的多维环境的管理框架语义模型,进而实现其推理。
基于扩充语义推理等方法的高级网进程,可以建立服务-环境的能力适配模型,进而研究服务同环境的能力适配判定。
面向多维环境管理模型,借鉴Agent的环境感知方法,可以实现服务的环境感知和获取,进而研究主动服务理论。
最后,在上面理论及方法研究的基础上,利用XML、Web服务等相关标准和技术,实现运行支撑平台及在交通、医疗等领域的信息服务应用是可行的。
项目组在智能交通领域已有很好的工作基础,先后获得国家863,发改委,上海市科委等重大专项支持。
在交通信息服务领域已完成了交通应用数据表示标准、数据传输规范、信息服务表示规范的制订,并已经将交通信息服务封装成标准的Web服务方式,如动态路径规划,全区域实时路况,交通仿真与路况预测等。
本项目基于过程范式理论开发的信息服务运行支撑平台,对信息服务的模式和 机理进行全面剖析,有利于交通信息服务的规范化设计与优化,对于我们已有的成果是一个大的促进,同时通过交通信息服务的验证,以成熟的应用反馈理论需求,促进理论的深化与发展。
因此,交通信息服务验证是必要的且可行的。
面向数字化医疗领域,基于运行支撑平台建立医疗信息服务应用示范是可行的。
通过深入分析社区卫生服务中心、二级医院、三级医院的主业务功能、用户群、可共享的资源及服务等,建立医疗信息服务应用系统的基本框架模型。
在此基础上,首先获取不同用户群的多样化和个性化需求,建立描述大众用户医疗服务要求的业务视图模型;
其次,结合各自的主业务功能,利用项目提出的服务拆分理论与方法和基于范式的服务流程设计方法,建立并优化各级医疗机构的信息服务流程;
第三,在现有基础上,构建一套医疗信息服务语义描述标准,统一标注各医疗机构提供的服务,使其具有丰富的语义;
第四,根据用户的个性化需求,利用统一的语义描述标准,基于服务聚合理论与协同机制,实现跨机构、跨域的服务流程聚合。
(3)研究条件良好,研究力量较强
本项目依托嵌入式系统与服务计算教育部重点实验室与高性能计算国家工程分中心,有多个与本项目有关的国家和省部重点实验室参加本项目研究,具备项目研究所需的试验设备条件。
研究队伍以国家杰出青年基金获得者、教育部跨(新)世纪人才等中青年为主,是一支年龄结构合理、专业知识互相匹配的精干队伍,可保证本项目研究的顺利开展。
项目各参加单位和参加人员已经进行了大量与本项目有关的研究工作,承担过与本项目有关的国家973、国家自然科学重点基金和国家863项目,具有研究工作基础。
与此同时,课题组可以充分利用国际合作,加强本项目的研究基础和技术支撑。
通过国际间的合作研究,提高研究水平,并创造出自己的特色。
(4)组织方式与协调机制上的保障
本项目采用目标责任制,并分四个层面开展:
首席科学家全面负责项目总体安排;
学术指导专家组协助首席科学家进行项目的总体把握和监督检查;
项目协调组根据首席科学家的部署负责各课题间的交流与协作;
课题负责人负责本课题的具体研究工作。
建立有效的学术交流和项目监督机制,在发挥各自专长的同时将定期组织学术交流,避免分散、孤立和重复研究;
将与国际同行加强交流、保持密切的学术联系,保证研究工作的前沿性。
3、创新点
(1)创新点一:
从信息服务开发、设计和实施的关键科学问题出发,提出和构建信息服务的过程范式理论
信息服务的过程范式理论不仅为信息服务提供了坚实的理论基础,而且为两个关键科学问题的解决提供了理论支撑。
第一,过程范式理论为服务需求的建模和获取提供了参照,有助于解决如何分解需求、定义服务流程、确定服务粒度等基本问题,因此过程范式指导下获得的需求模型有助于后继的开发、设计和实施;
服务的过程范式理论使得服务的设计有据可依,网进程的代数理论及其上发展的统一描述语言,将为服务流程的构造、服务的组合提供完备的操作集,过程范式指导下的流程设计确保了服务流程的正确性;
第二,过程范式理论对服务的交互能力进行了规范,为流程和环境的适配提供了理论依据。
同时过程范式也为服务聚合和协同提供全面的支撑,服务的规范化理论对服务及组件的粒度选择、依赖关系进行了明确的界定,从而较大程度上提高了服务的可重用性。
因此过程范式理论的提出,不仅是对现有工作的补充和完善,更是从新的角度和视野重新审视信息服务所面临的科学问题,必将推动信息服务的发展。
(2)创新点二:
依据信息服务的过程范式理论,提供一套行之有效的信息服务设计方法学
如何应对不确定和多样化的服务需求,从服务流程和信息内容等角度准确地表达和设计信息服务,是为用户提供正确、准确、敏捷的信息服务的关键。
本项目在过程范式理论指导下,从需求入手,创建网络时代用户主导的软件需求动态获取和演化建模的理论与方法,通过易于理解、图形化的业务视图模型完整、准确刻画用户需求。
进而借助网进程模型及其代数理论,构建信息服务流程的设计、分析和验证的形式化理论,提出服务流程的规范化设计方法,实现服务设计有据可依。
最后,从服务的功能、接口、行为、执行策略及信息内容等多个维度,研究信息服务的多维语义表达及推理方法,为服务的有效使用提供支持。
(3)创新点三:
面向融合网络,建立
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 信息 服务 模型 机理 研究