共查询到20条相似文献,搜索用时 31 毫秒
1.
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。 相似文献
2.
多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。 相似文献
3.
4.
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确. 相似文献
5.
6.
7.
工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础,对当前流行的一些工作流模式进行详细的描述,并提出一些应用实例。结果表明,该语言不仅能很好地支持工作流模式,而且具有建模。。简洁、准确的特点。 相似文献
8.
基于Pi演算和EECA规则的跨组织工作流建模研究 总被引:1,自引:0,他引:1
针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模. 相似文献
9.
10.
BPEL是实现SOA组合服务和服务编制的重要技术.重点论述了π演算的语法定义和П演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和验证. 相似文献
11.
UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。 相似文献
12.
王赏玉 《数字社区&智能家居》2013,(3):519-521
工作流产品中的一个重要组成部分是业务流程的设计和验证。由于WSBPEL是半形式化的描述方法,不易检测与验证,难以保证Web服务组合的正确性,也无法在较抽象的层次上跟踪其业务流程。针对此问题,该文提出了业务流程建模与验证的三层体系结构,并实现了业务流程到π演算描述的转换算法。 相似文献
13.
为适应当前云计算环境下客户的个性化要求,一种新的智能流程的概念应运而生。首先提出了智能流程平台架构,描述了智能流程生成模块、社区云服务管理模块、智能流程执行模块三大模块。π演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,随后运用耵演算对智能流程进行建模描述。为了适应用户需求的不断变化,介绍了用户需求变更描述模型,并给出了形式化表示方法。依据互模拟理论验证建模正确性表明π演算建模较好地描述了智能流程下用户多变的个性化需求。 相似文献
14.
形式化多主体系统中的交互及交互协议 总被引:2,自引:0,他引:2
深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性. 相似文献
15.
安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞. 相似文献
16.
时态工作流将时间作为一个维度引入工作流描述.通过对一个典型工作流元模型的分析,得出时态属性是工作流各要素及其关系的普遍属性;定义了时态信息的规范表示和一组时态数据演算,并对时态工作流中主要元素进行了形式化描述;用一个例子说明如何运用上述成果进行过程建模、并处理工作流中的时态数据.结论表明时态工作流能综合处理过程的效率问题和角色、数据、应用程序的时间有效性问题. 相似文献
17.
借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。 相似文献
18.
19.
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链接互相交互.与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力.正如λ演算能够描述所有的可计算函数,π演算也有同样的能力.本文提出了一个方法,据此可以把自然数和函数描述为进程,从而证明了π演算有足够的能力描述所有的可计算函数,同时还说明了与λ演算相比,π演算有着更高的计算效率. 相似文献
20.
在业务流程建模阶段,从时态角度采分析业务流程,有助于清楚地描述工作流.在对工作流模式以及其中包含的时态语义进行了深入研究之后,根据区间代数的语法,将工作流模式和区间代数结合起来,提出了一种新的用于工作流模式的时间约束建模方法.它不仅从时态角度扩展了工作流建模,明确描述了工作流模式中和时序有关的时态约束和依赖关系,并且能使工作流控制模式和形式化验证工具结合,从而有利于进一步从时态角度研究业务流程建模. 相似文献