【摘 要】
：
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过
【机 构】
：
云南大学软件学院,云南大学云南省软件工程重点实验室,淮安市高级职业技术学校信息工程系
论文部分内容阅读
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。
其他文献
摘要：针对电厂高炉的温度调节需求，结合现场总线技术，对电厂高炉温度自动调节系统进行的设计研究，首先概述了高炉温度自动调节的功能需求，以及现场总线技术的优点，在此基础上上重点开发设计了高炉温度自动调节控制系统，给出了系统的功能设计方案和层次架构方案，并对软件设计进行了论述，对于进一步提高电厂高炉温度的自动控制水平具有较好的指导借鉴意义。 关键词：电厂高炉 温度调节 自动控制 中图分类号：TM31
为了解决全局测量与局部精度控制的矛盾,为大尺寸复杂尺寸测量提供科学依据,研究了集成激光跟踪仪与光学扫描仪的组合测量及其全局标定.在扫描仪固定机构上建立了基坐标系,为
摘 要：随着超宽带无线通信技术的不断发展，它与众多信息化技术的的融合已成为其在当今社会发展过程中一个显著地发展特点。将超宽带技术应用到无线局域网络的建设中来，可以有效提高无线局网络的技术内涵，增加其附加功能，促进其向信息化、现代化转变，提高其服务功能和人们的工作效率。该文对超宽带无线通信技术下的无线局与网络建设的内涵和特点进行了分析和研究，以求让人们更好地了解无线局域网技术与超宽带无线通信技术的发
目前对于核电站系统二回路的模块化仿真建模技术已较为成熟，而一回路还未完全实现模块化。利用运行在SimExec平台上的THEATRe软件，以秦山一期核电站为仿真对象，建立冷却剂系统仿
为实现钢铁企业能源系统的信息集成、功能集成和逻辑集成,针对已有能耗模型的局限性,提出一个多视图能耗模型体系结构.该体系结构是一组模型和方法的集合,包括数据视图、工序
针对规格板材件的矩形工件排样问题,提出一种支持一刀切工艺约束的放宽式搜索算法,利用多规格板材组合的构造算法,依据工件的总面积形成多种可行的板材组合;根据组合的总面积