P2P网络环境下的一种高效虚拟协同服务模型

在现实网络中,资源主要集中在少数的重要节点中,大量节点是服务请求者.由于P2P网络是建立在Internet之上的应用层虚拟网络,加上网络中搭便车现象日益严重,在广域环境下,不可避免地存在拥塞、单点失效、效率和服务质量不高的问题.针对这些问题,通过在系统中动态地构造由协同服务盟员组成的服务池来解决.提出了一种有盟主的虚拟协同服务组织模型,旨在现实环境下针对盟主的目标需求,解决盟主如何动态组织自主的协同伙伴和构建虚拟组织协同进行求解的问题.构造了基于D-S证据推理的服务盟员选择策略,运用节点交易历史信息和推荐证书的方法来表征备选服务盟员的全局信任特征属性,给出了构建虚拟协同服务池的数学模型、约束条件和构造规则,并进行了较为详细的分析.仿真实验表明,动态构造服务池的负载平衡策略能较好地解决P2P网络中存在拥塞、单点失效、效率和服务质量不高的问题,极大地改善了P2P网络的服务质量.     

电子政务的虚拟组织建模

文中介绍了电子政务系统组成虚拟组织的需要。利用层次结构协议分析信息集成的层次和形式的关系，并研究其在电子政务中的应用。提出了基于服务的电子政务建模方法，处理的政府对象是多个动态的、强自治性的、松散耦合的、异构的、处于虚拟组织环境下的政府部门，实现了以市民为中心，以为公众提供高质量、高水平在线服务为重要目标的电子政务模型。     

基于代理的高性能目录服务的设计和实现

目录服务能有效解决虚拟组织中动态多样的资源管理问题。在分布式系统环境下,目录服务的可用性和安全性必须得到保障。本文提出了一种基于代理的目录服务模型,该模型以基于虚拟组织的分布式商业应用为背景,在提高目录服务自身保护能力的同时,保障了目录服务的稳定和高效。     

基于OGSA的网格虚拟组织建立

OGSA是新型的网格体系结构，它支持虚拟组织中服务的创建、保持和应用。本文讨论了基于OGSA的虚拟组织合作伙伴选择以及虚拟组织建立的一般过程，给出了在一种网格环境下构建虚拟组织的方法。     

固体火箭发动机虚拟样机支撑平台建模体系研究

为满足虚拟样机支撑平台建模的复杂性需求，定义了一个三维的虚拟样机支撑平台建模体系。给出了从建模周期维、视图模型维、应用工具维分析虚拟样机支撑平台的建模策略，将支撑平台建模周期分为需求分析、原型设计、原型实施、分析优化4个阶段，重点从视图模型维对虚拟样机开发过程关键要素进行了分析，对过程、产品、组织、资源、约束5个视图进行了定义和建模，详细介绍了固体火箭发动机虚拟样机支撑平台应用工具集。     

动态网络环境下的透明服务组合

动态网络环境(如网格、Ad Hoc Wireless Network等)使面向服务的应用面临许多新问题.如何使用户能够透明、动态地按需使用各种服务是其中的研究热点之一.文中提出了一种虚拟服务模型,在此基础上定义了虚拟服务的组合运算,给出了服务动态查找的算法.此外,文中还介绍了支持虚拟服务透明组合的P2P服务组合原型系统,并在实验基础上对虚拟服务及其支撑引擎进行了客观评价.实验表明,该文所述虚拟服务及支撑引擎能使面向服务应用较好地适应动态网络环境下的服务变化,使用户能够透明地按需使用各种资源.     

电子政务的虚拟组织建模

文中介绍了电子政务系统组成虚拟组织的需要.利用层次结构协议分析信息集成的层次和形式的关系,并研究其在电子政务中的应用.提出了基于服务的电子政务建模方法,处理的政府对象是多个动态的、强自治性的、松散耦合的、异构的、处于虚拟组织环境下的政府部门,实现了以市民为中心,以为公众提供高质量、高水平在线服务为重要目标的电子政务模型.     

支持虚拟组织的语义基础设施的动态构建方法研究

提出一种从虚拟组织自治域的资源描述中抽取语义，然后聚合为虚拟组织的语义基础设施的方法．该方法引入了一种领域知识学习算法，用以建立当前语境相关的词法空间，以提高语义抽取和聚合的准确性及自动化程度，并且在语义聚合的过程中隐含了虚拟组织语义到自治域语义的映射，更好的支持了虚拟组织应用的构建和跨自治域资源的透明访问．实验表明，该方法能够适应虚拟组织的动态开放环境、有效支持虚拟组织的语义基础设施构建．     

网格环境下基于虚拟组织的调度模型

虚拟组织是指在个人、机构或团体间一种灵活、安全、平等的资源共享动态集合,这种共享更强调直接对计算机、软件、数据以及其它资源的直接访问.管理虚拟组织资源、协同工作来解决大规模的计算是一个复杂的问题.提出了一个基于虚拟组织的资源分配和任务调度模型,为资源的管理和应用程序的调度建模网格服务提供者向虚拟组织注册,并发布它能够提供的服务,任务调度器根据提供者属性分解任务并采用特定的算法将任务分配给不同的服务提供者.这个框架的模型侧重研究如何调度任务,根据任务的属性合理分配资源来解决复杂计算问题.     

