论文部分内容阅读
课题以协同工作平台服务软件的研究开发作为应用背景,探讨了元过程实例生成器的软件构架,旨在构建一个通用的过程模型的实例生成软件模型。以面向对象/构件的方法为指导,借助统一建模语言,对元过程实例生成器进行领域分析、设计和实现。运用元模型表示法、模板表示法和角色协同方法等模型优化方法,对系统模型进行优化设计。首先,通过对WFMC提出的元过程模型进行分析,构建出一种通用的元过程配置框架,并结合模板的思想给出元过程描述模板。随后探讨了实例生成的概念并给出实例生成的模型表示。紧接着分析了命名空间技术及角色协同方法,提出一种角色/命名空间技术。最后对业务执行语言BPEL进行分析并给出其业务流程的描述模板。接着,对元过程实例生成器软件进行领域分析。通过对领域需求的分析构建元过程实例生成器的功能模型。随后结合UML建模工具构建元过程实例生成器的用例模型和活动模型,并使用BPEL语言对给出的活动模型中的业务流程进行形式化描述。然后,对元过程实例生成器软件进行领域设计。采用面向对象的软件设计方法结合UML建模工具对元过程实例生成器的对象体系结构进行设计,使用多种模型优化方法对其对象体系结构进行优化。随后采用对象的交互模型和状态模型对系统中对象的行为进行描述。最后,对元过程实例生成器软件的开发环境和配置信息进行描述,结合元过程实例生成器的对象体系结构构建了系统的构件图,并使用ACME语言对部分构件进行可实现性描述,随后给出了典型功能模块的Java源代码。文中分析得出的过程描述模板、软件模型框架和模型优化方法都被应用到元过程实例生成器的实际开发中,不仅规范了软件的开发过程,而且有效的提高了软件的开发效率和软件系统的整体性能,具有一定的理论意义和实用价值。