基于BPEIAWS的新型电信业务创建方法

采用基于万维网服务的业务过程执行语言（BPEL4WS）的方法开发新型环境下的电信业务，试图解决电信业务开发难度大、周期长的问题。首先针对电信业务的特点指出了BPEL4WS的不足，然后提出采用面向方面编程（AOP）的方法解决了其中的模块化和动态扩展的问题并给出了系统的架构和实现方法，最后实验结果证明该方法的可行性。     

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS (Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.     

BPEL商业流程建模

介绍了标准化的商业流程执行语言BPEL，从一个例子出发，借鉴统一开发过程(RUP)中的用例模型和分析模型对整个商业流程进行刻画，并简要介绍了如何采用WSDL和BPEL4WS两种标准的语言对整个模型进行文档化的过程。     

支持跨企业协作的应用集成模型研究

在实现跨企业数据交换和业务流程管理的基础上,研究设计一种跨企业的应用集成模型.该模型基于XML、Web Services与工作流技术,采用三层体系结构;每个企业的公共应用都被封装成Web Services;企业间的数据交换及Web Services间的交互通过SQAP消息机制实现;采用商业流程执行语言(BPEL4WS)对跨企业Web服务进行有效的组织和集成,并在此基础上进行适当扩展,通过引入“服务容器”的概念,用于表示一组具有相同端口类型与操作的服务,以支持服务的选择和替换机制.最后对引擎调度策略问题进行了讨论.     

新型T型簇合物[PPh4]2[WS4(CuBr)2.6]的合成与晶体结构

通过[PPh4][(mthp S)WS3](mthp=2 methyltetrahydro 2H pyran)和三当量CuBr反应合成了一个新的T型簇合物[PPh4]2[WS4(CuBr)2.6],用单晶X射线衍射方法测定了结构,其二价簇阴离子具有一个由三个铜和一个WS4单元组成的T型WS4Cu3簇结构.     

BPEL工作流管理系统中人工交互的研究

Business Process Execution Language(BPEL)成为了W eb服务编排的事实标准。BPEL的缺点是缺少对人工交互的支持。随后的BPEL4Peop le规范试图通过扩展BPEL来支持人工交互;但现有的大多数BPEL引擎只支持BPEL规范,并不支持BPEL4Peop le规范,因此它们也都缺少对人工交互的支持。要使现有BPEL引擎支持BPEL4Peop le规范,必须修改现有BPEL引擎,这实现起来比较困难。提出了一种松耦合的解决方案:它利用现有的BPEL引擎,但不对现有的BPEL引擎做任何修改,通过两个组件即用户门户和任务引擎,使得基于现有BPEL引擎的工作流管理系统能够支持人工交互。     

一种面向Web服务的综合可信性度量模型

基于Web服务的可信应用程序构造的一个关键问题是如何度量Web服务的可信性.在遵循Web服务特点的基础上,提出一个综合的Web服务可信性度量模型TMM4WS,从Web服务的内部实现和外部使用两方面对Web服务的可信性进行度量,开发了相应的度量支持工具TMT4WS.采用Web服务实例对提出的度量模型与工具进行了验证.实验结果表明,度量模型TMM4WS及其支持工具TMT4WS具有较好的可操作性,能够定量地度量Web服务的可信性.     

组合Web服务过程中的合理调度问题研究

介绍了当前企业信息系统存在的问题,指出了EAI的缺点,对BPEL进行了简单的概述.在web Service和BPEL技 术基础之上,给出了在一个组合服务过程中如何解决服务单元合理调度问题的框架,并分析了框架的结构,对服务单元的状态属性表进行了设计.     

簇合物[Et4N]4[WS4Cu5.5Br3.5(NCS)4(H2O)0.5]·0.5Et2O的合成及其晶体结构

报道了由[Et4N]2WS4、CuSCN、Et4NBr和NH4SCN合成的标题簇合物[Et4N]4[WS4Cu5.5Br3.5(NCS)4(H2O)0.5]·0.5Et2O(1),并测定了其晶体结构.该晶体属三斜晶系,空间群为P-1,a=1 29581(11)nm,b=1.35388(9)nm,c=1.9644(2)nm;α=79.769(9)°,β=89.080(13)°,γ=86.063(13)°,V=3.3834(5)nm3,Z=2.该簇合物阴离子[WS4Cu5.5Br3.5(NCS)4(H2O)0.5]4-是由两个网兜状[WS3Cu3]骨架和两个"半开口"立方烷状[WS3Cu3Br]骨架组成的混合结构.W…Cu距离在0.2664(2)～0.2716(2)nm之间.     

一种联接“健康云”的家庭健康监护系统设计

新一代家庭健康监护系统不仅要求具备低成本、低功耗和低体积等特点,还要求快速适应基于云计算的国家医疗信息化发展,为此,亟待设计一种联接"健康云"的家庭健康监护系统.在介绍"健康云"层次化架构的基础上,分析了家庭健康监护系统联接"健康云"的工作过程,并解决了该系统的四项关键技术,包括:基于生理参数传感器的家庭健康监测网络设计,基于HL7RIM的数据交换机制、融合灰色模型和马尔科夫模型的健康风险评估模型,基于BPEL4WS的健康服务个性化组装.采用厦门市集美区案例数据验证原型系统的有效性,为"健康云"服务走入家庭健康监护奠定基础.