多Agent协同系统的Pi演算建模方法

MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法Pi演算进行建模． 首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型, 然后给出了Agent之间交互模式的Pi演算建模方法． 再以家庭物联网系统作为多Agent协作实例, 应用Pi演算对其建模, 模拟多个Agent协作过程中的通信． 最后, 采用移动工作台对模型的语义进行了验证, 表明了Pi演算对MAS建模的适用性．     

基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。     

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

基于Pi演算有QoS保证的Web服务自适应组合方法

一直以来,Web服务组合是Web研究领域的重点,而Web服务组合能否正确的执行是该领域的热点问题。本文对web服务及其组合进行Pi-演算的形式化描述,从Web服务的可替换性入手,提出基于扩展Pi演算的有QoS保证的Web服务自适应组合方法。最后。时Web服务动态组合算法进行了验证,实验表明,该算法可以在有QoS保证的条件下,动态的进行Web服务的组合。     

智能网业务中的Petri网建模及验证方法

在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述，将其中涉及并发、同步等的描述转化为Petri网模型，探讨了在该模型上的验证方法，并给出了一个应用该规范和模型的例子．     

基于PI-演算的移动通信过程建模

针对现今移动通信中不同SP提供的业务无法互通的弊端,提出了用Web Service的思想来改进移动通信服务的方法。该方法主要以Internet为发展平台,把通信过程封装成多个Web Service,并用PI-演算来描述这些Web Service及服务组合,使每个通信过程的实现都是调用相关Web Service或Web Service组合。最后通过4个具体的实例说明了在移动通信过程中如何用PI-演算来建模Web Service。     

基于中医学理论的业务过程诊断技术

在分析我国传统中医学诊断理论的方法及特点的基础上，提出了一种新的业务过程诊断技术，包括问题陈述与分析、数据收集和辩证诊断等步骤，借鉴中医诊断技术中的整体观念，望、闻、问、切诊断方法，以八纲为总纲的辩证分析技术，实现了对企业业务过程的整体战略分析以及问题根由的分析诊断。将本技术应用于某民营企业的制造过程诊断，将其DDx8电能表的直通率从46．3％提高到了68．86％，验证了本文所提出的技术的有效性。     

跨组织应急业务过程挖掘

对跨组织应急业务过程案例进行分析,给出了跨组织应急业务过程任务的形式化定义及其协作关系的定义,根据跨组织应急业务过程任务间的协作关系定义不同组织间的协同模式;然后,基于扩展消息库所的Petri网模型来描述跨组织应急业务过程模型;给出挖掘组织内业务过程模型和组织间协同过程模型的挖掘算法,最后通过模型集成算法将不同组织的内部业务过程模型和组织间协同过程模型进行合并,得到跨组织全局应急业务过程模型,使用PIPE对模型进行正确性验证。     

过程建模的Petri网模型

该文介绍一个以扩展的Petri网作为建模工具、以消息队列作为执行机制实现过程管理的原型系统。该模型描述了活动的并发执行和依赖关系、活动激发的条件、事件顺序及文档管理等信息。执行该模型在分布、异构、自治的环境中可自动监视、管理和调度工作任务,为业务过程重组、业务过程自动化提供了有助的支持。     

基于过程蓝图的Web服务建模

基于模型驱动架构(MDA,model driven architecture)为Web服务开发提供了一个有效途径,但在使用统一建模语言(UML,unified modeling language)建模过程中缺乏严格的语义描述。对Web服务建模进行了研究,给出了新的web服务开发流程。利用过程蓝图对UML中的用例图、顺序图和类图进行了扩展,使得建模过程中包含了严格的语义信息。通过实例对新的服务开发流程进行验证,证明了其可行性。实验结果表明,这一开发流程具有较强的实用价值,有效提高了软件的开发效率。     

Formalization and Verification of Business Process Modeling Based on UML and Petri Nets

In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.     

运维过程复杂度建模及有效性验证

