基于π演算的智能流程建模

合集下载

基于π演算的工作流模型分析方法

［ｙｗｏｄ］ｗｒｆｗ；ｏｎｎｓａａｙｉ ⅡｃｌｌｓｌｙｓｕｄｅｓＫｅｒｓｏｋｏｓｕｄｅｓｎｌｓ；一ａｃｕ；ａｏｎｎｓｌｓｕｚ
１概述
工作流模型的分析是指采用各种方法对工作流模型的内
存在较大的空白，所做的研究和实践相对较少，或者只提供
题，提出懒惰合理性的概念，用于对工作流进行分析。通过考虑节点语义，扩展结构合理性。为了表达节点语义，用演算表达过程图，
使过程图具有形式化语义。
关奠词：工作流；合理性分析；７ｃ演算；懒惰合理性
ＡｎｌｓｓＭｅｈｄｆｒＷｏｋＯＭｏｅｓｄ０兀ｃｌｕｕａｙｉｔｏ０ｒｆＷｄｌｌＢａｅｎ．ａｃｌｓ
ｓｍａｔｓｏｅｐｏｅｓｎｄｓｉｔｃｏｎ．ｎｏｄｒｔｘｒｓｅｎｉｓｏｈｏｅ．ｔｃｎｉｅｓ７— ａｃｌｓｒｐｅｅｔｔｎｏｒｃｓｒｐ，ｅｎｉｆｔｒｃｓｏｅｎｏａｃｕｔＩｒｅｏｅｐｅｓｓｍａｔｆｔｅｎｄｓｉｏｓｄｒｃｌｕｕｅｒｓｎａｉｆｆｐｏｅｓｇａｈｃｈｃｃｏｌｗｈｃｃｕｅｏｍａｅｎｉｓｉｈｉｌｄｓｆｒｌｍａｔｃ．ｎｓ
第３６卷第６期
Ｖ１ｏ．３６
・
计
算
机
工
程
２１年３月００
Ｍａｃ２１ｒｈＯＯ

基于Pi演算的人工神经网络模型

种结构的神经网络．而形式化方法对于建模和验证系统是一种有效的方法，以对人工神经网络的形式化描述和验然所
证是一个重要的研究方向．Ｐ演算是一种移动进程代数，ｉ可用于对并发和动态变化的系统进行建模，因此Ｐ演算和ｉ
人工神经网络的基础都是并发计算．在这个基础上，首先通过Ｐ演算建模人工神经网络，证明了它们之间的等价性，ｉ然后设计了基于Ｐ演算的人工神经网络分类器．ｉ最后，讨论了这个模型的优越性．关键词：人工神经网络；Ｐ演算；模式识别ｉ中图分类号：Ｔ１３Ｐ８文献标识码：Ａ文章编号：１０ —０３２０）０７ —３０６７４（０６增一０１０
维普资讯
第２７卷
增刊
哈
尔
滨
工
程
大
学
学
报
Ｖｏ１２Ｓｕ１．７ｐｐ．
２００６年７月
ＪｕｎｌｏＨａｂｎＥｎｉｅｒｇＵｎｖｒｉｏｒａｆｒｉｇｎｅｎｉｉｅｓｙｔ
ＡＮＮｏｅａｅｎＰａｃｌｓｍｄｌｓｄｏｉｌｕｕｂｃ
ＣＨＥＮｎ，ＦＮｉｇＥＮＧ — ｉ ’ｎｉｔｎｉｅｓｙＸｉｎ７０４，ｈｎ）Ｃｍｐｔｒａｈｎ＆ｘｅｍｅｔｅｔＸｉａｏｇＴｉｅａＪｏＵｎｖｒｉ， ’ １０９ＣｉａｔａＡｂｔａｔｓｃ：Ａｒｆｉｌｎｕａｎｔｒ（ＮＮｓａｍｐｒｎｍｔｏｆａｔｃａｉｔｌｇｎｅｕＡＮｌｋｎａｌｕｐｓｒｔｃａｅｒｅｗｏｋＡ）ｉｎｉｏｔｔｅｈｄｏｒｆｉｌｎｅｌｅｃ，ｂｔｉｉｌａｉｉｉＮａｓａｌｐｒｏｅｃ —

基于Pi-演算的移动自助服务系统缴费流程的建模与验证

