Abstract: Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being an extension of a core SAM schema, providing one or more goals, goals representing an intention of the core SAM schema, receiving one or more action chains, action chains representing one or more actions of the extended SAM schema that are to be automatically executed, the one or more actions being associated with triggerability flags, a triggerability flag indicating whether a respective action is only triggerable using a respective action chain, and processing the one or more goals, the one or more action chains and the triggerability flags using a computer-executable model checking tool for evaluating the validity of the extended SAM schema.

Abstract: The invention relates to a calender stack for an extruded material web (51) made from thermoplastic, in particular a film web, having (a) a stand (1) which has (i) a first guide rail set (2) which comprises two arcuate first guide rails (2?, 2?) and (ii) a second guide rail set (3) which comprises two arcuate second guide rails (3?, 3?), (b) a first calender roll (8) which can be rotated about a first calender roll rotational axis D8) and is mounted on the stand (1), (c) a second calender roll (9) which forms a calender with the first calender roll (8) and is fastened to the stand (1), (d) an adjusting roll (14) which can be rotated about an adjusting roll rotational axis (D14) and is mounted on the stand (1), and (e) a supporting device (34), on which the stand (1) is mounted rotatably in such a way that the first calender roll rotational axis (D8) remains stationary during a rotation of the stand (1).

Abstract: An example embodiment refers to a method to organize and manage a semantic web service discovery within a network with a distributed architecture of multiple independent network nodes, each node being able to store a subset of semantic web service instances, wherein an assignment of each semantic web service instance to at least one network node is automatically computed based on a defined vocabulary derived from ontologies that is distributed over the network nodes and that is used both in describing and finding that instance on request. An example embodiment further covers a system, a computer program and a computer program product to organize and manage a semantic web service discovery within a network.

Abstract: A method performs a dynamic update of at least one composed web service within a web service environment. The composed web service relies on a set of component services which are linked to at least one goal of the composed service. The method includes publishing the at least one goal within a registry of the web service environment. The links between the component services and the at least one goal in the registry are stored, and the links dynamically updated in the case that any service change within the web service environment occurs.

Abstract: Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being stored as a computer-readable document in memory and being an extension of a core SAM schema, providing one or more goals, each goal representing an intention of the core SAM schema, the one or more goals being provided in a computer-readable document stored in memory and comprising one or more primary goals that each express an intention of a process underlying the core SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the extended SAM schema.

Abstract: Methods, systems, and computer-readable storage media for evaluating a validity of a status and action management (SAM) schema. In some implementations, actions include receiving the SAM schema, the SAM schema being stored as a computer-readable document in memory, providing one or more goals, each goal representing an intention of the SAM schema, the one or more goals being provided in a computer-readable document stored in memory and including one or more primary goals and one or more recovery goals that each express an intention of a process underlying the SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the SAM schema.

Abstract: Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being stored as a computer-readable document in memory and being an extension of a core SAM schema, receiving one or more business functionalities, at least one business functionality including a plurality of status vectors along a core trace that can be achieved in the core SAM schema, the one or more business functionalities being provided in a computer-readable document stored in memory, and processing the extended SAM schema and the one or more business functionalities using a computer-executable model checking tool for evaluating a validity of the extended SAM schema.

Abstract: Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being an extension of a core SAM schema, providing one or more goals, goals representing an intention of the core SAM schema, receiving one or more action chains, action chains representing one or more actions of the extended SAM schema that are to be automatically executed, the one or more actions being associated with triggerability flags, a triggerability flag indicating whether a respective action is only triggerable using a respective action chain, and processing the one or more goals, the one or more action chains and the triggerability flags using a computer-executable model checking tool for evaluating the validity of the extended SAM schema.

Abstract: A method for exhaust gas recirculation (EGR), in particular in internal combustion engines, in particular for reducing NOx emission, by actuating an EGR valve (2) and/or a throttle flap (3), characterized in that during a predetermined period of time after determining an NOx value of the values for actuating the EGR valve (2) and/or the throttle flap (3) a mathematical model is employed, in which the currently determined NOx values, the period of time elapsed since completing the NOx measurement and the parameters relevant for the NOx reduction of the internal combustion engine (1) are included.

Abstract: Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being stored as a computer-readable document in memory and being an extension of a core SAM schema, providing one or more goals, each goal representing an intention of the core SAM schema, the one or more goals being provided in a computer-readable document stored in memory and comprising one or more primary goals that each express an intention of a process underlying the core SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the extended SAM schema.