建立了基于复杂性理论的信息系统运维过程复杂度模型,定义了执行复杂度、参数复杂度、上下文复杂度、交互复杂度和并行复杂度5个指标,给出了指标的形式化定义和计算方法,并且提出了使用归一化函数对指标数据进行处理,以比较单一指标在整体复杂度中所占比重的方法,最后通过开设1个电子邮件服务系统的实验验证了模型的有效性. 该模型可用于度量信息系统运行维护过程的复杂程度,寻找运维热点,进而可以评估和优化运维过程,以提高运维质量和效率.     

运维过程复杂度建模及有效性验证

建立了基于复杂性理论的信息系统运维过程复杂度模型,定义了执行复杂度、参数复杂度、上下文复杂度、交互复杂度和并行复杂度5个指标,给出了指标的形式化定义和计算方法,并且提出了使用归一化函数对指标数据进行处理,以比较单一指标在整体复杂度中所占比重的方法,最后通过开设1个电子邮件服务系统的实验验证了模型的有效性. 该模型可用于度量信息系统运行维护过程的复杂程度,寻找运维热点,进而可以评估和优化运维过程,以提高运维质量和效率.     

基于Petri-Net的流程验证新方法

为解决业务流程管理应用系统中模型可验证性支持不足的问题,文章立足于业务流程建模和验证方法研究领域现状,以理论研究为基础提出一种面向应用系统的流程验证新方法。该方法利用PetriNet网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以PetriNet网络不变量求解为根本的验证算法。文中设计了实验对算法进行了理论分析验证和应用仿真验证,由此证明了文中算法的有效性。此外,为了体现算法的应用效能,对算法进行了效率分析实验,实验表明算法在验证效率上要明显优于覆盖图和因果足迹法。最后,依据文章的研究结果开发了验证算法的实用工具程序包,并对其应用效果进行了展示。综合而言,本文设计的流程验证方法合理高效,适合在实际系统中进行应用。     

飞机技术服务的流程建模和分析

针对传统航空企业质量管理的不足,结合航空企业技术服务现状,采用多视图建模方法建立飞机技术服务的业务流程模型．基于工作流技术开发技术服务平台,实现对飞机技术服务的过程化管理.在此基础上,从成本和效率两个角度对业务流程进行分析评价．提出了一套成本和效率分析指标,为企业改进服务流程提供数据依据和决策支持。     

电子商务环境下税收过程的Petri网模型

我国电子商务工程的网络框架、基本技术环境和应用规模已经初步形成,但在软环境如电子商务税务征收领域的立法和系统建设方面还非常滞后.在分析电子商务交易特点的基础上,以Petri风为描述手段,建立了电子商务环境下的电子征税业务过程模型,并利用矩阵方程对其进行了相关的分析和验证.     

论ERP下的会计业务流程

在讨论ERP在会计和财务管理领域的应用基础上,分析了在ERP环境下会计目标和会计流程的变革,以及对财会人员角色转变的影响,并通过案例说明ERP管理系统是一种实时的、高度集成化的管理系统。     

事件驱动的电信业务过程建模方法

通过分析电信业务过程中涉及的动作和事件的关键概念,提出一种基于扩展UML活动图的方法. 该方法通过事件驱动机制将动作和事件进行组合,使业务逻辑能正确响应来自网络的各种异步事件,而且能满足对电信业务过程建模的需求. 重点研究了UML活动图的扩展、事件驱动机制的模型描述和业务过程模型的执行机制.     

图书馆网络环境下的个性化信息服务

文章对图书馆网络环境下的读者信息需求作了综合分析,提出了开展个性化信息服务的新的服务理念,并制定了切实可行的实施方案.     

UML建模方法及其在虚拟企业经营过程中的应用

对市场反应敏捷，组织灵活的虚拟企业是未来企业的重要形态，它的主要职能之一就是执行分布，并行经营过程。本文在面积对象的建模技术的基础上，引入了面向对象标准建模语言，并用UML类图建立了虚拟企业经营过程活动模型，最后给出了UML描述的一个简单的虚拟企业经营过程实例。