检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种扩充的π-演算及事务性等价关系研究

计算机研究与发展 2010年第3期47卷 541-548页

作者：袁敏黄志球曹子宁肖芳雄南京航空航天大学信息科学与技术学院南京210016

为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事务补偿语义,而过... 详细信息

为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事务补偿语义,而过于复杂的语法和迁移规则不利于对事务特性的进一步分析.在不增加新的操作算子的前提下,引入事务膜的位置概念来表示事务作用域,将进程的交互动作与消息相对事务膜的传递过程相关联,对π-演算进行扩充.结合进程行为的事务依赖性,提出了一种弱事务性开互模拟,来刻画可见事务行为的等价关系,利用互模拟等价理论分析了弱事务性等价关系的基本性质,为研究Web服务的事务特性提供了理论基础.

关键词： web服务 π-演算膜活动等价事务互模拟

基于π-演算的web服务流的分析与建模(英文)

在线全文

学校读者我要写书评

暂无评论

Journal of Southeast University(English Edition) 2006年第3期22卷 315-318页

作者：何涛缪淮扣钱忠胜上海大学计算机工程与科学学院上海200072

为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-... 详细信息

为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.

关键词： BPEL web服务工作流 π-演算

在线全文

学校读者我要写书评

暂无评论

π-演算中无卫递归的消除

软件学报 1997年第5期8卷 321-326页

作者：林惠民中国科学院软件研究所

本文提出消除π－演算中无卫递归的公理，证明了将该公理加入到正则π－演算受卫递归子集上的证明系统后。

关键词：进程代数 π-演算互模拟证明系统无卫递归

在线全文

学校读者我要写书评

暂无评论

ABC转运器的π-演算模型及其验证

计算机研究与发展 2008年第Z1期45卷 118-123页

作者：张红刘磊吉林大学计算机科学与技术学院长春130012

将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分析了其基于状态迁移规则的动态行为演变和构象变化过程,并用自动验证π-演算、通信系统演算CCS的移动工作... 详细信息

将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分析了其基于状态迁移规则的动态行为演变和构象变化过程,并用自动验证π-演算、通信系统演算CCS的移动工作台MWB对该模型进行了状态跟踪和性能验证.π-演算能够在统一的框架之下捕获分子生物系统的两个关键属性:模块化组织和动态行为,对其既能进行质的又能进行量的推理,证明了π-演算用于分子生物过程抽象描述的可行性.

关键词：进程代数 π-演算系统生物学 ABC转运器

在线全文

学校读者我要写书评

暂无评论

一新型移动进程模型—— χ-演算

上海交通大学学报 1997年第8期31卷 7-11页

作者：傅育熙上海交通大学计算机科学与工程系

提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．

关键词：互模拟 π-演算 x-演算移动进程并发计算模型

在线全文

学校读者我要写书评

暂无评论

并发计算范型:CCS和π-演算

计算机科学 2002年第10期29卷 14-17页

作者：杜旭涛李舟军国防科技大学计算机学院长沙410073

1 引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。所谓并发系统就是存在并发事件的系统。顺序计算是并发计算的特例,相比于并发计算是一个小得多的领域,其复杂... 详细信息

1 引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。所谓并发系统就是存在并发事件的系统。顺序计算是并发计算的特例,相比于并发计算是一个小得多的领域,其复杂性也小得多。函数被用来作为顺序计算的公共语义框架的基础。λ-演算就是一个著名的原型。一个顺序程序从语义上可以看作是一个从状态到状态的函数。例如顺序程序P1和P2:

关键词：程序设计并发计算范型 CCS π-演算

在线全文

学校读者我要写书评

暂无评论

基于时间π-演算的移动商务过程建模

管理学报 2010年第6期7卷 885-890,929页

作者：乔爽张春城顾宏大连理工大学管理学院大连理工大学电子与信息工程学院

在总结无线技术对商务活动的影响的基础上,针对信息交互频繁、不确定环境下的过程结构动态变化、局部自治等柔性特征,采用时间π-演算为移动商务过程建模,目的在于便于分析时间绩效改进。然后,具体指出了π-演算和移动商务过程的对应关... 详细信息

在总结无线技术对商务活动的影响的基础上,针对信息交互频繁、不确定环境下的过程结构动态变化、局部自治等柔性特征,采用时间π-演算为移动商务过程建模,目的在于便于分析时间绩效改进。然后,具体指出了π-演算和移动商务过程的对应关系,构建了具有共性的选择过程组件,以及在时间方面扩展了π-演算。最后,用无线自动售货机系统的物流配送过程实例,证明了方法的有效性。

关键词：移动商务商务过程过程代数 π-演算

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

Email系统特征交互问题的π-演算检测

华侨大学学报（自然科学版） 2011年第2期32卷 175-177页

作者：李文翔潘孝铭华侨大学计算机科学与技术学院福建泉州362021

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.

关键词：特征交互 Email系统 π-演算 μ-演算移动工作台

在线全文

学校读者我要写书评

暂无评论

基于π-演算的WS-BPEL建模与实现

基于π-演算的WS-BPEL建模与实现

作者：于鹏伟西北大学

学位级别：硕士

业务流程的设计和验证是所有工作流产品的一个主要功能。为了能够尽早发现流程建模中死锁、缺少同步等问题,大部分工作流产品都需要提供基于形式化分析和建模的功能。由于WS-BPEL（Web Services Business Process Execution Language）... 详细信息

业务流程的设计和验证是所有工作流产品的一个主要功能。为了能够尽早发现流程建模中死锁、缺少同步等问题,大部分工作流产品都需要提供基于形式化分析和建模的功能。由于WS-BPEL（Web Services Business Process Execution Language）描述业务流程是半形式化的,不易检测与验证,也没有相应形式化工具支持,这使得Web服务组合的正确性难以保证,其业务流程也无法在较抽象的层次上进行跟踪。本文结合实验室承担的国家863科研攻关项目,针对业务流程内部逻辑的正确性问题展开研究,探索利用进程代数π-演算作为形式化工具,对WS-BPEL描述的业务流程进行建模和验证。主要进行的工作如下: 1.本文提出了业务流程建模与验证的体系结构BPMV（Business Process Modeling andVerfication）、说明了本文要解决问题及所采取的步骤,分析了基于Petri网、自动机理论、进程代数对WS-BPEL活动进行建模的方法和成果。 2.本文分析了国内外基于π-演算对WS-BPEL活动建模的相关研究现状。说明了π-演算适合对WS-BPEL活动进行建模的原因,完善了π-演算对WS-BPEL活动的建模,在此基础上给出了WS-BPEL到π-演算整体转换的算法描述。 3.针对业务流程中可能存在的死锁、活锁、互模拟问题,本文结合实例用π-演算对业务流程性质进行了分析、推演,并用MWB（Mobility Workbench）进行了验证。 4.基于eclipse开发环境和SWT插件,设计和实现了B2P原型工具。

关键词：业务流程 BPMV WS-BPEL π-演算 MWB