基于Pi-演算的移动自助服务系统缴费流程的建模与验证高娟;丁志义【摘要】在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化,最终得到移动自助服务系统缴费流程的完整模型,同时在Pi-演算专业仿真软件工具MWB中验证了该模型的正确性.【期刊名称】《宁夏工程技术》【年(卷),期】2016(015)002【总页数】5页(P102-105,109)【关键词】移动自助服务系统;Pi-演算;系统建模;MWB【作者】高娟;丁志义【作者单位】宁夏大学信息工程学院,宁夏银川 750021;宁夏大学信息工程学院,宁夏银川 750021【正文语种】中文【中图分类】TN929.5中国移动不仅有专门的营业厅、网上营业厅、10086服务热线等服务渠道，而且将自助服务以一种安全快捷的方式面向广大客户，成为电信行业中最具有代表性的公司。

本文研究背景源于中国移动银川某分公司基于Tuxedo的移动自助服务系统。

移动自助服务系统作为高质量服务经济的典型代表，通过移动公司内网将客户端与管理中心相关联，共同协作完成各项移动业务，而其中的客户端就是系统直接面向客户的机柜式自助服务终端［1］。

如今手机在人们的生活中已经不是一件奢侈品，办理话费缴纳、业务查询、套餐等移动业务也随之成为人们生活中不可或缺的一部分。

而在系统设计的初级阶段，对系统的业务过程进行建模，可以减少系统设计的错误；同时模型的正确性对于提高系统可信度也有着重要的现实意义。

目前，对移动自助服务系统研究大多集中在定性的技术层面上的分析，缺少定量的描述，其缺点在于不利于检查系统中存在的设计缺陷。

本文采用Pi-演算［2—3］对移动自助服务系统的缴费流程进行建模，因为Pi-演算的分析方法有较强的理论支持，可以描述结构动态不断变化的复杂系统，且描述能力强；其次，Pi-演算已有成熟的形式化验证工具，便于对模型进行验证。

基于Pi-演算的Web服务形式化描述模型＊

ｄｉ１．９９ｊｉｎ１０ — ６５２１．６０６ｏ：０３６／．ｓ．０１３９．００．４ｓ１
ＰｉｃｌｕｕａｅｏｍａｅｃｉｔｏｄｌｆｒＷｅｅｖｃｓ — ａｃｌｓｂｓｄｆｒｌｄｓｒｐｉｎｍｏｅｏｂｓｒｉｅ
基于全局（ＷＳＣＬ描述）是局部（ＢＥ４用 —Ｄ还用ＰＬＷＳ描述）对Ｗｅ务组合进行的设计，可以对应为本文提出的模型的ｂ服都行为结构。本文提出的Ｗｅ务形式化描述模型还可以描述ｂ服
基金项目：天津市科技支撑计划重点资助项目（８ｃＦ０７ｏ）应用基础及前沿技术０ｚＫＧｘ００；
作者简介：胡静（９０），，北保定人，师，１８－女河讲主要研究方向为ＳＡ、式化描述、ｉ算（ｖｓｈｈ＠ｔ．ｄ．ｎ；志勇（９４）男，Ｏ形Ｐ演ｍａｉｕｕｊｅｕｃ）冯ｕ１６．，教
行正确性的验证。
现有Ｗｅｂ服务组合规范无法描述的动态体系结构。
２Ｗｅｂ服务的形式化描述模型
本章基于Ｐ．ｉ演算，出了Ｗｅ给ｂ服务形式化描述模型的概
为了解决Ｗｅｂ服务描述问题以及组合的正确性验证问题，使用有限状态自动机。、程代数ＣＳ４Ｐ一常］进Ｓｌ、ｉ＇演
果的正确。

工作流模式的π演算形式化

