一种需求驱动的服务行为适配方法

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效.针对此问题,本文在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义.证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证.通过一个贯穿全文的实例分析表明了方法的可行性和有效性     

一种基于AOP的BPEL过程动态发现和绑定服务的方法

针对当前的业务流程执行语言(BPEL)规范以及支持引擎动态性方面的不足,提出一种基于面向方面编程(AOP)的BPEL过程动态发现和绑定服务的方法.该方法扩展了BPEL语言规范,添加了支持动态发现和绑定服务的语言元素;使用AOP技术扩展了BPEL引擎,使之支持扩展后的BPEL语言规范;在基础设施层提供动态发现和绑定的支持.给出了实现动态绑定管理器的关键代码,实现结果表明:利用AOP技术可以有效地扩展BPEL的动态发现与绑定功能.     

ActiveBPEL中组合服务自动部署的研究和实现

为了把选定的单个原子服务组合成一个完整的组合服务,需要应用BPEL(Business Process Execution Language)描述整个组合服务的流程。本文通过应用原型系统中已提出的SCML(Service Composition Management Language)服务组合管理语言,对在此语言基础上自动产生BPEL的实现方法进行研究,提出一种由SCML出发自动转化BPEL并在引擎中自动部署、发布、执行的方法,并用此方法把旅游服务的模型发布在ActiveBPEL引擎上。该方法对于流程自动发布具有一定的可用性。     

核能装备安全控制代码自动生成软件研发与应用的构想与成果展望

目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围绕核能装备安全控制代码自动生成软件研究面临的三大关键科学问题,分别开展一个基础理论、七大关键技术及一套原型系统的研究。通过核能安全控制代码自动生成软件总体设计集成与评估、核能安全控制与交互系统软件建模技术、核能安全控制系统模型分析与验证技术、核能安全控制系统可信软件代码自动生成技术等方面的研究,突破核能装备安全控制代码自动生成软件在建模、代码生成和测试验证面临的系统性技术瓶颈,建立起新的安全关键软件开发和验证方法与模式。通过可信安全控制代码自动生成软件工程化应用与认证技术研究,构建一个核能装备安全控制代码自动生成的原型系统,并在核能、汽车等领域对研究成果进行验证。通过上述研究实现以下5个方面创新：一是形式化方法与模型驱动开发融合理论,用确定的数学理论保证模型的高可信;二是状态机扩展同步数据流语言形式化定义方法,建立适用于核能、航空、汽车等场景的软件建模方法;三是基于交互...     

基于MVC模式的资源访问代码的自动生成

针对当今快速多变的电子商务环境对工作流软件的灵活性和扩展性要求越来越高这一现象,通过深入分析传统工作流服务网格结构的优缺点,提出了基于MVC模式动态工作流模型的快速实现方法.新方法分离了业务流程开发和资源管理,在对BPEL4WS语言业务流程描述能力进行扩展的基础上,提取业务流程和资源访问流之间的业务流程数据映射关系,自动生成代码,将服务网格和资源网格有效桥接起来.分析结果表明,该方法实现了对用户的透明性和开发的灵活性,同时在软件项目开发中能够更好地进行项目管理、控制软件开发周期和降低返工率.     

基于着色Petri网的混合工作流建模及合理性分析

BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工作流建模方法,对所得模型进行了合理性分析。采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失。     

SOA中基于BPEL的服务组合方法研究与设计

针对SOA中服务组合方法的服务编排问题,在深入研究BPEL技术标准以及其与SOA的关系基础上,设计了一种基于BPEL的服务组合方法。通过整合现有的服务,并按照业务流程的要求编排成新的服务,从而便捷有效地实现服务组合。在此基础上通过具体业务流程进行服务编排设计,验证该设计方法是有效的、可行的。     

支持界面描述的扩展对象模型

根据界面工程设计和自动化的需要 ,给出一种支持界面自动生成的扩展对象模型 .在一般对象描述的基础上 ,该模型扩展了对象的属性和特征 ,提出了诸如属性取值范围、方式、来源、分组等 ,以及导出、联动和导航关系等 .该模型从界面的领域建模出发 ,可以提供丰富的信息以指导界面代码的自动生成     

支持界面描述的扩展对象模型

根据界面工程设计和自动化的需要，给出一种支持界面自动生成的扩展对象模型．在一般对象描述的基础上，该模型扩展了对象的属性和特征，提出了诸如属性取值范围、方式、来源、分组等，以及导出、联动和导航关系等，该模型从界面的领域建模出发，可以提供丰富的信息以指导界面代码的自动生成。     

