【摘 要】
：
为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多维度、多集成性的业务流程跨组织协同的模型
【机 构】
：
清华大学计算机科学与技术系,清华大学信息技术研究院
【基金项目】
：
The National Natural Science Foundation of China （No. 60473078）.
论文部分内容阅读
为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多维度、多集成性的业务流程跨组织协同的模型.新的业务流程模型为M×N多维度网状关系,同时兼顾了以往单一的线性顺序关系模型,并分别从横向与纵向对该协作业务流程模型进行了形式化描述.最后依据pi-演算理论对样例模型的死锁、活锁以及同步性进行了验证,确保了模型的正确性和可行性.跨组织动态协作业务流程模型具有稳固的理论基础,为跨部门、跨区域分布式信息交互提供了新的思路和方法.
其他文献
针对水资源可再生性的特点,建立了水资源可再生性评价指标体系,并采用多级模糊综合评判方法,对云南省16个地区的水资源可再生性进行了综合评价.根据计算结果,能够初步确定评
为了解决基于启发式算法的资源分配和任务调度过程中由于没有考虑任务间的相互依赖关系而出现的任务死锁问题,提出了一种基于蚁群系统的改进算法.首先阐述了如何将分配调度问
景洪电站二期上、下游围堰土石方填筑量共计约111.21×104 m3,国内同等规模项目完成的施工时间不少于5个月,因景洪水电站要提前于2005年1月底截流,要求二期上、下游围堰
讨论Banach空间X上二阶抽象微分方程d^2/（dr^2）u（t，x）=Au（t，x）；u（0，x）=x，d/（dt）u（0，x）=0，x∈X的不适定情况，这里A是X上的闭算子；引进空间Y（A，k），即使得二阶抽象微分方程有次弱解v（t,x），且满足ess sup{（1＋t）^-
以聚酯二元醇、甲苯二异氰酸酯、1，4-丁二醇、1，1，1-三羟甲基丙烷和纳米钛酸钡粉体为原料，采用一步法制备了一系列BaTiO3／聚氨酯复合物弹性体．BaTiO3／聚氨酯复合物弹性体的密度、硬
【正】 GAP作为现有信息安全技术中安全强度最高的一种技术,提供比防火墙、入侵监测等产品更高的安全性能,已广泛应用于美国和以色列等信息化建设发达国家的军政、航天和金融
针对一类带聚类特征的旅行商问题(TSP),研究了一种新型的带聚类处理的C-均值蚁群混合算法.为加快收敛速度,算法首先用C-均值算法对TSP中的城市进行特别聚类处理,然后再利用蚁
研究了基于样式相似性的子空间聚类问题，使用样式相似性作为相似性度量．与在所有维或者子维集上聚集距离相近的对象的传统聚类方法不同的是，样式相似性寻找的是这样一种有趣的样
The Hong Kong Hang Seng index futures is taken as a study object and a method of empirical analysis is adopted in order to verify the validity of the applicatio
【正】 威盛P4PB主板的做工精细,线路清晰,主板上的部件排列得均匀有序,而且其在CPU插座制造部分也下了一些苦功,周围是用来固定CPU散热风扇的卡子,有了这样的设计就可以使CP