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

Abstract: The validation for the consistency of collaborative business process with participating in organization requirements is a key problem in the design phase of collaborative business process.To solve this problem,a requirement consistency detection method based on model detection technology was proposed.The target model theory was extended,and the modeling requirements dependency graph was used to model the participating in organizational requirements;by introducing concurrent operators to participate organizational business processes,the collaborative business process was built through the way of combination;a framework of requirement consistency detection was proposed based on model detection technology.Through the comparison and analysis of purchase-orders modeling in collaborative manufacturing with existing and typical methods,the result showed that the proposed method could be more effective than existing work to model and analyze requirement consistency detection in cross-organizational environment.

Key words: organizational requirements, collaborative business process, consistency, model checking, trace equivalence