【摘 要】
：
协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务
【机 构】
：
云南大学软件学院,云南大学云南省软件工程重点实验室
【基金项目】
：
国家自然科学基金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岁）并不少见,其发病与男性患者及老年人不同,有其自身的特