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

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

流程模板驱动的Web服务组合方法

通过将业务流程表达为流程模板,利用服务选取代理SAS使BPEL4WS与语义Web服务相集成,提出了流程模板驱动的Web服务组合方法。该方法可以根据任务的搜索模板动态地发现、选择和绑定相应的Web服务,将抽象的流程模板实例化为可执行的流程实例。与同类方法相比,该方法考虑了现有的BPEL4WS规范的技术能力。     

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

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

基于BPEL的跨域业务协同建模方法的研究与实现

针对物流服务中的多式联运场景,采用面向服务的架构、Web服务技术和业务流程执行语言(BPEL),实现了跨区域企业间业务协同过程建模和相关企业资源的集成.研究表明,相比传统的企业集成技术,BPEL是面向服务架构(SOA)下的一种有效整合企业资源的方法,可以很好地实现跨域协作和业务集成.     

面向方面的软件开发方式

基于面向方面编程（AOP）的软件开发方式弥补了面向对象编程方式在处理横切关注点时的不足．介绍了AOP的基本概念及其语言规范，阐述了基于AOP的软件开发步骤和AOP的一个实现工具AspectJ，并通过实例说明了采用AOP技术的优势．     

产品线体系结构描述语言vADL的设计

设计了一种产品线体系结构描述语言VARIAB ILITY-ENAB LED A RCH ITECTURE D ESCRIPTIONLANGUAGE(VADL)。该语言采用变化组件和组件变化性接口,分别描述体系结构级和组件级变化性;支持组件层次组装,特别是提供变化点动态绑定、守护条件约束等组件变化性组装技术;具有基于扩展Π演算的行为语义模型,可描述行为语义变化性以及运行态变化性;通过体系结构实例,实现对产品线体系结构的定制和复用。     

关于AOP实现机制及在测试中的应用

AOP(Aspect-Oriented Programming)是一种支持横切关注点的分解技术,表达更高的抽象层次,它对于横切关注点如同面向对象程序设计中的对象封装和继承一样,能够提供明确的截获横切结构的语言机制.讨论了关于AOP实现机制及在测试中的应用.     

基于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的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

一种基于AOP和UML的用例扩展关系建模方法

面向方面编程（Aspect—Oriented Programming,AOP）提供一种描述和实现横切关注点的机制,UML的扩展机制提供增加新构造块、创建新特性和详述新语义的机制。讨论一种基于AOP和UML的对用例的扩展关系建模的方法,该方法使用标准的UML建模横切的关注点来表达方面,最后通过实际例子实现这种方法的应用,并用AOP技术实现用例的扩展关系。     

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

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