ＬＩＡＮＧ — ａ，ＬＩＣｈａｇｙｎ，ＨＵＡＮＧａ — ｎＡｉｎｎｎ —ｕＸｉｎｍｉｇ
一
（ｐｒｎｆｏｕｅ，ＨｎｎｕｉｅｓｙｏＴｅｈｏｇ，ｈｚｏ４２０，ｈａＤｅａｔｔｍｐｔｒｕａｎｖｒｔｆｃｎｌｙＺｕｈｕ１０８Ｃｉ）ｍｅｏＣｉｏｎ
１Ｓｉｅａ１Ｕｎｄｔｉ．Ｋｅｒｓ７—ｃｌｕｕ；ＥＣｒｌ；ｗｏｋｏｐｔｅｎｙｗｏｄ：ｃａｃｌｓＡｕｅｒｆｗａｔｒｓｌ
想工具，如，［，］使用丌演算对工作流进行例文３４
１引言
ＡｂｔａｔＴｏｒａｉｅｔｅｆｎｔｎｏｒｆｗｎｇｍｅｔｈｕｉｅｓｐｏｅｓｍｕｔｂｂｔａｔｄｆｏｔｅｒａｒｎｓｒｃ：ｅｌｈｕｏｉｆｗｏｋｏｍａａｅｎ，ｔｅｂｓｎｓｒｃｓｓｅａｓｒｃｅｒｍｈｅｌｚｏｌｗｏｌａｄｄｄｓｒｅｙａｋｎｆｆｒｌｍｅｈｄＷｏｋｏｐｔｅｎｒａｉｃｎｔｕｔｎｕｉｏｒｆｗｄｌｇ．Ｔｈｃａｃｌｓｉａｅｃｉｄｂｉｄｏｍａｔｏ，ｒｆｗａｔｒｓａｅｂｓｏｓｒｃｉｎｔｆｗｏｋｏｍｏｅｎｂｏｌｃｏｌｉｅ７ —ｃｌｕｓｕ
７演算（ —ｃｌｌｓ是ＲｂｎＭｉｅ提出的以ｒ７ａｕｕ）ｃｃｏｉｌｒｎ进程间的移动通信为研究重点的并发理论，是对它

1数学建模实验-圆周率的计算

11-23π
1 1 = 4 arctan − arctan (Machin公式) 公式) 公式 4 5 239
此式求得了π的第位小数且全部正确此式求得了的第100位小数且全部正确的第
12-23
方法1 利用幂级数表达式
1 2 4 n−1 2n−2 =1− x + x −L+ (−1) x +L 2 1+ x
4-23
古典方法分析方法其它方法 Ä 概率方法 Ä 数值积分方法
5-23
古典方法
的近似值呢？显然，用什么方法来计算π的近似值呢？显然，不可能仅根据圆周率的定义，用圆的周长去除以直径。起先，据圆周率的定义，用圆的周长去除以直径。起先，人们采用的都是用圆内接正多边形和圆外切正多边形来逼近的古典方法。的古典方法。
19-23
设计方案
在正方形 0< x <1, 0< y<1 上随机的投大量的点，那么落在四分之一园内的点数数m与在正方形内的点数n 之比m/n应为这两部分图形面积之比＝π/4,故 π＝4 m/n 计算机模拟：产生区间[0,1]上数目为n的一组随机数(x,y)，计算满足x2+y2<1的点数m
3.1415926535897932384626433832795028841971 6939937510582097494459230781640628620899 8628034825342117068 但是你会计算π的值吗？你又能用几种方法计算π的值？
3-23
π的计算的计算
Ä 圆周率是人类获得的最古老的数学概念之一，早在大约3700年前（即公元前1700 之一，早在大约3700年前（即公元前1700 3700年前年左右） 256/81（年左右）的古埃及人就已经在用256/81（约3.1605）作为π的近似值了。几千年来 3.1605）作为π的近似值了。，人们一直没有停止过求π的努力。人们一直没有停止过求π的努力。

基于π演算的BPEL组合服务的形式化描述及验证

辑ｌ。２１
的计算模型。设 Ⅳ 为无限名字集，Ｙ等小写字母为名、字集上的名字；、等表示进程；Ｑ等表示进程表达ＡＢＰ、式，程表达式包括以下几种形式：进
演算建模Ｗｅｂ服务的算法，后以一个典型的银行借贷服务系统为例，用１算进行了形式化描然利Ｔ演
述和验证。
关键词：ＢＥＰＬ服务；Ｔ演算；式化描述；证１形验
中图分类号：Ｔ３３０Ｐ９．２文献标识码：Ａ文章编号：１７ — ７０２１）２０６ — ３６４７２（００２ — ０２０
务组合可能存在死锁、锁、态不可达等众多问题，活状所以必须在部署前进行严格的验证，及时发现服务组合以中存在的问题。所谓的Ｗｅｂ组合服务验证就是指在实际部署组合
服务系统前，通过某些理论或工具检查该服务组合流
Ｆｏｍａｅｃｉｔｏｎｄｖｒｆｃｔｏｒｌｄｓｒｐｉｎａｅｉａｉｎｉ
ｏｒａｃｌｓｂｓｄＢＰＥＬｓｒｉｅｃｍｐｏｉｉｎｆ￣－ｃｌｕｕａｅｅｖｃｏｓｔｏ
ＸＩＡＨｏｇＸｉｇｎｎ
。
感
鳖
璺
基于盯演算的ＢＥＰＬ组合服务的形式化描述及验证

