【摘 要】
：
业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS（Process Labeled Transition System
【机 构】
：
江苏联合职业技术学院淮安分院信息工程系,淮安开放大学信息工程系,云南大学软件学院
论文部分内容阅读
业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS（Process Labeled Transition System）,对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法
其他文献
在太阳能收集应用系统中,能量收集预测模块是进行合理的任务调度分配和系统平稳运行的重要保证。提出了基于BP神经网络的太阳能收集功率预测方法,优化了算法的参数选择,确定
汽车动力转向泵是汽车转向系统的重要部件,其应用范围极其广泛。汽车动力转向泵工作性能影响汽车转向系统的操作性与安全性,传统转向泵测试方式是通过人工手动加载实现,效率低下、劳动强度大且难以保证产品质量,在很大程度上制约企业发展。因此,对转向泵的各项指标进行检测与评价,成为制造商与主机厂商非常重视的一项工作。基于虚拟仪器技术,采用PCI-6251数据采集卡与各指标数据传感器,设计一种汽车转向泵测试系统,
下颌前突是颌面外科中较为严重的面部畸形,其发生发展也与多种因素有关。在我国,随着影像学诊断技术的发展以及我们对下颌前突畸形认识的不断加深,使得下颌前突畸形患者的确
在传统社会与现代社会的交汇点上,公共行政的职业性腐败极易发生。在传统社会中,官吏作为社会中实际存在的一个阶层,是身份群体与职业群体的统一,在这一点上他不同于最高的统
为比较不同金鱼品种线粒体基因组的差异,通过PCR对虎头、红头白蛋、红白文、高头红文、墨龙睛、黑水泡眼和红朝天龙共7种金鱼线粒体基因组进行扩增,利用Clustal Omega和Conti
西江文化依据西江地区的历史、人文、生态等条件而形成,有深厚的历史文化与民族文化底蕴,有兼容、开放、自强的文化精神。西江地区自然生态环境良好,地理位置独特,是连接滇、
目的:探讨苯扎贝特辅助治疗胆汁性肝硬化的临床效果及对患者肝纤维化和肝脏弹力硬度的影响。方法:选择2015年9月至2017年9月陕西省西安大兴医院接诊的92例胆汁性肝硬化患者,
目前,我国已经成为世贸组织的成员国。为了兑现中国对加入WTO的议定书中的“遵守规则、放开市场”的重要承诺,我国已经开始对现有的法律、法规以及相关的政策进行全面而系统
苏轼常在诗中写花,既是基于宋人以花事行游宴的风尚,也是苏轼个人赏好之心的体现。在不同人生境遇中,苏轼对花的喜爱、怜惜之情浸入了自身的感慨。天女散花而不着结习,苏轼对
目的：探讨连续性高容量血液滤过（CHVHF）治疗急性肾损伤（AKI）危重症患者中氨基酸水平的变化及其对免疫功能的影响.方法：选取接受24 h CHVHF治疗的AKI危重症患者20例,随机分为CHVHF组