基于Web服务面向虚拟企业的柔性工作流管理技术研究

虚拟企业中盟员和其提供的服务是动态变化的．文中提出将工作流过程模型描述的活动规范中包含一个或多个Web服务请求，通过引入Web服务和Web服务请求的定义和约束，在活动实例的执行过程中实现Web服务请求与最佳Web服务提供企业动态的服务绑定和调用，由于虚拟企业内部的变化不会影响到各盟员业务过程的正常运行，因此具有较高的柔性和自适应性．     

面向领域的服务业务规范化组织模型及其关键技术研究

提出一种面向领域的服务业务规范化组织模型(SBSOM),旨在服务计算环境下针对应用领域中基于服务组合的业务应用系统构建需要,解决如何实现深入到业务层面对服务资源进行有效组织与管理,从而为操作相容组合和服务有效复用提供可靠性保障问题.在该模型的支撑下,基于领域业务本体通过对服务操作的可用性判定,生成服务的领域业务视图,从而完成服务自然面貌、功能面貌、到业务面貌的逐步抽象,全面的展现服务能力,并在以服务为粒度、基于功能对服务资源进行分类管理的基础上,进一步实现以操作为粒度、基于业务适用性组织服务资源.本文重点讨论了SBSOM模型的结构体系,并对服务业务规范化组织建模的关键技术进行了深入探讨,在最后通过实验对SBSOM模型的意义和有效性进行了分析与验证.     

A formal and visual modeling approach to choreography based web services composition and conformance verification

Web services have emerged as the building blocks of a service-oriented architecture that supports not only enterprise application integration (EAI) and business process management (BPM) within an organization but also B2B collaboration based on business process integration. The web services choreography approach to B2B process integration allows business partners to orchestrate their own web services privately, while conforming with an agreed specification of the common ordering conditions and constraints under which messages are exchanged among partners’ web services. In this approach, choreography conformance is an essential requirement for the successful implementation of collaborative processes. A formal approach to web services composition and conformance verification based on WS-CDL and WS-BPEL is presented. This approach involves model checking as an automated means of verifying choreography conformance. The main contributions include a precise notion of choreography conformance on which verification is based as well as support for the complementary use of visual modeling (e.g. UML) and standard WS-¹ notations in composition.     

Cross-Organizational Transaction Support for E-Services in Virtual Enterprises

In recent years, workflow management systems have become an accepted technology to support automation in process-centric environments. Lately, organizations concentrate more and more on their core business processes while outsourcing supporting processes to other organizations, thereby forming virtual enterprises. The organizations forming the virtual enterprise operate in a B2B e-commerce setting in which provider organizations perform e-services for consumer organizations. To apply workflow management technology in these virtual enterprises, current workflow management systems need to be extended to offer support for cross-organizational processes. Transaction support, already considered an important issue in intra-organizational workflow management systems, must be extended to deal with the cross-organizational aspects as well. This paper presents a high-level, compensation based transaction model and a flexible architecture to support thistransaction model, as required by cross-organizational workflow processes. Characteristic of the model is the flexibility in rollback semantics by combining rollback modes and rollback scopes. This is supported by a dynamically composed architecture that is configured using the agreements that are specified in an electronic contract that has been established between the participating organizations. The transaction model supported by the dynamically composed architecture is implemented in a prototype system, based on commercial workflow management technology.     

面向跨企业多方协同应用的Web服务安全模型

现有的Web服务安全工具仅提供单个服务的安全策略配置功能,忽略了业务流程层面的安全需求。为此,提出一种面向跨企业多方协同应用的Web服务安全模型,将Web服务安全建模、部署与监控过程,融合到企业业务流程管理过程中。在此基础上构造基于Secure-WSCDL的建模工具、转换工具和监控工具,实现SOA架构下业务模型与安全建模在软件工程生命周期中的同步。通过简化的国际贸易进出口流程实例,验证了该模型与相应工具的有效性。     

Everything-as-a-service platform for on-demand virtual enterprises

While constructing virtual enterprises, it is crucial to flexibly integrate heterogeneous business resources and processes of different business partners and make them collaborate dynamically. Keeping involved IT systems or components as autonomous and loose-coupled services, the “Everything as a Service” concept supports flexible integration of heterogeneous applications. We adopt this concept and analyze the challenges in virtual enterprise construction, then propose a service platform for on-demand virtual enterprises. The platform supports flexible integration of networked resources, and facilitates virtual enterprise construction with business process utility, trusted service composition and data service centric business collaborations. At the end of the paper, together with a case study, experimental evaluations in contexts of concurrent multi-users are presented, showing the effectiveness and performance of the platform.     

Interoperable enterprise systems: Principles, concepts, and methods

Interoperable enterprise systems (be they supply chains, extended enterprises, or any form of virtual organizations) must be designed, controlled, and appraised from a holistic and systemic point of view. Systems interoperability is a key to enterprise integration, which recommends that the IT architecture and infrastructure be aligned with business process organization and control, themselves designed according to a strategic view expressed in an enterprise architecture. The paper discusses architectures and methods to build interoperable enterprise systems, advocating a mixed service and process orientation, to support synchronous and/or asynchronous operations, both at the business level (business events, business services, business processes) and at the application level (workflow, IT and Web services, application programs).