摘要：业务流程管理需要从概念和逻辑这两个层面对企业的业务流程进行建模分析。概念模型通常用于过程分析,实现业务流程的改进与完善;系统实现时则常常依赖特定的逻辑模型,逻辑模型主要用于定义系统执行过程中所涉及的软件模块以及模块间的行为关联。然而,概念模型到逻辑模型的转换非常困难,其转换过程往往产生一些意想不到的错误信息。本文提出了一种有效而准确地进行模型转换的形式化方法。本文首先给出了概念业务流程模型到相应逻辑业务流程模型的转换步骤;接着,根据需求分析的结果,提出了一个模型转换算法;最后,构建了一个用于模型验证的框架,用于检验转换后的逻辑模型与转换前的概念模型是否一致。在该模型验证框架中,概念模型和逻辑模型主要使用业务本体的形式进行描述,一致性约束则由SWRL规则进行描述,并在KAON2推理引擎中进行验证分析。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社