论文部分内容阅读
复杂多变的业务需求已经使软件开发面临巨大困难，当对象管理组织提出用模型驱动体系结构（Model-Driven Architecture，MDA）来解决这一难题后，模型驱动的软件开发就成了软件工程领域的研究热点。模型驱动开发涉及的关键技术有计算独立模型（Computation Independent Model，CIM）、平台无关模型（PlatformIndependent Model，PIM）、平台特定模型（Platform Specific Model，PSM）以及模型到模型的自动转换等。在业务过程建模领域，计算独立模型可以采用标准业务过程建模符号（Business Process Modeling Notation，BPMN）来设计，并以过程定义可扩展标记语言（XML Process Definition Language，XPDL）的格式保存，以便不同的网络应用环境都可以使用共同的文件格式。平台特定模型可以使用工作流基础（WorkflowFoundation，WF）4来设计。本文深入细致地研究了相关的模型检查和转换方法，取得的创新和成果主要有：1．为解决业务过程模型的形式化检查的问题，将采用标准业务过程建模符号的业务过程模型转换为Petri网，构造出一种可建模企业间复杂业务协同的业务过程流网（Business Process Flow net，BPF-net），并开发了一种具有通用性的业务过程模型转换和检查工具。采用业务过程流网对供应链中企业间采购订单过程进行了建模。实验结果表明，业务过程流网能将符合XPDL规范的业务模型完整地转换为Petri网，得到的Petri网易于化简和分析。2．为了能将XPDL模型直接转换为WF4中的流程图，本文研究了业务过程模型结构的检查方法。对典型的结构不良情形提出了相应的修改建议，当业务过程模型不是结构良好时可以采用这些建议进行修改。实验表明，这些修改建议有助于提高业务过程模型的质量。3．设计了将业务过程模型中的时钟事件转换到WF4活动的方法。实验表明，转换所得的流程图模型实现了时钟事件的功能。4．提出了XPDL模型中基于数据的网关转换到WF4中的方法。实验结果表明，XPDL模型中的基于数据的网关，包括异或网关、结构良好的并行网关、或网关和复杂网关可以在WF4中实现。5．为支持带补偿功能的业务过程软件的快速开发，设计了自动的模型转换方法。在.Net平台上开发实现了模型转换和测试工具。实验表明，本方法满足了业务补偿的功能需求，提高了开发速度。