工作流实例方面的建模方法研究

作     者：李婷 

作者单位：湖南科技大学 

学位级别：硕士

导师姓名：刘建勋

授予年度：2009年

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：工作流 成批处理 部分向量空间 实例方面 

摘      要：工作流技术是20世纪90年代发展起来的一项关于企业经营过程管理的技术,它的出现给企业带来了巨大的利益,例如:降低管理成本;提高企业工作效率:增强企业自我水平等。工作流技术的研究正日益受到人们的重视,许多大学和研究机构都开展了研究项目,取得了众多的研究成果。随着工作流技术应用范围的拓广,人们发现目前多数工作流模型基本上是基于“静态,水平方向过程定义的,工作流管理系统本身不能根据工作流实例的运行状况而动态地修改其配置、控制和数据信息,实现垂直建模。这一些不足导致了工作流发展的局限性,在工作流优化方面尤为明显。例如:成批处理是一项非常重要的优化工作,在操作系统,数据库,金融行业等领域都被广泛应用,通过合并处理以减少设置(Setup)时间或降低单位成本,从而提高处理效率并节约资源。 尽管在现实世界的商务过程中需要进行成批处理的情况常有发生,但现有的工作流技术与工作流模型中并未能显式地提供这方面的支持。例如,在实际应用中,同一工作流模型的多个实例中常会出现具有某些相同特性的实例子集,但现有的工作流元模型对这些具有共性方面的实例不能进行统一的规则化刻画和描述,在工作流执行层面亦未提供透明的批处理执行优化。因此在工作流中显式实现成批处理建模与执行就成为了当务之急。正如工作流通过将过程逻辑从业务逻辑中分离以提高系统的柔性,工作流实例方面建模通过将组合逻辑从过程逻辑中分离从而进一步提升系统的柔性一样,其具体目标为实现工作流的垂直建模与数据流的动态调控,通过在工作流运行时刻将具有共性的活动实例进行拆分、组合、织入等实现实例方面的优化操作。 针对上述问题,本文对工作流实例成批处理问题进行了深入研究,提出了工作流实例批处理模型与语言并探讨了在主动数据中环境下的实现问题。论文主要创新研究内容为:1)建立了基于方面的工作流扩展元模型与基于部分向量空间的工作流实例方面组合处理模型;2)定义了实例组合处理的一系列操作元语;3)在主动数据库中设计与实现了组合处理操作函数、成批处理流程与实例方面操作规则;4)深入刻画了实例方面与工作流系统的动态交互。具体的应用实例表明,该方法能有效地解决各种业务过程中的实例成批处理显式建模与优化执行问题,为电子商务、制造业信息化、供应链管理、物流等现代服务业务过程优化管理提供坚实支撑。