基于对象Petri网的服务集成建模与合理性初步分析

发布时间：2018-06-26 20:40

本文选题：对象Petri网 + 分层服务集成过程模型　；参考：《南京大学》2014年硕士论文

【摘要】：随着Internet逐步演变成一个全球化的开放计算平台,基于Web服务的服务集成成为过程技术应用与研究的热点。服务集成通过把功能单一的Web服务组合起来,实现异构应用的集成与协作。服务集成的建模是验证集成服务正确性的前提。目前的服务集成过程模型集中关注业务需求导向的全局集成服务过程,忽略参与集成伙伴服务的内部过程行为。在动态、多变的开放环境下,难以支持集成服务过程与参与集成伙伴服务内部过程行为一致的检验。针对上述问题,本文采用关注点分离原则,提出一种基于对象Petri网的分层服务集成过程模型,实现集成服务过程以及独立的参与集成伙伴服务过程的统一建模。基于该模型,不仅能够实现全局集成服务过程的建模,而且能够建立集成服务过程与参与集成伙伴服务的内部过程之间的关联关系,从而支持两者之间行为一致的检验。具体而言,本文的工作主要包括以下几点： ·给出了分层服务集成过程模型相关概念,基于对象Petri网和工作流网给出了分层服务集成过程模型的形式化定义。在此基础上,对分层服务集成过程模型的合理性进行了研究,该属性可用于形式化分析服务集成过程的正确性(单一集成服务过程是否正确,以及是否会发生由于参与伙伴服务过程与集成服务过程行为的冲突而导致的模型死锁),并给出了判定分层服务集成过程模型的合理性的充要条件。 ·基于分层服务集成过程模型,给出一种自顶向下与自底向上相结合的服务集成建模方法,保障集成服务过程与局部参与伙伴服务内部过程行为-致。 ·采用活动对之间的本质行为关系抽象表示一个过程模型的行为。基于分层服务集成模型的合理性,从过程间行为一致角度,研究了全局集成服务过程与局部参与伙伴服务在关联关系下相应活动对上的行为约束。并给出了计算一个过程模型其抽象行为表示(活动对间的行为关系集合)的方法。基于开源的PIPE平台,设计并实现实现了一个支持分层服务过程模型建模与行为约束分析的原型工具,L-SIP,支持图形化的服务集成过程建模。为用户提供了一个简单易用、方便直观的服务集成过程建模以及模型行为约束检测工具。
[Abstract]:As the Internet has evolved into a global open computing platform, Web service-based service integration has become a hot topic in the application and research of process technology. Service integration realizes the integration and collaboration of heterogeneous applications by combining Web services with a single function. The modeling of service integration is the premise to verify the correctness of integrated services. The current service integration process model focuses on the global integrated service process based on business demand and neglects the internal process behavior of participating in the integration partner service. In the dynamic and changeable open environment, it is difficult to support the verification of the consistency of the process behavior between the integrated service process and the participating integration partner service. In order to solve the above problems, this paper proposes a hierarchical service integration process model based on object Petri net by using the principle of separation of concerns, which realizes the unified modeling of integrated service process and independent participating integrated partner service process. Based on this model, not only the modeling of the global integrated service process can be realized, but also the relationship between the integrated service process and the internal process participating in the integration partner service can be established, so as to support the verification of the behavior consistency between the two processes. Specifically, the work of this paper mainly includes the following points: the related concepts of hierarchical service integration process model are given, and the formal definition of hierarchical service integration process model based on object Petri net and workflow net is given. On this basis, the rationality of the hierarchical service integration process model is studied. This attribute can be used to formally analyze the correctness of the service integration process (whether the single integrated service process is correct or not). And whether the model deadlock will occur as a result of the conflict between the behavior of the participating partner service process and the integration service process), the sufficient and necessary conditions for determining the rationality of the hierarchical service integration process model are given. In the hierarchical service integration process model, A service integration modeling method combining top-down and bottom-up is presented. The behavior of a process model is abstracted by the essential behavior relationship between an activity pair and a local participating partner service. Based on the rationality of the hierarchical service integration model, the behavior constraints on the corresponding activity pairs between the global integrated service process and the local partner service are studied from the point of view of inter-process behavior consistency. A method for calculating the abstract behavior representation of a process model (the set of behavior relationships between two pairs of activities) is also given. Based on the open source platform of Pip, a prototype tool named L-SIP, which supports hierarchical service process modeling and behavior constraint analysis, is designed and implemented, which supports graphical service integration process modeling. It provides a simple and easy to use, convenient and intuitionistic tool for service integration process modeling and model behavior constraint detection.
【学位授予单位】：南京大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP301.1;TP393.09

【相似文献】