Sap Ag

Siemens Aktiengesellschaft

Ingo Weber

Christian Brelage

Matthias Born

Jochen Haller

Alistair P Barros

Marek Kowalkiewicz

Hans-Joachim Beck

Christian Drumm

Ulrike Greiner

Georg Hoever

Rainer Ruggaber

Ulrike Brecht

Peter Hornung

Rene Fitterer

Gabriele Mangler

Andreas Klein

Reinhold Altpeter

Ulrich Benz

York Sure

Nadeem Qutteineh

Florian Doerr

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. The brokered service process model may include at least one entity activity configured to cause the selected goal state to be reached in association with the selected activity.

Brokered service delivery

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.

Composing and executing service processes

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.

Method and system for validating process models

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.

System and method of automatic interoperability checking for BPEL

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.

Method and system for automatically generating executable processes from inter-organizational workflows

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.

Semantic extensions of business process modeling tools

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.

Method and system for process composition

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. The measurement field is then modified in such a way that the accuracy of the measured variables is altered, the first measured variables are removed from the measurement field and/or the second measured variables are added to the measurement field.

Method and device for analyzing a technical system, in addition to a computer program product

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 ( ), 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.

Growing community of inventors

Mannheim, Germany

Ingo Weber