【摘 要】
：
协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务
【机 构】
：
云南大学软件学院,云南大学云南省软件工程重点实验室
【基金项目】
：
国家自然科学基金Nos.61262024,61462095,61379032, 云南省自然科学基金No.2012FD005, 云南省软件工程重点实验室开放基金项目Nos.2012SE307,2012SE309, 云南省教育厅科学研究基金项目No.2013Y365
论文部分内容阅读
协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业
其他文献
目的:比较初治涂阳结核病人分别在单纯医疗督导与结合家庭督导下的短程化疗(DOTS)效果.方法:对均用HREZ/4H3R3方案化疗治疗的单纯医疗督导下的104例和结合家庭督导下的99例初
根据国际调研，当今的芬兰工业已拥有位于世界前列的竞争力，最新的信息科技和高水准的创新，以及卓越的调研和教育水平，为当今和未来芬兰工业的成功创造了强有力的竞争优势和良好基
<正> 近一、两年,国家已经把启动老区商品经济、培植老区经济的造血功能作为老区经济建设的指导方针,为此正在着手扭转老区的自然经济格局,解决老区产业结构和劳动生产力老化、资源开采运用率低以及交通市场落后状态等等问题。在支援老区建设的力量对比方面,过去那种以输血为主的财政、民政部门占主导地位的资助局面正在改变,以造血为主的银行扶贫贷款的支持逐步成为一支主要力量活跃在老区经济建设的各个领域。银行扶贫贷款在支援老区人民脱贫致富、振兴老区商品经济等等方面取得了一定的成效,这是无庸置疑的。但
<正> 一、评估是指导工业企业信贷投向的必要前提从银行的职能、条件和业务发展看,应该、也有可能成为对企业经济和信用评估的重要机构之一。这是因为银行信贷资金在企业资金运用中的比重逐年上升,已渗透到简单再生产和扩大再生产的诸多领域,企业商品生产和交换过程中的结算也越来越大程度地依赖于银行,工业经济的信用化已成为必然的趋势,这就使得银行同企业特殊的经济联系较之其它综
随着经济的发展和人民生活水平的提高,城市人口外迁、人户分离、流动人口增多等问题日益突出以及医学模式和疾病谱的转变,给城市儿童保健管理带来了极大的冲击、困难与机遇.
[目的]探讨2型糖尿病病人个性、生活事件及社会支持与正常人的区别及其相互关系。[方法]对90例2型糖尿病病人与30例正常人以明尼苏达多相人格调查表（MMPI）、生活事件量表（LES）和
近年来冠心病的性别因素逐渐受到重视,女性冠心病发病率呈上升趋势,并且发病年龄越来越轻,临床上青年女性冠心病（≤45岁）并不少见,其发病与男性患者及老年人不同,有其自身的特
<正> 资金管理体制问题,是整个金融改革的核心,也是宏观控制成败的关键。当前,中央银行和各专业银行都分别实行垂直领导,不仅在理论上讲不通,在结构上不合理,在实践上常碰车,而且在资金筹集、划分、调拨和运用上,也孕育着潜在的危险。为了克眼这种由于体制上的先天不足所造成的资金上前所未有的分散、浪费和混乱现象,我们认为应从下述几个方面改革现行的资金管理制度。
大赛宗旨全面扩大2010年亚运会在海内外的影响，使“激情盛会，和谐亚洲”的理念更加深入人心。同时评选出优秀海报作品供展览并作为亚运会指定专用海报。
公共场所及饮用水的卫生安全在重大活动公共卫生监督保障体系中具有重要的地位,不可忽略,与食品卫生安全保障工作一起共同保证重大活动不发生突发公共卫生事件,预防介水传播