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 receiving a plurality of source hierarchical schemas, processing the source hierarchical schemas to generate a merged graph, which is comprising a plurality of merged nodes, each merged node being provided based on one or more nodes from at least two of the source hierarchical schemas, determining and resolving using conflicts in the merged graph to generate a conflict-free merged graph, wherein resolving comprises splitting one or more merged nodes into respective sub-sets of merged nodes, defining and processing a constraints satisfaction problem (CSP) to generate a plurality of mediated hierarchical schemas (MHSs), each MHS being a solution to the CSP, identifying an MHS of the plurality of MHSs as an optimum MHS, wherein a canonical hierarchical schema (CHS) is provided as the optimum MHS, and storing the CHS as a computer-readable document in a computer-readable memory.

Abstract: Methods, systems, and computer-readable storage media for user-guided multi-schema integration and include actions of receiving a plurality of schemas, each schema defining a data structure and including a plurality of intermediate elements and a plurality of leaf elements, receiving leaf correspondences that match leaf elements between schemas of the plurality of schemas, processing the plurality of schemas and the leaf correspondences using closed frequent itemset mining to define a first plurality of redundancy groups, each redundancy group including a proposed correspondence between intermediate elements of schemas, displaying the first plurality of redundancy groups to a user, receiving user input, the user input including one or more actions to one or more redundancy groups in the first plurality of redundancy groups, processing the plurality of schemas, the leaf correspondences and the one or more actions to define a second plurality of redundancy groups, and displaying the second plurality of redundan

Abstract: A name of one or more entity classes of the data model may be refined to conform to a naming convention. A semantic meaning of each of the names and one or more attributes of each entity class may be determined. It may be determined that the name of a first entity class is semantically similar to the name of a second entity class based on a semantic distance between the semantic meaning of the names, where a substantial similarity may be determined between the first entity class and the second entity class by comparing the semantic meaning of the one or more attributes of the first entity class to the semantic meaning of the one or more attributes of the second entity class. The data model may be normalized based on the substantial similarity.

Abstract: A name of one or more entity classes of the data model may be refined to conform to a naming convention. A semantic meaning of each of the names and one or more attributes of each entity class may be determined. It may be determined that the name of a first entity class is semantically similar to the name of a second entity class based on a semantic distance between the semantic meaning of the names, where a substantial similarity may be determined between the first entity class and the second entity class by comparing the semantic meaning of the one or more attributes of the first entity class to the semantic meaning of the one or more attributes of the second entity class. The data model may be normalized based on the substantial similarity.

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 mediator system (and associated methods and computer program products) for mediating a communication between a client and a plurality of providers within a network is described. The mediator system may include logical machines including a first receiving machine configured to receive a request message from the client, a first sending machine configured to send answer messages back to the client, a processing machine configured to handle the received request message internally represented as a request object, a second sending machine configured to send outgoing request messages to the providers, and a second receiving machine configured to receive incoming answer messages from the providers. The machines can be scheduled separately from being executed, and the request object may be split into subrequests, where each of those subrequests may be further decomposed into subsubrequests that may be sent out in parallel to the providers.

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 computer-implemented method includes receiving a request for a web service and comparing a description of a behavior of the requested web service to a description of a behavior of an existing web service. The description of the behavior of the requested web service and the description of the behavior of the computing service conform to a description logic. Based on logical rules of the description logic, it is determined that the description of the behavior of the existing computing service is subsumed by the description of the behavior of the requested web service.

Abstract: A method and system are described for generating consolidation groups. An example method includes obtaining a plurality of data type indicators of data types, wherein each data type indicator is associated with a hierarchical subtype of the data type; generating a first subtype indicator of a first hierarchical subtype associated with a first data type indicator in a first hierarchical subtype relationship; generating a first parent list including one or more representations of one or more of the data types associated with the first hierarchical subtype; generating a second subtype indicator of a second hierarchical subtype associated with a second data type indicator in a second hierarchical subtype relationship; generating a second parent list including a representation of one of the plurality of data types associated with the second hierarchical subtype; and generating a first consolidation group based on combining the first subtype indicator with the second subtype indicator.

Abstract: A name of one or more entity classes of the data model may be refined to conform to a naming convention. A semantic meaning of each of the names and one or more attributes of each entity class may be determined. It may be determined that the name of a first entity class is semantically similar to the name of a second entity class based on a semantic distance between the semantic meaning of the names, where a substantial similarity may be determined between the first entity class and the second entity class by comparing the semantic meaning of the one or more attributes of the first entity class to the semantic meaning of the one or more attributes of the second entity class. The data model may be normalized based on the substantial similarity.

Abstract: Methods and systems to generate derivative information sources, from original information sources, use an ontology that provides a logic-based representation formalism of each of a number of original information sources, the original information sources having heterogeneous representation formalisms. The original information sources are transformed to the ontology. A number of derivative information sources, corresponding to the original information sources, may be automatically generated from the ontology.

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 method and system are described for generating consolidation groups. An example method includes obtaining a plurality of data type indicators of data types, wherein each data type indicator is associated with a hierarchical subtype of the data type; generating a first subtype indicator of a first hierarchical subtype associated with a first data type indicator in a first hierarchical subtype relationship; generating a first parent list including one or more representations of one or more of the data types associated with the first hierarchical subtype; generating a second subtype indicator of a second hierarchical subtype associated with a second data type indicator in a second hierarchical subtype relationship; generating a second parent list including a representation of one of the plurality of data types associated with the second hierarchical subtype; and generating a first consolidation group based on combining the first subtype indicator with the second subtype indicator.

Abstract: A computer-implemented method includes receiving a request for a web service and comparing a description of a behavior of the requested web service to a description of a behavior of an existing web service. The description of the behavior of the requested web service and the description of the behavior of the computing service conform to a description logic. Based on logical rules of the description logic, it is determined that the description of the behavior of the existing computing service is subsumed by the description of the behavior of the requested web service.

Abstract: A system is described that may generate collaborative processes, for example, for business partners. The system may include a lifting engine configured to receive public specifications describing a first proprietary process and second proprietary process. The lifting engine may determine an alignment between the public specifications and corresponding elements of an ontology domain. The system may further include a mapping engine configured to determine one or more mapping expressions associated with the first proprietary process and second proprietary process based on the determined alignment. A composition engine may be configured to generate a collaborative process based on the one or more mapping expressions.

Abstract: A mediator system (and associated methods and computer program products) for mediating a communication between a client and a plurality of providers within a network is described. The mediator system may include logical machines including a first receiving machine configured to receive a request message from the client, a first sending machine configured to send answer messages back to the client, a processing machine configured to handle the received request message internally represented as a request object, a second sending machine configured to send outgoing request messages to the providers, and a second receiving machine configured to receive incoming answer messages from the providers. The machines can be scheduled separately from being executed, and the request object may be split into subrequests, where each of those subrequests may be further decomposed into subsubrequests that may be sent out in parallel to the providers.