共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
主要研究带mismatch的高阶进程演算的公理化问题。首先,建立存在mismatch时高阶进程的开弱高阶互模拟理论,证明了等价关系、同余性等重要性质;其次,沿用线性的方法,构建得到带 mismatch 的有限进程上的公理系统;最后,基于对开弱高阶互模拟的刻画,证明了该公理系统的完备性定理。该工作为带 mismatch 的高阶进程上互模拟判定的有效算法的设计与实现,进而为相关的应用建模工作提供了理论借鉴。 相似文献
3.
4.
5.
6.
目前,大多数学者都意识到需求演化的重要性,然而依然缺乏有效的方法指导需求演化。反射式需求规约通过描述支持OWL-S需求规约演化的元信息,并支持以合理的方式使用这些元信息,实现OWL-S需求规约的演化。本文提出了一种基于π演算的反射式需求规约演化模型,使得反射式需求规约的演化能够以一种正确的方式实现。针对OWL-S需求规约的特点,给出了OWL-S需求规约的π演算描述方法;使用高阶π演算的进程传递机制,描述了支持演化的反射式需求规约;给出了反射式需求规约演化正确性的推理与验证方法。同时,我们采用交通出行的例子论证了本文的观点。 相似文献
7.
随着生活中出现停车越来越难的问题,已出现在普适计算环境下辅助泊车的设计。在生活中有关实际问题的设计,都需要从理论上证明。针对辅助泊车流程与兼容性的需求,从π演算的语法和操作语义等理论入手,对辅助泊车的构件行为进行建模同时验证辅助泊车设计的构件行为的兼容性。将π演算的理论与实际相结合,实现了计算机理论与实践的相结合。 相似文献
8.
9.
10.
体系结构是系统的高层抽象和集成蓝图,基于形式化方法描述和分析体系结构能在系统开发早期发现体系结构层面的错误并提升体系结构的质量。基于体系结构的πADL形式化规约,结合体系结构领域的需求和特点,运用π演算基本理论形式化定义了系列概念和多种进程关系,并以此作为理论基础,提出了π ADL规约的8种一致性分析方法,用以提高体系结构规约和系统组装的质量。 相似文献
11.
基于构件运算的软件演化研究 总被引:1,自引:2,他引:1
当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统科学地描述软件演化。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的构件调用运算、协作运算和条件运算的新方法。对软件系统进行抽象化,把软件系统的演化归结为构件表达式的变化,利用代数理论对软件演化中构件的增加、删除、相互关系的修改进行系统研究,并给出将演化后的结果用图形方式表示的方法。 相似文献
12.
Yong-JianLi Xin-XinLiu 《计算机科学技术学报》2004,19(C00):21-22
标签转移系统语义在早期的进程演算中取得了巨大的成功。基于标签转移系统,Milner与Park引入了互模拟的概念来描述进程间的等价性,互模拟从此成为整个进程演算中的理论基石。在经典的CCS进程演算中,标签转移系统用于描述进程的操作语义,然后在此基础上,互模拟概念通过如下方式被定义出来:两个进程若互模拟,不仅要满足任何一方的行为都要能够被另外一方匹配,同时要 相似文献
13.
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。 相似文献
14.
为适应当前云计算环境下客户的个性化要求,一种新的智能流程的概念应运而生。首先提出了智能流程平台架构,描述了智能流程生成模块、社区云服务管理模块、智能流程执行模块三大模块。π演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,随后运用耵演算对智能流程进行建模描述。为了适应用户需求的不断变化,介绍了用户需求变更描述模型,并给出了形式化表示方法。依据互模拟理论验证建模正确性表明π演算建模较好地描述了智能流程下用户多变的个性化需求。 相似文献
15.
基于π演算的一种Agent组织模型 总被引:4,自引:0,他引:4
Agent组织是多Agent系统研究的重要方面。从直观含义出发,将组织看做Agent之间的控制关系,以π演算为工具,给出了组织角色的定义和根据组织框架构建具体组织的过程。角色和组织框架都用进程表示,确定了Agent加入和脱离组织的严格描述,相比Ferber等以π演算和化学自动机定义组织形成过程的形式语义的工作,本文显式定义了角色和组织框架,所讨论的组织更具一般性。 相似文献
16.
为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述.工作流模式是工作流建模的基本构造单元.π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述. 相似文献
17.
18.
19.
UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。 相似文献
20.
基于构件的软件架构技术是软件工程领域中新兴的软件设计技术,其中构件演化理论成为目前软件工程理论研究的热点问题。本文从构件的功能出发建立了基于功能的构件演化模型,分析了该模型的性质,并通过该模型建立了构件演化的判断条件和演化后软件系统的可达性判断方法。 相似文献