PET聚合反应器建模及在聚合流程动态模拟中的应用

该文提出了用通用的反应器模型来模拟PET聚合反应流程中各阶段的反应器,采用“链节分析法”建立的聚合反应器模型真实地反映了聚合过程中不同阶段反应器的动态特性,通过在全流程仿真模拟中的成功应用验证了此模型的正确性。     

一种基于Petri网的工作流元模型研究

Petri网是建立离散系统模型有力的数学工具。为了解决基本Petri网建模能力不足的问题,Aalst提出了有代表性的WF-Net模型。提出的HSC-PN工作流元模型,基于WF-Net扩展,增加了模型元素静态属性、数据流全局共享和增强的活动块等特性。详细阐述了HSC-PN元模型的DTD文件规范,分析了该模型对工作流模式的支持、触发机制及验证方式。通过可视化的建模工具,生成符合DTD文件规约的流程模板XML文件表示。HSC-PN元模型具有更丰富的元素描述信息,简化了流程模型,具有更强的建模能力。     

一种服务网格动态信息聚合模型及其应用

在动态、跨组织的网格环境中如何进行适应组织重构、业务变化等动态性要求的信息聚合是现实应用中亟待解决的问题．文章提出了服务网格动态信息聚合模型。从组织模型、数据模型、协作模型三个维度描述信息聚合中变化的因素．基于此模型．给出了一种支持动态信息聚合的实现框架,它能够适应网格组织结构变化、业务变化,协调人的参与,进而提高系统动态性．最后介绍了该模型及其实现框架在远程学习评价网格LAGrid中的应用情况．     

一种改进的柔性工作流过程定义元模型研究

由于传统工作流技术无法满足时常变更的业务过程,工作流的柔性问题成为研究的热点。从WFMC的过程定义元模型中提取出连接类型和活动状态,封装成新元素,并重定义了转移条件和角色,从而形成一种改进的柔性工作流过程定义元模型。运用工作流过程定义语言对元模型主要元素进行了形式化描述,并通过一个实例说明了该模型在实践中的柔性。     

工作流平台中动态流程模型的研究

在已有的动态工作流模型——黑盒模型的基础上进行改进,应用可插拔的子流程节点代替黑盒节点,提出了更加容易实现的动态流程模型——DSP(Dynamic SubProcess)模型,并成功地将其应用于网络化集成产品开发项目管理工具的项目中。     

基于动态有色Petri网的网格服务工作流模型的研究

在深入了解网格技术、网格服务和网格工作流的概念、特点及其应用的基础上,提出了一种可行的网格服务工作流系统模型,重点介绍了动态优化建模技术、动态调度算法的实现思想.定义了一种动态有色Petri网作为服务工作流的建模工具,支持服务工作流的动态优化建模和动态调度,并为服务工作流模型提供性能评价依据.验证表明采用该模型能够很好地满足用户的QoS要求,并且有助于提高资源利用率.     

基于工作流的空间信息服务动态聚合技术研究

本文基于空间信息服务的特点和动态服务聚合的应用实际,提出了服务结点、服务群、服务聚合模型、服务聚合方案、服务聚合实例的概念,并在此基础上提出了基于工作流的五阶段动态服务聚合实现机制;参考工作流的研究成果,提出了动态服务聚合参考模型DSCRM,确定了动态服务聚合的研究框架,为开发聚合服务支撑平台以及在此基础上构造特定的服务聚合应用提供了可参考的计算模型;最后结合我们所承担SIG项目中具体应用实例来说明本文工作的可行性和有效性。     

基于物元的流程工业MES信息表示与信息维模型应用

流程工业信息集成与管理需要对各类数据、信息进行统一规范。根据流程工业的特点和MES的功能模型,提出了采用动态物元和事元三元有序元组形式语言表述流程工业生产信息的方法,结合聚丙烯环管反应器提出了基于流程工业生产信息的物元可拓信息维模型。提出的方法合理、实用、简便,在流程工业信息集成管理等方面具有较好的应用前景。     

一种基于工作流元模型的系统解决方案

文章结合实际工程项目“Export”介绍了一种面向用户的、灵活的工作流元模型，从模型的角度描述了组成工作流的基本元素类型。该模型以传统的活动网模型为基础，扩展了活动网模型，添加了一些新的模型元素。     

支持服务协作的工作流元模型和建模语言

当前支持Web服务的建模语言存在着复杂度高、互操作困难和缺乏对服务协作关系的有效支持等不足。结合面向服务工作流的服务协作需求，通过扩展工作流管理联盟的相关理论，定义了面向服务工作流的过程定义元模型，并建立了其形式化模型。通过扩展XPDL定义了一种互操作性好、支持服务协作的面向服务工作流建模语言（SoXPDL）。     

基于服务质量的动态服务组合研究

Web服务技术近年来发展迅速,由于Web服务的质量问题,采用率一直很低。在Web服务动态组合的项目中分析了Wcb服务的QoS问题,提出了一种QoS计算模型和QoS优化计算方法,该方案具有支持Wcb服务动态绑定、自动化及半自动化执行和基于QoS的Web服务最优化选择等特点,最后给出了实现原型。     

动态Web Services的约束满足优化技术研究

