论文部分内容阅读
针对业务流程建模标记（BPMN）无法依靠自身对编排进行形式化分析的问题，提出用Pi演算描述BPMN编排模式，实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明，该方法能够找到并排除BPMN编排中的死锁。
基于Pi演算的BPMN编排模式
【摘 要】
：
针对业务流程建模标记（BPMN）无法依靠自身对编排进行形式化分析的问题，提出用Pi演算描述BPMN编排模式，实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表
【机 构】
：
上海大学计算机工程与科学学院
【出 处】
：
计算机工程
【发表日期】
：
2009年23期
【基金项目】
：
上海市学科建设基金资助重点项目（J50103）
其他文献
据<检察日报>去年9月13日3版周文英"娶回病妻后,他毅然走上维权路"一文报道:已年过30的江西全南县陂头镇农民廖文德,经开证明、婚前检查等一系列程序后,于2001年8月18日与广
信息化教学环境下,物理实验教学的形式与内容均发生了转变,教学行为评价体系也随之改变。通过对咸安教改区一节物理课进行个案研究,重点关注师生实验教学行为,构建出信息化环
在港口机械产品中,尤其是行走机构中车轮轴的润滑,均由端盖斜面处注油孔进行注油,在端盖斜面上钻孔类零件应用较多。本文介绍一种简易工装卡具,使得其加工起来方便。并且可以
分析了当前软件体系结构研究对软件开发支持存在的不足,将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中,结合抽象层次和层次视图,提出了一个基于求精
<正> 在现行人教版高中生物(必修)教材第一册的学生实验"观察植物细胞的质壁分离与复原"中,所描述的实验方法比较陈旧,按照此方法进行实验,耗时长,效果不佳。笔者结合多年的
研究在密码协议仅使用数字签名原语时，主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法，分别引入符号模型和计算模型中的协议运行状态集合，通过反证法
介绍一种具有声定位功能的无线传感器网络节点,可以实时测量目标节点的方位和距离。对目标方位的估计基于四元十字阵列的时延估计法,对目标距离的估计采用TDOA机理的测距原理。实验测试表明,整个系统在空闲状态下的电流不大于20μA,在15 m的范围内,距离误差小于3%,方位角误差则随着采样率或阵元间距的增大而减小。