Abstract: A method and system for model composition. A business process model defined by a plurality of tasks may be accessed. A plurality of available executable elements capable of implementing the plurality of tasks may be identified. Each of the plurality of available executable elements may be capable of providing functionality to implement parts of the business process model. One or more executable elements may be selected among the plurality of available executable elements for each of the plurality of tasks. The selection may be based on functionality of an available executable element. The selected elements may be combined for the plurality of tasks to create an executable process for the business process model.

Abstract: In computer-implemented methods to validate process models, the models carry semantic information that is related to the process steps, including pre-conditions that indicate whether a step would be executable under certain conditions and post-conditions relating to results from executing a step. Steps are related as predecessor/successor so that a post-condition of the predecessor step can be the pre-condition of a successor step. During model validation, variables are exchanged and propagated between the step conditions. Instead of validating the model for potentially all initial values of variables and conditions, the system identifies portions of the model that can be validated separately for a reduced set of initial states.

Abstract: A selected activity of a service process model displayed in a process view of a graphical user interface may be determined. The service process model may represent a software service to be provided from a service provider to a consumer by way of a service broker. At least one service delivery entity associated with the service broker and providing service delivery functionality to be included in a brokered service process model may be determined, the service delivery entity including a state machine comprising states and transitions between the states. Configuration options may be provided in a configuration view of the graphical user interface. The configuration options may include goal states of the states to be reached as part of the brokered service process model and in association with the selected activity. A selected goal state of the goal states may be determined. The brokered service process model may be provided within a brokered service process view of the graphical user interface.

Abstract: A computer-implemented method for automatically and dynamically composing and executing workflow-based service processes may include receiving a request, the request including a user-selected service type, guided by one or more rules for questionnaire creation, dynamically generating a sequence of one or more electronic inquiries in accordance with the user-selected service type, receiving information based on the sequence of the one or more electronic inquiries, based on the information received, creating a goal for the request by constructing logical state representations of a current state constituting a pre-condition of the goal and of a target state constituting a post-condition of the goal and generating a service process by determining a sequence of services which together fulfill the goal, where the services are selected from a plurality of services such that pre-conditions and post-conditions associated with the selected services together match the pre-condition and the post-condition of the goal.

Abstract: A system includes a semantic process validator that includes a state construction component that is configured to collect state information for an instance of a process model, a parallelity checker that is configured to determine a set of one or more process tasks within the instance of the process model that may be executed in parallel to a selected task, and a validation coordinator that is configured to coordinate requests to the state construction component and to the parallelity checker. The system includes a process modeling tool that includes a goal creator that is configured to construct a constraint set for the selected task using the set of process tasks, where the selected task has a goal. The system includes a task composer that is configured to find one or more services to fulfill the goal for the selected task using the constraint set.

Abstract: A method and system are described for validating process models. A process semantic model including a semantic directed graph including nodes associated with tasks and edges associated with a direction of flow of execution of the tasks may be obtained. Edges entering nodes include annotations including precondition semantic indicators associated with the entering edges and edges exiting nodes include annotations including postcondition semantic indicators associated with the exiting edges. The process semantic model may be traversed to determine a flow of execution of activities associated with the tasks based on visiting the nodes based on a depth-first traversal. A validity of execution associated with a flow of execution of the activities associated with the tasks may be determined based on checking a validity of execution status based on a semantic processing of one or more semantic annotation indicators associated with the precondition semantic indicators and the postcondition semantic indicators.

Abstract: A method and a system directed to semantically annotating business process modeling components of a business process model are described. For example, a definition of a business process modeling component and an association of a domain element with the business process modeling component are received. Then, the definition of the business process modeling component is semantically annotated using the domain element.

Abstract: In one embodiment the present invention includes a method of determining whether computer processes can interact without deadlocks. The computer processes may be modeled in a process modeling language. The method includes (optionally) generating state diagrams from the processes as modeled by process modeling language, generating step actions from the state diagrams, and executing model checking on the step actions. A computer program may implement the method, and a computer system may execute the computer program. Performing model checking on processes modeled by the process modeling language allows for increased interoperability checking.

Abstract: A method and system for model composition. A business process model defined by a plurality of tasks may be accessed. A plurality of available executable elements capable of implementing the plurality of tasks may be identified. Each of the plurality of available executable elements may be capable of providing functionality to implement parts of the business process model. One or more executable elements may be selected among the plurality of available executable elements for each of the plurality of tasks. The selection may be based on functionality of an available executable element. The selected elements may be combined for the plurality of tasks to create an executable process for the business process model.