基于π演算的多实例工作流模式的建模方法

ｗｒｆｗａｔｒｓａｅｍｏｅｅｙ订・ａｃｌｓａｃｒｉｇｔｔｙｔｘａｒｓｎｅｎｔｉａｔｌ．ｈｒｐｓｄｍｅｈｄｈｓｓｒｎｅｂｌｙｉｏｋｏｐｔｎｒｄｌｄｂｌｅｃｌｕｕｃｏｄｎｏｉｓｎａｓｐｅｅｔｄｉｈｓｒｉｅＴｅｐｏｏｅｔｏａｔｇｒａｉｔｎｓｃｏｉｓｍａｔｓｅｐｅｓｏｎｈｅｎｉｓｏｒｃｓｄｌｉｍｏｅａｃｒｔ．ｅｎｉｘｒｓｉｎａｄｔｅｓｍａｔｆｏｅｓｍｏｅｓｃｃｐｒｃｕａｅＫｅｗｏｄｙｒｓＷｏｋｏｄｌｇｒｆｗｍｏｅｉｌｎ订一ａｃｌｓＥＡｕｅＭＵｔｌｎｔｎｅｗｏｋｏａｔｒｓｃｌｕｕＣｒｌｌｐｅｉｓｃｒｉｗｐｔｎｉａ￣ｅ
维普资讯
第２５卷第５期
２００８年５月
计算机应用与软件
ＣｏｕｅｐｉａｉｎｎｄＳｆｗａｅｍｐｔｒＡｐｌｃｔｓａｏｏｔｒ
Ｖ０．５１２Ｎｏ．５Ｍａ０ｖ２０８
基于演算的多实例工作流模式的建模方法
梁爱南李长云黄贤明
（湖南工业大学计算机系湖南株洲４２０）１０８
摘
要
订演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模。根据订演算的语法，利用订演算对多实例工

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

