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

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