基于策略部署的Web服务事务管理机制的研究

为了解决BPEL语言对横切关注点建模的缺乏和动态演化方面的不足,提出一种基于策略方法实现Web服务事务管理机制的设计方案,把协调策略附加到BPEL伙伴链接和作用域上,在部署时对参与业务过程事务的伙伴服务支持的协调类型进行验证,保证业务过程需要的协调类型被参与者支持.同时,引入了面向方面编程(Aspect Oriented Programming,AOP)的思想,分离事务需求横切关注点,通过利用现有的支持动态织入的BPEL引擎等相关技术,使得事务管理需求能够在运行时动态地织入,并且能够在伙伴服务或者是业务过程改变时实现动态的修改.     

支持网络制造的产品数据管理技术

分析了分布式网络化制造系统中企业级之间的产品数据交互和共享问题,对产品数据模型的建立与数据交互技术进行了研究．通过对产品数据管理系统需求的分析,给出了基于公共对象请求代理体系结构的企业级产品数据管理模型,采用对象引用操作与对象适配器技术给出了实体对象实现与引用的方法．     

企业筹资决策支持系统的研究

对企业筹资决策支持中常用的决策模型进行了分析,给出了企业筹资决策支持系统的系统结构;分析了模型生成系统根据决策问题的描述,自动选择模型结构（模式）生成决策模型的方法。     

基于模型检测技术的语义Web服务自动组合

提出一种以OWL-S和模型检测技术为基础的Web服务自动组合方法,通过时间自动机建立语义Web服务的模型,能够刻画接口和过程交互的语义信息,并且能够表达复合用户需求。利用对应的模型检测工具,可以实现高效的自动组合。仿真实验证明,该方法有效地提高了服务组合的效率及质量,同时在状态空间的表示和维持方面具有显著的优势。     

一种面向终端用户的Web服务测试方法

面向终端用户的Web服务(Web Service)测试,是保证Web服务软件系统质量的重要技术手段。文章提出了一种Web服务应用环境下的测试模型和测试覆盖指标,旨在针对Web服务与应用环境进行交互的方式,测试Web服务的操作调用序列,为终端用户提供一种高效验证Web服务行为的方法,以提高基于Web服务软件系统的可靠性;并给出了测试覆盖分析支持工具WSCoverageAnalyzer的设计结构;最后基于一个Web服务Seller的应用案例,说明了所提出的方法。     

基于Petri Net的BPEL流程建模与分析验证

设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

SmartC模型与代码一致性双向生成方法及开发平台

为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartC PLF.该平台结合ModaEDA思想,支持SmartC语言的模型和代码2种描述形式,包括SmartC代码和模型之间的自动生成和SmartC代码编辑工具,具有很强的汽车电子领域专用特点.通过在SmartC PLF平台上开发的车灯控制系统实例,演示了该平台双向自动生成的一致性;通过大量实验比较在不同情况下的生成时间,测试SmartC PLF平台的性能指标,表明了该平台在汽车电子系统开发方面的高效性.     

基于模型的参数化界面设计模式

为了提高用户界面的开发效率,提出了面向用户的参数化界面设计模式,从模型、展示样式、操作3个方面描述了设计模式,给出了界面设计模式的规范定义．该模式进一步指导了基于模型的用户界面开发,有效地支持了代码的自动生成,提高了界面设计的效率．     

基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。     

基于MATLAB/RTW的车载无刷直流电机调速系统代码自动生成

介绍了一种根据系统仿真模型自动生成嵌入式C代码的嵌入式系统设计方法.结合基于英飞凌C164CI微控制器的车载无刷直流电机调速系统的开发,详细说明了使用MATLAB/RTW(实时代码工作空间)工具集将系统仿真模型自动转换为嵌入式系统C代码并编译下载到微控制器中运行的方法.还对仿真和实验数据进行了比较分析.结果表明,系统实际运行结果与仿真结果之间具有很高的相似性,从而验证了自动生成代码的正确性和可靠性.     

JXTA环境下的Web Service的研究与应用

为实现P2P网络中的应用能够与Web Service所提供的服务进行交互。提出在JXTA P2P网络中引入JXTAWSPROXY的方法。通过AXIS生成调用Web Service的客户端代码,使用JxtaBiDiPipe实现双向通信,实现Peer对JXTA P2P网络外部的Web Service的透明调用。实验结果表明,该方法可以完成与JXTA的交互,有效实现Web Service的调用。