Abstract: A connected directed graphical representation of a process model that includes a plurality of process nodes and interconnections between the process nodes of the process model is displayed. A user selection of a subset of the process nodes of the displayed connected directed graphical representation of the process model is received. A process scope definition represented as at least one begin-end node pair is computed. The at least one begin-end node pair is usable to identify all selected nodes and interconnection path links that are reachable in a traversal from a begin node to an end node of each of the at least one begin-end node pair of the received user selection of the subset of the process nodes. The computed process scope definition is stored.

Abstract: A connected directed graphical representation of a process model that includes a plurality of process nodes and interconnections between the process nodes of the process model is displayed. A user selection of a subset of the process nodes of the displayed connected directed graphical representation of the process model is received. A process scope definition represented as at least one begin-end node pair is computed. The at least one begin-end node pair is usable to identify all selected nodes and interconnection path links that are reachable in a traversal from a begin node to an end node of each of the at least one begin-end node pair of the received user selection of the subset of the process nodes. The computed process scope definition is stored.

Abstract: A previously-computed scope definition represented as at least one begin-end node pair is obtained. The at least one begin-end node pair is usable to identify all nodes and interconnection path links that are reachable in a traversal from a begin node to an end node of each of the at least one begin-end node pair of a selection of a connected directed graphical representation of a process model. A change to the process model relative to the previously-computed scope definition is identified. A type of tooling environment used to change the process model is determined. The tooling environment includes one of a fully-integrated tooling environment and a componentized tool chain tooling environment. The previously-computed scope definition is adapted into an updated process scope definition based upon the identified at least one change to the process model relative to the previously-computed scope definition and the determined type of tooling environment.

Abstract: A previously-computed scope definition represented as at least one begin-end node pair is obtained. The at least one begin-end node pair is usable to identify all nodes and interconnection path links that are reachable in a traversal from a begin node to an end node of each of the at least one begin-end node pair of a selection of a connected directed graphical representation of a process model. A change to the process model relative to the previously-computed scope definition is identified. A type of tooling environment used to change the process model is determined. The tooling environment includes one of a fully-integrated tooling environment and a componentized tool chain tooling environment. The previously-computed scope definition is adapted into an updated process scope definition based upon the identified at least one change to the process model relative to the previously-computed scope definition and the determined type of tooling environment.

Abstract: A method for modeling, validating, and monitoring a service level agreement (SLA) associated with a business process is disclosed herein. Such a method may include providing a library of reusable SLA component types. Functionality may be provided to enable a user to create SLA components from the reusable SLA component types. Functionality may also be provided to enable the user to assemble the SLA components into an SLA model having a hierarchy. In the SLA model, events may be passed between the SLA components to trigger behavior by the SLA components. SLA components at the lowest levels of the hierarchy may be configured to receive events from the business process. The method may further validate the SLA model against the business process to ensure the business process can generate the events required by the SLA components. A corresponding apparatus and computer program product are also disclosed herein.

Abstract: A method for modeling, validating, and monitoring a service level agreement (SLA) associated with a business process is disclosed herein. Such a method may include providing a library of reusable SLA component types. Functionality may be provided to enable a user to create SLA components from the reusable SLA component types. Functionality may also be provided to enable the user to assemble the SLA components into an SLA model having a hierarchy. In the SLA model, events may be passed between the SLA components to trigger behavior by the SLA components. SLA components at the lowest levels of the hierarchy may be configured to receive events from the business process. The method may further validate the SLA model against the business process to ensure the business process can generate the events required by the SLA components. A corresponding apparatus and computer program product are also disclosed herein.

Abstract: Methods, systems and computer program products for inferential business process monitoring. Exemplary embodiments include an inferential business process monitoring method, including deriving an optimal set of key performance indicators from a service level agreement specification, determining metrics to compute the key performance indicators from the service level agreement specification, assigning and configuring monitoring agents to retrieve the metrics to obtain the key performance indicators, deploying the monitoring agents and delivering key performance indicator metrics observed by the monitoring agents.