Abstract: To verify the consistency between collaborative business processes and the requirements of the participating organization,a detection method for requirement consistency was proposed based on model checking.By extending the idea of goal model,a declarative description language DRDL was proposed to describe the requirements of participating organization.The concurrent operations was introduced to provide a method for constructing collaborative business process by composing of the business process of participating organization,and its execution semantics was defined to support requirements consistency verification.The framework of requirements consistency verification was proposed based on the model checking technology,which achieved automatic verification of the requirement consistency.Through collaborative manufacturing supply chain modeling analysis and compared with the existing typical method,the results showed that this method could support consistency verification more effectively.

Key words: requirements of participating organizations, collaborative business process, consistency, model checking, trace equivalence

摘要： 为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。

关键词: 参与组织需求, 协同业务过程, 一致性, 模型检测, 迹等价