Virtual supply chain for networked business : perspective of collaborative bill-of-materials, scheduling and process monitoring for developing innovative product

This article presents a methodology applicable to the formation of collaborative bill-of-materials (C-BOM), coordinating production scheduling and monitoring operational processes. The concept of collaborative product development process is described in detail through an example network, where the participating organisations form a temporary virtual organisation (VO) and contribute throughout the entire product development processes. In this paper, the basic need for exchanging product information among the partners is carried out through IT-based software tools, where the partners are enabled to visualise and monitor the operational processes in a real-time environment. This research study concludes with the overall research outcomes and future research directions.fi=vertaisarvioitu|en=peerReviewed

Privacy-preserving behavioral correctness verification of cross-organizational workflow with task synchronization patterns

Workflow management technology has become a key means to improve enterprise productivity. More and more workflow systems are crossing organizational boundaries and may involve multiple interacting organizations. This article focuses on a type of loosely coupled workflow architecture with collaborative tasks, i.e., each business partner owns its private business process and is able to operate independently, and all involved organizations need to be synchronized at a certain point to complete certain public tasks. Because of each organization's privacy consideration, they are unwilling to share the business details with others. In this way, traditional correctness verification approaches via reachability analysis are not practical as a global business process model is unavailable for privacy preservation. To ensure its globally correct execution, this work establishes a correctness verification approach for the cross-organizational workflow with task synchronization patterns. Its core idea is to use local correctness of each suborganizational workflow process to guarantee its global correctness. We prove that the proposed approach can be used to investigate the behavioral property preservation when synthesizing suborganizational workflows via collaborative tasks. A medical diagnosis running case is used to illustrate the applicability of the proposed approaches