支持Web服务组合与验证的形式化模型

针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。     

基于服务网络的服务关系挖掘*

随着互联网向以“服务为中心”转变,如何发现这些服务以及进一步挖掘潜在的组合可能变得越来越重要。在语义层面上,提出一种自底向上的服务挖掘策略来发现服务之间潜在的逻辑关系,并将其组织成服务网络的模式,为服务和用户之间建立桥梁。首先,描述了服务网络的概念结构,给出了服务网络中的各种元素,确立了服务挖掘的最终形式;接下来在语义层面上详细定义了各种服务关系,讨论了各种服务关系的应用;在此基础上,讨论了服务关系挖掘对于服务网络构建和演化的意义,给出了基于本体推理的服务关系挖掘流程和方法;最后应用该方法构建了服务网络实例。通过服务网络的现实应用证明了该策略的有效性。     

富士通：重塑ICT

重塑ICT,把服务对象重新梳理为“ICT、信息人”,将产业链重新定义为“端到端的基础架构”,富士通正在试图通过对社会、企业应用的信息化装备,构建一个智能社会。     

基于颜色Petri网的服务组合建模与验证

Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.     

基于Pi演算的OWl-s的Web服务的自动组合

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。     

基于多元Pi演算的Web服务形式化描述模型及其验证*

Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。     

基于问题模式的形式化软件规格说明生成方法

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.     

装配体的ICT仿真方法研究

ICT的计算机仿真技术是ICT研究领域的重要内容之一,传统的仿真通常是针对单个零件的,而专门针对工业应用中常见的装配体的仿真研究还不够成熟。装配体具有“多零件多材质”的特点,通常的建模方法难以正确描述零件之间的装配关系,仿真难度大。该文针对装配体的这些特点,提出一种有效的装配体CAD建模方法,给出了装配体的ICT仿真算法和应用实例。仿真结果与现实的ICT图像具有很好的相近性,验证了算法的正确性。     

一种基于Web Services的Agent服务集成协作机制

在分析Web Services和Agent技术基础上,提出了一种基于Web Services的Agent服务集成协作机制.给出了该机制的体系结构和形式化定义,包括WSAgent服务形式化表示和WSAgent框架BNF描述.最后给出了一个行业应用模型实例:基于WSAgent的旅游服务集成协作系统.     

MAP载波带局域网MMS程序调用服务的形式化描述

网络协议的形式化描述对于协议的定义，协议的正确性验证以及协议的实施有着非常重要的意义，本文采用有限状态自动机的方法对制造自动化协议的关键部分ＭＭＳ的程序调用服务进行了形式化的描述。