Web Services合成是Web Services技术的重要方面,能够按要求提供选择新的服务。本文首先提出了Web Services服务约束的分类描述,进而分析了Web Services服务合成中如何按照服务约束指导服务选择,进而选择合适的服务集来满足客户的要求。该方法把动态Web Services合成转化为约束满足问题。     

一种支持领域变化性的Web Services组装方法

随着Web Services及其相关技术的成熟,软件开发逐渐从基于构件的软件开发转向基于服务的软件开发。因此如何支持适应用户需求的Web Services的组装是当前研究的热点之一。本文提出了一种支持领域变化性的Web Services组装方法,该方法可以较好地适应用户需求的更改。文中引入了领域组装模型,使之能对一族具有领域共性和变化性的系统进行定义与描述。接着论述了如何根据用户的需求来确定Web Services应用的系统组装模型,并转换为可执行的组装描述语言的过程和方法。本文在最后给出了一个应用实例。     

动态Web服务组合研究

Web服务作为一种崭新的分布式计算模型,是Web上数据和信息集成的有效机制。动态Web服务组合作为一种灵活、快速集成信息的重要方法,成为开放异构环境中复杂分布应用的新的研究热点。本文首先分析了几种Web服务描述方式并给出了动态Web服务组合定义及模式;其次,结合目前存在的一些组合平台和框架,重点分析了基于工作流和基于AI规划的动态Web服务组合原理与典型应用,并分析了其它相关的一些动态Web服务组合策略;最后提出了动态Web服务组合面临的挑战和进一步的研究方向。     

基于MDA的Web服务组合的研究及应用

随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。提出了一种基于模型驱动架构的Web服务组合方法,将模型驱动软件开发方法学应用到Web服务组合中。针对WSDL语言给出了一个UML Profile for WSDL来建立与WSDL平台相关的静态结构模型,并给出了与WSDL平台相关的静态结构模型和WSDL语言之间的模型转化规则。并通过一个旅行代理服务的实例说明了方法的应用情况,验证了方法的可行性。     

一个基于Petri网的Web服务组合模型

作为企业应用集成的重要手段，Web服务组合需要建立可靠的表达和分析方法。因此，基于Petri网技术定义一个Web服务组合模型，将组合Web服务的要索映射到Petri网结构。利用Petri网提供的分析技术，辅助复杂业务流程的建模，并分析验证其正确性和性能。     

一个基于偏序事件结构的Web服务模型及其形式化组装

随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务的交互和协同行为可以发现,分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证,从而需要提供一定的手段加以支持;同时,基于软件服务分布计算系统的效率问题也值得关注。我们认为,利用偏序关系对这些问题加以处理是一种理想和有效的手段;而同时我们发现,在服务的组装中,服务与服务之间存在着一种自然的偏序关系。本文基于此,从形式化的角度研究了软件服务及其组装,提出了一种基于偏序事件多集的Web服务的形式化模型。本文从服务内部事件而不仅仅是服务的角度来考察并发问题,这使服务内和服务问的更多的事件可以并行执行,并使得组装后的系统可以更高效地进行实施,从而使得Web服务的并发拉度变细;在此基础上给出了一种服务组装语言和规则,以确保在组装过程中出现的局部变化不影响整体的Web服务的正确组装,从而能够从形式化的角度来规范Web服务的集成组装,使其正确性和效率能够得到保证。     

基于Active XML的动态Web服务组合实现

随着Web服务应用的发展,大量存在的应用服务之间需要解决共享和交互,动态Web服务组合为解决信息共享和应用协作的瓶颈问题提供了新的方案。该文通过引入Active XML（AXML）,扩展Web服务,提出了一个基于Active XML的动态Web服务组合框架,在此基础上实现了一个动态服务体系结构。该体系结构支持组合服务的即时生成以及在动态环境中的快速部署和发布。     

基于相对服务质量的Web服务集成策略

该文提出基于过程定义的Web服务集成模型,给出Web服务在服务群中相对服务质量的计算方法,为Web服务的集成过程提供选择依据。最后把Web服务集成抽象为多段图问题,给出采用动态规划的求解策略。     

Using Semantics for Policy-Based Web Service Composition

Proliferation of Web technologies and the ubiquitous Internet has resulted in a tremendous increase in the need to deliver one-stop Web services, which are often composed of multiple component services that cross organizational boundaries. It is essential that these Web services, referred to in this paper as service flows, be carefully composed in a dynamic and customized manner to suit to the changing needs of the customers. This composition should be conducted in such a manner that (i) the composed service flow adheres to the policies imposed by the organizations offering the component services, (ii) the selected component services are compatible with one another so that the entire composition would result in a successful service flow, and (iii) the selected component services most closely meet the customer requirements. In this paper, we propose a policy-based Web service composition that utilizes the semantics associated with the component services.We consider policies imposed by different entities while composing service flows, which include service policies (imposed by the organizations offering component services), service flow policies (associated with the entire service flow), and user policies (the user requirements expressed as policies). In addition to these policies, one may consider rules at the syntactic and semantic levels that can be used to select relevant component services in order to compose customized service flows, by considering the notions of syntactic, semantic and policy compatibility. We model the different policies and the service topic ontology using OWL, DAML-S, RuleML and RDF standards.Recommended by: Athman Bouguettaya and Boualem BenatallahThe work is supported by and a grant from the Meadowlands Environmental Research Institute, New Jersey Meadowlands Commission.