【摘 要】
：
首先介绍ARIS集成信息系统架构框架和EPC(Event-drivenProcess Chains)工作流建模方法的主要原理和建模方式，根据建立工作流模型的目标需求和对建模方法的要求，分析EPC方法在实际建模实践中的优势和不足作为业务流程形式化研究的切入点，然后提出一种源于EPC的工作流建模形式化方法——REPC(Role-based E-vent-driven Process Chains)。
【机 构】
：
云南大学网络智能计算实验室 昆明 650091
【出 处】
：
2009年西南地区网络与信息系统学术年会
论文部分内容阅读
首先介绍ARIS集成信息系统架构框架和EPC(Event-drivenProcess Chains)工作流建模方法的主要原理和建模方式，根据建立工作流模型的目标需求和对建模方法的要求，分析EPC方法在实际建模实践中的优势和不足作为业务流程形式化研究的切入点，然后提出一种源于EPC的工作流建模形式化方法——REPC(Role-based E-vent-driven Process Chains)。
其他文献
介绍了SOA架构及其支撑技术ESB，针对目前制造业出现的“信息孤岛”问题，利用SOA架构面向服务的思想，提出了一种新的基于ESB技术的业务集成方案，并对该业务集成方案实现涉及的关键技术进行了讨论。
通过计算机技术进行模拟训练具有多种突出优点，是消防训练的未来发展方向之一。本文讨论了基于Virtools平台进行消防模拟训练系统的设计与开发，并对系统开发中的几个关键模块进行了分析。系统运行结果表明了系统设计的可行性。
简述了网络优化的概念、内容及优化的系统流程，使用仿真软件对普洱市现有基站及拟建基站进行仿真，通过仿真分析得由优化后系统的整体性能得到有效的提高。
《计算机网络工程》已经成为计算机科学与技术专业和网络工程专业中重要的网络类课程。以计算机网络工程实验教学的改革为切入点，围绕实验教学目标和创新人才培养，深入研究了实验教学体系、实验室建设和实验评估等方面的教学改革问题，介绍了一些实验教学改革的实践方案和成功经验，还对实验过程评估进行了探索与研究。
以我校为例论述高专计算机网络专业教改理念、课程体系(课群)与课程结构、教学环境、教学改革与建设、教材建设、师资队伍等方面建设的研究与实践，探索一条“适合实际第一线需要、符合计算机网络岗位人才培养规律、体现以能力为基础教育(CBE)的专科专业建设特色的培养该专业高等工程应用型人才”的道路。
主要针对高校之间进行管理信息交换和集成过程中因数据异构和格式不规范引起的数据共享困难等问题，提出了一种基于本体技术的高校管理信息元数据共享模型框架。由于各校管理模式的差异较大，相对于教学资源元数据而言，学校管理数据的规范和统一在传统数据库管理层面上实现较难且缺乏灵活性，因此本文在现有国家标准CELTS-33的基础上，利用本体技术在原有数据存储层上建立了语义描述层，使底层数据获得了统一的形式化语义描
早期的Agile方法过于强调面对面的信息沟通方式，而随着网络技术的发展，已经可以做到利用远程即时通讯来协同式地开发软件。因此，提出了基于协同化应用的Agile方法及模型，目的在于改进Agile方法的传统开发模式，使之能够更好地适应当前的软件开发需求。该方法将3种关键因素(即时间、空间、软硬件资源)有效地融合在一起，使之能够迅速形成一种完整的开发模式。
指纹图像中的奇异点携带着重要的指纹特征信息。由于拱型指纹图像中没有奇异点，Poincare Index方法就会拒绝登记该指纹，然而该指纹也可能是合格指纹，我们可以找出拱型指纹中相应参考点作为指纹合格与否的评判依据，针对这一问题，提出了一种新的参考点检测与位置计算方法。实验结果表明，该方法能很好地解决以上局限性问题。
本体映射旨在解决异构本体间的互操作，从而实现更好的知识共享和重用，是语义Web发展的关键。针对目前本体映射中概念相似度计算存在的问題和不足，提出一种新型的本体映射模型多策略综合相似度映射模型MSCMO。该模型采用候选映射集的思想减少计算量，综合考虑概念名称、概念定义、概念结构、概念实例和属性5个方面计算本体概念相似度，更加全面准确地进行本体映射。
W3C提出的OWL-S是面向服务的本体描述语言。它提出的目的是通过OWL-S的语义描述能力来实现服务发现、服务调用、服务组合、服务验证、互操作及执行监控。但是OWL-S不是一种形式化语言，这使得它对服务组合和服务流程的验证能力较为欠缺。本文介绍了OWLS的基本知识，并提出通过模型转换的方式把非形式化的OWL-S模型转化为形式化描述能力强大的Pi-演算模型，借助Pi-演算椎演对OWL-S进行服务组合