基于BPEL4WS的工作流平台的设计和实现

随着市场竞争的全球化,企业必须能够对其业务过程进行快速重组,以提高自身竞争力,这使得其工作流问题受到了广泛的重视和研究。但是目前的工作流技术仍然不够成熟,尤其是业务过程涉及不同企业间的协作时,存在着互操作方面的诸多缺陷。Web服务的产生和发展很好地解决了这个难题,所以建立在Web服务基础上的BPEL4WS工作流技术弥补了当前工作流技术的不足,且已成为一种发展趋势。基于BPEL4WS设计和实现了一个工作流平台,并成功应用于攀钢的企业综合业务系统中。     

基于BPMN辅助构建Web Services的研究

介绍了Web Services以及业务流程建模标记(BPMN)和Web服务的业务流程执行语言(BPEL4WS)，并且利用BPMN和BPEL4WS构建Web Services组件，建立Web服务模型，以整合各种企业应用平台，把企业业务由企业内部拓展到Internet上，从而达到企业资源的优化配置，实现了应用程序间的通用的互操作性以及企业间的信息交流，以适应复杂多变的商务环境。     

语义Web和Web服务标准集成的研究

首先提出基于本体的增强Web服务描述能力的方法,即将语义添加到Web服务的标准WSDL和UDDI中。然后,提出一种基于语义的Web服务发现算法。基于语义的Web服务发现过程比原有的基于服务属性的服务发现过程更为准确和有效。     

A semantic service discovery approach for ubiquitous computing

Services in the ubiquitous computing are heterogeneous in nature. To be pervasive, these services should be defined in terms of their functionality and capabilities rather than the meaningless Universally Unique IDentifiers (UUIDs) or types of services. With that, clients can access the proper service based on semantic requests, rather then a pre-configured profile. In this paper, we study the requirements for semantic query to be feasible in service discovery processes. Current discovery protocols and the concept of semantics are brought together to construct a framework to realize the semantic service discovery for ubiquitous computing. Many issues are discussed in relation to service discovery topologies, ontology languages, and semantic query languages.     

A robotic service framework supporting automated integration of ubiquitous sensors and devices

In recent years, due to the emergence of ubiquitous computing technology, a new class of networked robots called ubiquitous robots has been introduced. The Ubiquitous Robotic Companion (URC) is our conceptual vision of ubiquitous service robots that provides its user with the services the user needs, anytime and anywhere, in the ubiquitous computing environments. There are requirements to be met for the vision of URC. One of the essential requirements is that the robotic systems must support ubiquity of services. This means that a robot service must always be available even though there are changes in the service environment. More specifically, a robotic system needs to be interoperable with sensors and devices in its current service environments automatically, rather than statically pre-programmed for its environment. In this paper, the design and implementation of an infrastructure for URC called Ubiquitous Robotic Service Framework (URSF) is presented. URSF enables automated integration of networked robots in a ubiquitous computing environment by the use of Semantic Web Services Technologies.     

用于科技基础条件平台的服务合成研究与应用

Web服务之间的交互是面向服务的体系结构（Service-Oriented Archimcmre,SOA,也称为面向服务架构）中的关键问题。单个Web服务提供的功能往往不能完全满足用户的实际需求．将多个Web服务进行合成实现功能更为强大的服务是SOA必须要解决的问题之一。分析了Web服务合成的研究现状,介绍了Web服务合成方式的分类和商业流程执行语言BPEL4WS,给出了“科技基础条件平台应用服务支撑系统”项目中SOA的设计方案．描述了Web服务合成的关键步骤。该研究成果成功地应用于科技基础条件平台应用服务集成之中,并已通过科技部的前期验收     

基于接口自动机的BPEL4WS Web服务组合形式化模型

介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。     

基于语义描述的Web服务工作流动态组合研究

传统静态工作流很难适应动态的、灵活的现代业务流程。近年来Web服务技术不断发展,使得工作流中的活动以Web服务形式的实现,而且工作流本身也可以以Web服务的形式被调用,特别是语义Web技术的发展,为计算机实现自动Web服务工作流提供了可能。本文基于本体论提出了一个半结构化工作流本体模型,并在此基础上设计了基于Agent技术的Web服务工作流系统。     

基于语义WEB的动态服务组合技术研究

本文描述了我们对动态服务组合技术的研究成果。本文首先对Web服务组合进行介绍;然后对Web服务组合给出形式化的定义,并对语义Web和OWL-S进行了分析;接着给出了一个基于语义Web的动态服务组合模型;最后讨论了存在的问题。     

面向Web Services动态复合的流程自动化系统的研究与实现