Abstract: A combined Brayton cycle power plant (5). A combustion gas turbine engine (21) in the power plant uses a first Brayton cycle (20), and produces waste heat in an exhaust combustion gas (36). A heat exchanger (58) transfers the waste heat to a compressed working airflow (56) for a second Brayton cycle (50) in a heat recovery gas turbine engine (51). The heat transfer lowers the temperature of the combustion exhaust gas (36) to within an operating range of a conventional selective catalytic reduction unit (80), for efficient reduction of nitrogen oxide emissions to meet environmental regulations.

Abstract: The inventive system is used to design a technical system, which is characterized by condition variables and by diagnostic variables. A measurement field comprising first measured variables is incorporated into the design of the technical system, said first measured variables being measured with a predetermined accuracy. In addition, second measured variables can be measured with a predetermined accuracy. According to the inventive method, sensitivity variables are determined for the first measured variables. To determine said sensitivity variables, the extent to which a modification of the measurement accuracy of the first measured variables influences at least one parameter is calculated and to determine the second sensitivity variables, the extent to which the measurement of the second measured variables influences at least one parameter is calculated.

Abstract: The present patent application relates to a process for bleaching keratin fibers which is characterized by applying to the fiber a ready-to-use agent having a basic pH and containing: a) at least one bleach booster according to the general formula (I) wherein R1 is a hydrogen, R2 is hydrogen, a substituted or unsubstituted C1- to C12-alkyl group, a substituted or unsubstituted C1- to C12-monohydroxy-alkyl group, a substituted or unsubstituted C2- to C12-polyhydroxy alkyl group, or a substituted saturated, unsaturated or aromatic 4- to 8-membered carbocycle or heterocycle, and R3 is a OR-Group, with R being equal to hydrogen, an ammonium group, or an alkali metal, or an earth alkali metal atom; b) at least one appropriate type-2 bleach-stable direct dye; and c) at least one oxidant, and after an exposure time of 5 to 60 minutes at a temperature of 10 to 70° C.

Abstract: A method and system to automatically translate a definition of a choreography workflow process to an executable process are provided. The method includes processing a collaboration element from the definition, mapping the collaboration element to an executable element based on a knowledge database system that contains the collaboration element and the corresponding executable element and mapping the collaboration element to the executable element statically if the corresponding executable element is unavailable in the knowledge database system.

Abstract: The present patent application relates to a ready-to-use agent for simultaneously lightening and dyeing keratin fibers (especially human hair), having a basic pH and being characterized by containing: a) at least one bleach booster according to the general formula (I) wherein R1 is a hydrogen, R2 is hydrogen, a substituted or unsubstituted C1- to C12-alkyl group, a substituted or unsubstituted C1- to C12-monohydroxy-alkyl group, a substituted or unsubstituted C2- to C12-polyhydroxy alkyl group, or a substituted saturated, unsaturated or aromatic 4- to 8-membered carbocycle or heterocycle, and R3 is a OR-Group, with R being equal to hydrogen, an ammonium group or an alkali metal or an earth alkali metal atom; and b) at least one direct dye and/or at least one oxidation dye/dye precursor and c) at least one oxidant; and c) a multi-component-kit and a method for simultaneous lightening and coloring hair.

Abstract: The inventive system is used to design a technical system, which is characterised by condition variables and by diagnostic variables. A measurement field comprising first measured variables is incorporated into the design of the technical system, said first measured variables being measured with a predetermined accuracy. In addition, second measured variables can be measured with a predetermined accuracy. According to the inventive method, sensitivity variables are determined for the first measured variables. To determine said sensitivity variables, the extent to which a modification of the measurement accuracy of the first measured variables influences at least one parameter is calculated and to determine the second sensitivity variables, the extent to which the measurement of the second measured variables influences at least one parameter is calculated.

Abstract: A process for producing substantially optically pure sertraline utilizes chromatographic separation on a solid stationary chiral phase of spherical clay particles having an interlayer containing an optically pure metal-organic complex, and a liquid mobile phase preferably containing at least methyl acetate. The liquid mobile phase is preferably free of acetonitrile. The process is operable at temperatures above 40° C.

Abstract: A programming apparatus having an arrangement for formulating an automating task to be performed in the form of a programming language for automating apparatuses is described, which simplifies a process error analysis for an analysis unit. For this purpose, the programming apparatus is provided with an arrangement that store operands (9; 27), marked to be monitored, in the order in which they appear in the network in a logic list. Furthermore, the programming apparatus has an arrangement that store the operands of this network in an operand list in the order in which they appear in the network. The lists can be transferred into the analysis unit for analysis.

Abstract: A process for producing substantially optically pure sertraline utilizes chromatographic separation on a solid stationary chiral phase of spherical clay particles having an interlayer containing an optically pure metal-organic complex, and a liquid mobile phase preferably containing at least methyl acetate. The liquid mobile phase is preferably free of acetonitrile. The process is operable at temperatures above 40° C.