Abstract: The present invention provides a method, system, and program product for modeling processes such as business processes. Specifically, under the present invention, a process having multiple variations is modeled as a placeholder process, and is associated with an annotation that maps the multiple variations to different contexts of the placeholder process. Thereafter, process variations can be generated based on the different contexts of the placeholder process. Integrity checks can also be performed to determine if any of the process variations has an error so that the generation of any corresponding process will be prevented.

Abstract: A computer-implemented method for transforming a free-form process diagram into a semantically rich business model based on heuristics. The method includes generating and storing predefined mappings between informal elements to be used in a free-form process diagram and formal elements associated with a semantically rich business model, in a storage medium, receiving a free-form process diagram to be transformed, automatically detecting and mapping the informal elements of the free-form process diagram to the stored predefined-mappings, automatically detecting and mapping connectors positioned between the informal elements of the free-form process diagram, and obtaining user input from a user for generating user-defined mappings for mapping unrecognizable informal elements of the free-form process diagram to formal elements and transforming the unrecognized informal elements into formal elements based on the user-defined mappings.

Abstract: The present invention provides a method, system, and program product for modeling processes such as business processes. Specifically, under the present invention, a process having multiple variations is modeled as a placeholder process, and is associated with an annotation that maps the multiple variations to different contexts of the placeholder process. Thereafter, process variations can be generated based on the different contexts of the placeholder process. Integrity checks can also be performed to determine if any of the process variations has an error so that the generation of any corresponding process will be prevented.