ｉｔｌｉｅｔｐｏｅｓｓｉｒｐｓｄ．Ｉｉａｅ，ｎｅｌｅｔｐｏｅｓｐａｆｒａｃｔｃｕｅｗａｒｐｓｄ－ｔｅｉｔｌｇｎｒｃｓｅｅａｉｎｎｅｌｇｎｒｃｓｅｓｐｏｏｅｎｔｓｐｐｒｉｔｌｇｎｒｃｓｌｔｏｍｒｈｉｔｒｓｐｏｅｈｉｅｏｈｎｅｌｅｔｐｏｅｓｇｎｒｔｉｏｍｏｄｌｕｅ。ｔｅｃｍｍｕｉｌｕｒｉｅｍａａｅｎｄｕｅａｄｉｔｌｇｎｒｃｓｘｃｔｎｍｏｕｅｏｆｔｅｐａｆｒｒｅｃｉｅ．＂－ｈｏｎｔｃｏｄｓｖｃｎｇｍｅｔｍｏｌｎｅｌｅｔｏｅｓｅｅｕｉｄｌｈｌｔｏｙｅｎｉｐｏｍｗｅｅｄｓｒｄｉｂＴｃｌｕｕａｌｅｃｉｅｄｎｍｉｈｎｅｎｃｍｍｕｉａｉｎｔｐｌｇｔｔｏｇｅｐｓｉｎｓｉｌ．Ｔｈｎｕｄ￣－ｃｃｌｓｔｅｃｉｅｔｅａｃｌｓｃｌｄｓｒｂｔｙａｃｃａｇｓｉｏｅｈｎｃｔｏｏｏｙｗｉｓｒｎｘｒｓｏｋｌｏｈｅｓｅｓｅｒａｕｕｏｄｓｒｂｈｌｉｔｌｇｎｅｐｏｅｓＤｅｃｉｄｔｅｕｒｒｑｉｍｅｔｈｇｅｃｐｏｄｅｏｍｅｔｔｅｃａｇａｌｅｕｒｍｅｔ．ａｄｉｔｏｕｅｅｎｅｌｅｃｒｃｓ．ｓｒｉｅｈｂｓｅｕｒｅｅｎｓｃａｅｄｓｒｔｎｍｏｌｔｅｈｎｉｉｈｎｅｂｅｒｑｉｅｎｓｎｎｒｄｃｄｔｈｆｒａｘｒｓｉｎＶｅｆｃｔｎｂａｅｎｂｓｍｕａｉｎｓｏｄａｏｌｅｐｓｏ．ｍｅｉｒｉａｏｓｄｏｉｉｌｔｈｗｅｔｔ竹一ｃｃｌｅｒｂｄｃｓｏｒｓｃａｇａｌｎｉｉｕｅｕｉｍｅｔｉｏｈｌａｕｕｓｄｓｉｅｕｔｍｅｈｃｎｅｂｅｉｄｖｄａｒｑｒｌｅｎｓ
构，述了智能流程生成模块、区云服务管理模块、能流程执行模块三大模块。１演算能够描述通信拓扑结构的动态描社智ｒ改变，具有强大的表达能力，后运用耵演算对智能流程进行建模描述。为了适应用户需求的不断变化，绍了用户需求随介变更描述模型，并给出了形式化表示方法。依据互模拟理论验证建模正确性表明１演算建模较好地描述了智能流程下用ｒ
Ｊｎ５０４。Ｃｈｎｉａ２０１ｎｉａ；
２ｅｗｒｎｏｍａｉｅｔ－ｈｎｏｇＵｎｖｒｔｆｉａｃｄＥｏｏｃ，ｉａ５０４ｈｎ）．ＮｔｏｋＩｆｒｔｎＣｎｒＳａｄｎｉｅｓｙｏｎｅａｃｎｍｉＪｎ２０１，ＣｉａｏｅｉＦｎｎｓｎ
ＡｂｔａｔＩｒｅｏｍｅｔｔｅｃｓｏｒｓｉｄｖｄａｅｕｒｍｅｔｎｅｅｃｒｎｌｄｃｍｐｔｇｅｖｒｍｅｔｅｃｎｅｔａｌｄｓｒｃ：ｎｏｄｒｔｅｈｕｔｍｅｎｉｉｕｌｒｑｉｅｎｓｕｄｒｔｕｒｔｃｏｕｏｈｅｕｉｎｉｎｏｎｎ－ａｎｗｏｃｐｌｅｃ
第２２卷第９期２１０２年９月
计算机技术与发展
Ｃ０ＭＰＵＴＥＲＴＥＣＨＮＯＬＯＧＹＡＮＤＤＥＶＥＬＯＰＭＥＮＴ
Ｖｏ．２Ｎｏ９１２．Ｓｐ．２０１ｅ２
基于演算的智能流程建模
．
冯立元李德生李维翠，，
ＩｔｌｇｎｔＰｒｃｓｏｌｎｓｄｏ￣－ａｃｌｓｎｅｌｅｏｅｓＭｄｅｉｇＢａｅｎｉｃｌｕｕ
ＦＥＮＧ — ｕａ。ＬＩＤｅ—ｓｎ，ＬＩＷｅ —ｃｉＬｉｙｎｈｅｇｉｕ‘
（．ｃｏｌｆｏｕｒＳｉｎｅ＆Ｔｃｎｌｇ，ｈｎｏｇＵｎｅｓｙｏｉａｃｎｃｎｍｉ。１ＳｈｏｏｍｐｔｃｅｃＣｅｅｈｏｏｙＳａｄｎｉｒｔｆｎｎｅａｄＥｏｏｃｖｉＦｓ
（．东财经大学计算机科学与技术学院，东济南２０１１山山５０４；
２山东财经大学网络信息中心，东济南２０１）．山５０４
摘要：为适应当前云计算环境下客户的个性Байду номын сангаас化要求，一种新的智能流程的概念应运而生。首先提出了智能流程平台架
户多变的个性化需求。
关键词：算；能流程；性化流程；竹演智个流程建模
中图分类号：Ｐ１．２Ｔ３１５文献标识码：Ａ文章编号：６３６９２１）９０ｌ — ５１７－２Ｘ（０２０－１ｌｏ