University of Strathclyde
A process fragment is intended as a reusable granule for business process design: parts, which are reoccurring in multiple processes do not have to be modeled from scratch, but stored in a process fragment library, where they can be managed and retrieved. Process fragments provide reusable granules of business processes to enable process modeling based on existing knowledge. Current verification tools cannot deal with BPMN process fragments and support complete BPMN processes only. To enable verification for BPMN process fragments, the authors sketch how a single BPMN fragment can be completed to a BPMN process, where additional gateways and start events are added.