采用工作流复合Web服务,设计并实现了支持动态复合Web服务的业务流程管理系统WSBPMS,给出了WSBPMS的总体结构并描述了其中的关键技术,包括Web服务与工作流活动的动态绑定技术、流程的自动和半自动执行,以及Web服务的QoS最优化选择等。     

智能互联网

Intelligent Web functions essentially as an autonomic entity. The Web automatically regulates the func-tions and cooperation of related Web sites and available application services. In the paper we will discuss the key is-sues related to the intelligent Web, such as semantic representation, Agent, resource management, service manage-ment, Web mininlz and so on.     

Real-time scheduling for hybrid flowshop in ubiquitous manufacturing environment

This paper discusses the implementation of RFID technologies, which enable the shop floor visibility and reduce uncertainties in the real-time scheduling for hybrid flowshop (HFS) production. In the real-time HFS environment, the arriving of new jobs is dynamic, while the processes in work stages are not continuous. The decision makers in shop floor level and stage level have different objectives. Therefore, classical off-line HFS scheduling approaches cannot be used under these situations. In this research, two major measures are taken to deal with these specific real-time features. Firstly, a ubiquitous manufacturing (UM) environment is created by deploying advanced wireless devices into value-adding points for the collection and synchronization of real-time shop floor data. Secondly, a multi-period hierarchical scheduling (MPHS) mechanism is developed to divide the planning time horizon into multiple shorter periods. The shop floor manager and stage managers can hierarchically make decisions for their own objectives. Finally, the proposed MPHS mechanism is illustrated by a numerical case study.     

基于BPEL4WS的Web服务合成

在介绍了BPEL4WS的基本概念、特点及服务合成基本组成的基础上,利用BPEL4WS构建了一个虚拟第三方物流的Web服务合成系统.模型,并给出了该模型的控制流程和核心部分的代码.     

基于Agent的语义web服务发现模型研究

Web服务发现是Web服务系统架构的重要部分,现有的主流Web服务发现方法采用基于UDDI框架的服务匹配。针对现有服务发现模型缺乏对语义信息的支持和发现精确程度不高的问题,本文在讨论Agent技术与语义Web服务技术的基础上,提出了一个基于Agent的语义Web服务发现模型,使服务发现的过程更加智能,也提高了服务发现的精确度,并设计了一个原型系统来验证所提出的服务发现方法的可行性。     

Context-prediction performance by a dynamic Bayesian network: Emphasis on location prediction in ubiquitous decision support environment

Ubiquitous decision support systems require more intelligent mechanism in which more timely and accurate decision support is available. However, conventional context-aware systems, which have been popular in the ubiquitous decision support systems field, cannot provide such agile and proactive decision support. To fill this research void, this paper proposes a new concept of context prediction mechanism by which the ubiquitous decision support devices are able to predict users’ future contexts in advance, and provide more timely and proactive decision support that users would be satisfied much more. Especially, location prediction is useful because ubiquitous decision support systems could dynamically adapt their decision support contents for a user based on a user’s future location. In this sense, as an alternative for the inference engine mechanism to be used in the ubiquitous decision support systems capable of context-prediction, we propose an inductive approach to recognizing a user’s location by learning a dynamic Bayesian network model. The dynamic Bayesian network model has been evaluated with a set of contextual data from undergraduate students. The evaluation result suggests that a dynamic Bayesian network model offers significant predictive power in the location prediction. Besides, we found that the dynamic Bayesian network model has a great potential for the future types of ubiquitous decision support systems.     

基于PDG图的分布式动态可执行服务组合方法

组合服务是将一系列Web服务协调地组合在一起,从而完成预期目标。组合服务按照其引擎分布可分为:集中式服务组合和分布式服务组合。分布式组合服务可以有效地解决集中式组合服务在系统可伸缩性、消息传输效率、自治性和有效负载均衡等方面的问题,将可执行全局流程等价分解成可执行本地流程,以及将服务组合和负载均衡结合集群概念,研究服务组合的QOS。这些将成为新的挑战,文中通过PDG图进行等价分解,并结合QOS,通过实验测试引擎负载,提出将负载均衡融入服务组合QOS研究思想。     

基于Petri网的Web服务BPEL4WS建模与分析

描述了Web服务业务流程执行语言(BPEL4WS或BPEL)的Petri网建模方法,利用网结构描述基于Web服务业务流程的行为特性。在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上,提出了一个利用Petri网的逐步求精技术对流程进行建模的算法。然后结合具体实例阐述了利用该算法建模的详细过程,并对所生成的Petri网模型进行了完整性（soundness)验证