论文部分内容阅读
随着商业过程管理、软件过程改进、生产过程优化等概念的兴起,过程技术日益受到研究者的重视和关注。作为过程技术的典型代表,综合了问题域过程和计算机域过程的PAIS(Process-Aware Information System)系统在以Internet为标志的开放网络环境中面临着各种挑战,其中凸显的以保证问题域过程和计算机域过程结构特征一致为目的结构关联性问题令以封闭环境为前提的传统过程技术捉襟见肘,而究其原因是其缺少一种对问题域和计算机域过程的独立具体的并在它们之间建立联系的描述方式,基于此种现状和PAIS本身的结构特征,我们建立了双层过程模型,使用抽象的宏观的业务过程模型来描述问题域过程,使用具体的微观的实现过程模型来描述计算机域过程并在两者之间建立委托关系,这种新的过程技术在开放环境中为解决PAIS结构关联性问题奠定了基础。本文以结构关联性问题中的顺序结构关联性和时间结构关联性问题为核心并基于双层过程模型,完成如下工作:
·首先为解决结构关联性问题,我们将双层过程模型的思想引入过程技术中,其中上层简单抽象的是业务过程模型,是对需求的反映；下层具体、复杂的是实现过程模型,是对实现的表达；他们在不同的层面对PAIS系统提供了统一、具体和独立的描述并通过委托关系在其间建立联系。
·在双层过程模型思想的具体化过程中,将下层实现过程模型建模为构件行为模型,并在此基础上给出双层模型的形式化描述；基于形式化的过程模型,实现了顺序结构一致性验证算法和系统执行时间度量算法,从而分别解决了顺序结构关联性和时间结构关联性问题。
·为了使这个通用的双层过程模型能够在当今的主流软件平台上实施并验证双层过程模型的实践能力,我们基于JavaEE平台实现了一套行为抽取技术,分别从面向代码和BPEL两方面通过获得系统行为来构筑双层过程模型。
·将构件行为模型及其相关技术应用到MVC网站上,以验证软件行为技术在主流软件开发模式中的应用价值