共查询到20条相似文献,搜索用时 46 毫秒
1.
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确. 相似文献
2.
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。 相似文献
3.
为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述.工作流模式是工作流建模的基本构造单元.π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述. 相似文献
4.
5.
6.
7.
工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础,对当前流行的一些工作流模式进行详细的描述,并提出一些应用实例。结果表明,该语言不仅能很好地支持工作流模式,而且具有建模。。简洁、准确的特点。 相似文献
8.
9.
10.
基于Pi演算和EECA规则的跨组织工作流建模研究 总被引:1,自引:0,他引:1
针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模. 相似文献
11.
12.
一种基于工作流类型版本和实例迁移的动态修改方法 总被引:2,自引:0,他引:2
工作流管理系统中一项重要而未解决的问题是工作流模式的动态修改,比如,在保证模式正确的前提下,创建、删除和修改工作流类型。在修改工作流类型时,如果工作流实例是活动的,则这个问题就变得尤其严重,因为任何工作流实例必须符合其工作流类型的定义。本文中提出了一种基于工作流类型版本和工作流实例迁移的动态工作流模式修改方法。 相似文献
13.
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链接互相交互.与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力.正如λ演算能够描述所有的可计算函数,π演算也有同样的能力.本文提出了一个方法,据此可以把自然数和函数描述为进程,从而证明了π演算有足够的能力描述所有的可计算函数,同时还说明了与λ演算相比,π演算有着更高的计算效率. 相似文献
14.
15.
活动是组成工作流模型的基本单位,为了便于工作流的组织管理,本文提出工作流多实例活动的概念,并用一种叫做活动实例生成器的工具对这些实例活动进行管理。在此基础上多实例活动的用途和产生方法进行了详细讨论。 相似文献
16.
17.
为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法.针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述.在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法.最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性. 相似文献
18.
安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞. 相似文献
19.
定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。 相似文献
20.
时态工作流将时间作为一个维度引入工作流描述.通过对一个典型工作流元模型的分析,得出时态属性是工作流各要素及其关系的普遍属性;定义了时态信息的规范表示和一组时态数据演算,并对时态工作流中主要元素进行了形式化描述;用一个例子说明如何运用上述成果进行过程建模、并处理工作流中的时态数据.结论表明时态工作流能综合处理过程的效率问题和角色、数据、应用程序的时间有效性问题. 相似文献