Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL (Business Process Execution Language,业务流程执行语言)的流程设计与WS-C/T (Web Services Coordination/Transaction,Web服务协调/事务)规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。     

Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL（Business Process Execution Language,业务流程执行语言）的流程设计与WS—C／T（Web Services Coordination/Transaction, Web服务协调／事务）规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。     

应用Petri网改进BPEL程序的正确性*

为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri 网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明,此方法有助于保证BPEL程序的正确性。     

一种基于反射的BPEL业务过程动态演化方法*

提出了一种基于反射的BPEL业务过程动态演化方法.该方法基于可反射的BPEL业务过程的动态演化框架,扩展了现有BPEL引擎,并对演化元过程建模,使其在BPEL引擎中实例化执行,来实现对业务过程的动态演化.     

BPEL系统开发中异构数据处理的解决方案

BPEL4WS(业务流程执行语言,简称BPEL)是当前服务合成的首选标准语言,但因为它是流程组织的描述语言,所以并不提供处理异构数据的机制。为了解决BPEL系统开发中遇到的数据转换方面的表达和处理问题,提出一种扩展BPEL规范中赋值活动的属性的方法,使BPEL引擎可以满足大部分复杂的数据处理需求,并支持通过业务规则引擎进行数据处理。     

BPEL系统开发中异构数据处理的解决方案

BPEL4WS（业务流程执行语言,简称BPEL）是当前服务合成的首选标准语言,但因为它是流程组织的描述语言,所以并不提供处理异构数据的机制。为了解决BPEL系统开发中遇到的数据转换方面的表达和处理问题,提出一种扩展BPEL规范中赋值活动的属性的方法,使BPEL引擎可以满足大部分复杂的数据处理需求,并支持通过业务规则引擎进行数据处理。     

一种基于规则的工作流模型互操作的实现方法

简要分析了两种类型的工作流语言——XML流程定义语言（XPDL）和商业流程执行语言（BPEL）的语言结构与特点，分别从流程的控制流和数据流设计了工作流模型的互操作方案， 提出了把XPDL格式的工作流转换成等效的BPEL格式的工作流的转换算法，最后使用基于Java的开源规则引擎drools工具实现了这个转换。     

基于SOA和BPEL的业务流程管理研究与应用

针对当前软件系统开发中存在的系统和组件差异等问题,引入了面向服务的体系结构(SOA)的框架和业务过程执行语言(BPEL),给出了基于SOA和BPEL的业务流程管理框架,介绍了业务流程执行引擎的结构,并结合一个具体应用实例详细说明了BPEL流程的执行过程.     

基于消息传递的ESB的研究与应用

本文通过分析传统SOA实现方式的缺陷,结合SUN公司提出的JBI规范,探讨基于消息的ESB的原理和实现方式.然后以一个实际项目为例,使用实现JBI的开源项目ServiceMix,实现一个前台订购系统与多个异构的后台订单处理系统的集成.实验证明,在企业集成中使用服务总线,可以很好地实现系统与服务组件之间的解耦合,在一定程度上降低了开发的复杂度.     

基于ServiceMix的SOA软件测试订阅发布机制的实现

文章基于ServiceMix开源软件平台,实现了面向服务架构(Service-Oriented Architecture)软件测试中的测试通知的订阅和发布,有效提高了SOA软件的测试效率.     

面向服务架构开发中的回归测试模型

讨论了面向服务架构(service-oriented architecture)开发中的回归测试问题.首先指出了SOA开发中进行回归测试面临的困难.接着,依据WS-Notification系列规格说明书,提出了SOA系统的回归测试模型.然后采用ServiceMix对该模型进行了试验验证.试验结果表明,该模型能及时通知W...     

软件开发中的用例分析技术

用例技术是通过用例、参与者与用例以及用例之间的关系来描绘系统外在需求的一种方法。作为UML(统一建模语言)的一种重要表示法，用例分析方法在软件开发过程中占据着重要的地位。正确使用用例分析方法有助于项目的需求分析、体系结构设计、进度安排、测试和验证。文中简要介绍了增量／迭代式软件过程，通过实例探讨了软件开发中如何使用用例分析技术，包括项目风险分析、确定系统边界、细化事件流、图形化用例以及用例归档技术，从而为获取用例模型提供了有效的方法和途径。     

基于用例的软件需求建模研究

