【摘 要】
：
传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨
【基金项目】
：
国家自然科学基金项目（610673130）
论文部分内容阅读
传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的
其他文献
从混凝土原材料非标准出发,分析了原材料在非标准的情况下生产混凝土出现的若干技术问题,如混凝土泌水、离析、麻面、裂缝等等。在生产中,从务实和经验的角度具体提出了解决
文章阐述了流媒体服务的各种技术基础，论述了实现的方法，实现时需要注意的问题，以及问题的解决方法。
开放领域的问题回（question answering）是自然语言处理领域中具有挑战性的研究方向．提出了一种基于模式学习实现问题回答的方法，核心思想是利用机器学习方法得到的答案模式获取问
直接数字频率合成是现代频率合成技术的一种高新技术，以其频率分辨率高、相位噪声低、频率转换时间短等特点广泛应用于通信、雷达、宇航、电视广播等应用领域。文章以DDS芯片A
在当下全球化境域中，高校思想政治教育工作也应该根据时代的发展和学生的思想变化而与时俱进、开拓创新，树立与经济全球化相适应的以学生为本的思想政治教育工作新理念；根据社会
以偏高岭土和粉煤灰为主要固体原料,以硅酸钠水玻璃为碱性激发剂,制备了土聚水泥。通过正交试验,确定了制备土聚水泥的最优配方。结果表明：在粉煤灰含量为35%,硅酸钠水玻璃模
超长指令字处理器为了提高指令集并行（ILP）往往采用多个功能单元,从而需要多端口的寄存器文件提供支持.但是寄存器文件会随着端口的增多变得更复杂,频率难以提升,成为系统的瓶