Abstract: Allocating an instance of a resource to an IT-service includes: analyzing a service model specifying the structure of an IT-service and comprising nodes and resource management rules specifying the management of said node's resource. For each node, the method includes: determining a resource type indicated by said node; determining one or more resource management rules assigned to said node; evaluating the resource management rules assigned to said node on a resource instance catalog and the determined resource type for computing selection criteria; applying the selection criteria on a service provider catalog for selecting one of the one or more resource managers, the service provider catalog being indicative of one or more of the resource managers respectively being operable to provide a resource instance of a given resource type to the IT-service; creating an instance of the resource provided by the selected resource manager; and allocating said instance to the IT-service.

Abstract: Instantiating a resource of an IT-service includes: analyzing a service model including nodes representing resources and being indicative of a resource type, each node comprising a generic API providing at least one abstract method for instantiating the resource represented by the respective node.

Abstract: Migration of a business process instance derived from a business process model having compensation logic is provided. A new business process version of the business process model is modeled. The business process model is statically analyzed to create a static process control flow. A potential compensation control flow is derived based on the business process instance. Changes between the new business process version and a previous business process version of the business process model are identified. The identified changes are walked to separate and group changes related to the compensation logic and changes related to a normal control flow of the business process model into change groups. The business process instance is migrated based on migration conditions which are determined based on the change groups.

Abstract: Process model merging receives data representative of a first model that models a first process and a second model that models a second process, and determines, based on the data and a predetermined plurality of basic model manipulation operations, atomic differences in the second model relative to the first model. Compound differences are determined in the second model relative to the first model. A user is informed of the atomic differences and the compound differences. The user is allowed to select a set of the plurality of basic model manipulation operations. A modified first model is obtained by applying the selected set of basic model manipulation operations to the first model.

Abstract: The present invention relates to a Workflow Management System or a computer system with comparable functionality (WFMS). More particularly the invention relates to a method or means for generating a runtime compliant partner process for a given original process, wherein both processes are dedicated to interact with each other. In order to provide a method for generating a runtime compliant partner process for a given original process, which is easier understandable for a process developer, it is proposed to perform the steps of: Step 1: Identifying all activities of the original process interacting with the partner process, Step 2: Determining if an activity is able to be mirrored by a mechanism supported by the business process language, e.g. BPEL, Step 2.1: If yes, generating the mirrored activity and creating a respective activity name, Step 2.1: If not, using a predetermined mathematical method for dissecting such an activity that into a set of sub-activities, which can be mirrored, Step 2.2.

Abstract: In a Workflow Management System with a workflow having a sequence of activities of an underlying business process, logical wait situations occur when a given activity depends upon completion of a prerequisite preparation activity. A method for decreasing the resulting run-time delays includes: identifying a primary activity and an associated preparation activity required to be done before executing the primary activity; navigating through the process template of the underlying workflow and calculating the probability at a node of the process template that the primary activity will be reached for a current process instance; and pre-executing the preparation activity in parallel to the activity sequence if the probability exceeds a predetermined threshold.