需求建模和用例技术是软件需求工程研究的热点,文中旨在通过讨论二者的作用及相互关系,得到如何使用用例分析技术为捕获的软件需求建立简洁明了的逻辑模型的一般方法。文章首先介绍了用例、软件需求、需求建模等基本概念,然后探讨了软件需求建模的一般过程,最后结合实际案例给出了使用用例进行需求建模的实现方法。整个过程侧重于需求的获取、用例分析和建模的实现,并提供了一个简单的用于描述软件需求的用例规约。     

Framework for evaluation and selection of the software packages: A hybrid knowledge based system approach

Evaluation and selection of the software packages is complicated and time consuming decision making process. Selection of inappropriate software package can turn out to be costly and adversely affects business processes and functioning of the organization. In this paper we describe (i) generic methodology for software selection, (ii) software evaluation criteria, and (iii) hybrid knowledge based system (HKBS) approach to assist decision makers in evaluation and selection of the software packages. The proposed HKBS approach employs an integrated rule based and case based reasoning techniques. Rule based reasoning is used to capture user needs of the software package and formulate a problem case. Case based reasoning is used to retrieve and compare candidate software packages with the user needs of the package. This paper also evaluates and compares HKBS approach with the widely used existing software evaluation techniques such as analytic hierarchy process (AHP) and weighted scoring method (WSM).     

开源GIS软件梳理及在水利行业应用中的组合应用

本文按照典型的WebGIS系统的构建过程,梳理了数据加工、数据存储、地图发布、空间分析、前端展示五个环节常见的开源GIS软件。从功能、易用性、使用的广泛性和软件许可几个方面对开源GIS软件进行了筛选,并且根据不同的应用场景,构建了软件的组合方案,提供了系统案例。为开源GIS软件在水利行业中的应用提供了很好的指导作用。     

User satisfaction and system success: an empirical exploration of user involvement in software development

For over four decades user involvement has been considered intuitively to lead to user satisfaction, which plays a pivotal role in successful outcome of a software project. The objective of this paper is to explore the notion of user satisfaction within the context of the user involvement and system success relationship. We have conducted a longitudinal case study of a software development project and collected qualitative data by means of interviews, observations and document analysis over a period of 3 years. The analysis of our case study data revealed that user satisfaction significantly contributes to the system success even when schedule and budget goals are not met. The case study data analysis also presented additional factors that contribute to the evolution of user satisfaction throughout the project. Users’ satisfaction with their involvement and the resulting system are mutually constituted while the level of user satisfaction evolves throughout the stages of software development process. Effective management strategies and user representation are essential elements of maintaining an acceptable level of user satisfaction throughout software development process.     

Windows XP极限开发的应用

在软件开发过程中,需求分析是软件开发过程中重要的环节,甚至影响到软件最终的成功与否。然而,在信息万变的时代,客户的需求信息也在时刻发生着改变。把握住客户的需求信息就是把握住了软件开发成功与否的关键一步。本文以某个管理信息系统项目的开发做为案例,论论了Windows XP极限开发过程的应用,以及为什么要选用Windows XP极限开发模型,Windows XP极限开发模型的特点。     

Using spreadsheet to teach on-line statistical process control

This paper gives the design considerations for on-line statistical process control (SPC) using spreadsheet software. The system combines a data acquisition system, data translation board, spreadsheet package, and a microcomputer. The objective of this paper is to demonstrate, by means of examples, how a microcomputer spreadsheet software and a data translation board can be used to teach on-line SPC as an alternative to the expensive commercial SPC software. Moreover, in the training and education environment, computer simulated data can be used for different case studies. Experience in using this approach to teach on-line SPC will be described.     

软件过程风险评估方法研究

随着科技的突飞猛进,软件工程的不断革新,在软件开发的过程中,由于每项软件活动之间都存在着一定的风险,所以为了保证软件工程的健康平稳的发展,应该采用风险评估的研究方法对其进行监控,在软件生产的过程中,发生偏离最佳实践的风险就叫做软件过程的风险,本文通过根据建立在CMMI中的过程域的风险评估体系,并采用每个过程域的模糊综合评估,进而监控软件风险与质量,通过实例分析,进一步说明该风险评估的方法符合软件工程建模的要求。     

软件可信评估模型及其工具实现

软件可信评估是软件质量保障的一项重要内容。现有软件可信评估研究存在适用的软件形态单一、评估的可信属性固定、缺乏具体的评估工具等不足。因此,提出了一种通用的软件可信评估模型,系统地讨论了模型的实现过程,开发了一个可信评估管理系统,通过对一个税务领域案例的详细分析,验证了模型实施的可行性。该研究及评估工具能有效辅助软件可信评估活动的实施,指导软件质量的改进。