Abstract: Methods, systems, and computer-readable storage media for evaluating a validity of a status and action management (SAM) schema. In some implementations, actions include receiving the SAM schema, the SAM schema being stored as a computer-readable document in memory, providing one or more goals, each goal representing an intention of the SAM schema, the one or more goals being provided in a computer-readable document stored in memory and including one or more primary goals and one or more recovery goals that each express an intention of a process underlying the SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the SAM schema.

Abstract: A method for exhaust gas recirculation (EGR), in particular in internal combustion engines, in particular for reducing NOx emission, by actuating an EGR valve (2) and/or a throttle flap (3), characterized in that during a predetermined period of time after determining an NOx value of the values for actuating the EGR valve (2) and/or the throttle flap (3) a mathematical model is employed, in which the currently determined NOx values, the period of time elapsed since completing the NOx measurement and the parameters relevant for the NOx reduction of the internal combustion engine (1) are included.

Abstract: Embodiments may include a system for generating an enhancement of an ontology. The system may have a memory unit and a processing unit. The memory unit may be configured to provide the ontology and to store the ontology with the enhancement. The processing unit may be configured to identify a service specification, such as a service product or a contract, that may be represented by a class of the ontology. The service specification may describe a capability of a service. The processing unit may be further configured to compute a set of instances that are specified by the service specification and by a requirement specification and to enhance the ontology with a generated class representing the set of instances in case that the set of instances has one or more instances.

Abstract: A computer-implemented method and system to validate component-based implementation of business processes are provided. The method comprises accessing an abstract business process and a specific business process. The specific business process includes sub-steps that refine a step in the abstract business process. A refinement between the abstract business process and the specific business process is validated using a first Petri Net. Component models are accesses, where the respective component models describe an operation performed by a component corresponding to the component model. A grounding between the sub-steps and the component models is validated using a second Petri Net.

Abstract: A system for composing Web services may include a goal determiner unit and a composer unit. The goal determiner unit may be configured to access a primary goal of final states of Web service representations. The composer unit may be configured to compute a set of transitions from initial states of the Web service representations to the primary goal, compute intermediate states of one or more Web service representations, and generate a copy rule of the set of transitions, the copy rule having a condition part that specifies the intermediate states and a portion of the final states of the primary goal and an activity part that includes assignments of input variables consumed by transitions from the intermediate states.

Abstract: A hybrid powertrain of a motor vehicle, especially of a mobile machine having an internal combustion engine and an electric motor, the powertrain also having a hydraulic machine.

Abstract: Example implementations relate to a system for selecting a provider service that fulfills a specification of a service request. The system includes a storage unit, a transformer unit, and a selection unit. The storage unit is configured to store a generic contract that is a concept of an ontology and a provider sub-concept that is a further concept of the ontology and a sub-concept of the generic contract. The provider sub-concept represents the provider service. The transformer unit is configured to transform the service request to a request sub-concept that is a concept of the ontology and a sub-concept of the generic contract. The selection unit is configured to select the provider service in case that the request sub-concept is a sub-concept of the provider sub-concept.

Abstract: Embodiments may include a system for generating an enhancement of an ontology. The system may have a memory unit and a processing unit. The memory unit may be configured to provide the ontology and to store the ontology with the enhancement. The processing unit may be configured to identify a service specification, such as a service product or a contract, that may be represented by a class of the ontology. The service specification may describe a capability of a service. The processing unit may be further configured to compute a set of instances that are specified by the service specification and by a requirement specification and to enhance the ontology with a generated class representing the set of instances in case that the set of instances has one or more instances.

Abstract: A system for composing Web services may include a goal determiner unit and a composer unit. The goal determiner unit may be configured to access a primary goal of final states of Web service representations. The composer unit may be configured to compute a set of transitions from initial states of the Web service representations to the primary goal, compute intermediate states of one or more Web service representations, and generate a copy rule of the set of transitions, the copy rule having a condition part that specifies the intermediate states and a portion of the final states of the primary goal and an activity part that includes assignments of input variables consumed by transitions from the intermediate states.

Abstract: Example implementations relate to a system for selecting a provider service that fulfills a specification of a service request. The system includes a storage unit, a transformer unit, and a selection unit. The storage unit is configured to store a generic contract that is a concept of an ontology and a provider sub-concept that is a further concept of the ontology and a sub-concept of the generic contract. The provider sub-concept represents the provider service. The transformer unit is configured to transform the service request to a request sub-concept that is a concept of the ontology and a sub-concept of the generic contract. The selection unit is configured to select the provider service in case that the request sub-concept is a sub-concept of the provider sub-concept.