US 7,899,861 B2Grant
Method for declarative semantic expression of user intent to enable goal-driven stream processing
Issue Date:2011-03-01
•23 Claims
•12 Drawing Sheets
Abstract
A method for constructing a stream processing requests so that a stream processing application satisfying the stream processing request can be assembled, includes: inputting a stream processing request, wherein the stream processing request includes a goal that is represented by a graph pattern that semantically describes a desired stream processing outcome; and assembling a stream processing graph, wherein the stream processing graph is assembled to include at least one processing element that satisfies the desired processing outcome by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an input of the at least one processing element and a graph pattern that semantically describes an output of the at least one processing element, or to include at least one data source by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an output of the at least one data source.
Metadata
Assignee
- International Business Machines Corporation
Inventors
- Mark D. Feblowitz
- Zhen Liu
- Anand Ranganathan
- Anton V. Riabov
Application Information
Application Number:US 11/695,430
Filing Date:2007-04-02
Priority Date:2007-04-02
Art Unit:2194
Classifications
IPC:
G06F15/16
Patent Drawings (12 sheets)
Description
Government Interests
[0001] This invention was made with Government support under Contract No.: H98230-05-3-0001 awarded by the U.S. Department of Defense. The Government has certain rights in this invention.
Related Applications
[0002] This application is related to: commonly assigned U.S. application entitled “METHOD AND SYSTEM FOR ASSEMBLING INFORMATION PROCESSING APPLICATIONS BASED ON DECLARATIVE SEMANTIC SPECIFICATIONS,” which is currently pending with application Ser. No. 11/695,238, and is incorporated by reference herein in its entirety; commonly assigned U.S. application entitled “METHOD AND SYSTEM FOR AUTOMATICALLY ASSEMBLING STREAM PROCESSING GRAPHS IN STREAM PROCESSING SYSTEMS,” which is currently pending with application Ser. No. 11/695,487, and is incorporated by reference herein in its entirety; commonly assigned U.S. application entitled “METHOD FOR SEMANTIC MODELING OF STREAM PROCESSING COMPONENTS TO ENABLE AUTOMATIC APPLICATION COMPOSITION,” which is currently pending with application Ser. No. 11/695,457, and is incorporated by reference herein in its entirety; commonly assigned U.S. application entitled “METHOD AND SYSTEM FOR AUTOMATICALLY ASSEMBLING PROCESSING GRAPHS IN INFORMATION PROCESSING SYSTEMS,” which is currently pending with application Ser. No. 11/695,349, and is incorporated by reference herein in its entirety; commonly assigned U.S. application entitled “METHOD FOR MODELING COMPONENTS OF AN INFORMATION PROCESSING APPLICATION USING SEMANTIC GRAPH TRANSFORMATIONS,” which is currently pending with application Ser. No. 11/695,311, and is incorporated by reference herein in its entirety; commonly assigned U.S. application entitled “METHOD FOR DECLARATIVE SEMANTIC EXPRESSION OF USER INTENT TO ENABLE GOAL-DRIVEN INFORMATION PROCESSING,” which is currently pending with application Ser. No. 11/695,279, and is incorporated by reference herein in its entirety; and commonly assigned U.S. application entitled “METHOD AND SYSTEM FOR COMPOSING STREAM PROCESSING APPLICATIONS ACCORDING TO A SEMANTIC DESCRIPTION OF A PROCESSING GOAL,” which is currently pending with application Ser. No. 11/695,410, and is incorporated by reference herein in its entirety.
Background of the Invention
[0003] 1. Technical Field
[0004] The present invention relates to constructing declarative descriptions of stream processing requests, and more particularly, to a method for declarative semantic expression of user intent to enable goal-driven stream processing.
[0005] 2. Discussion of the Related Art
[0006] Stream processing systems are information processing systems that operate on data at high input data rates. When under heavy load, these systems generally do not have the resources to store all arriving data, and thus, must perform some amount of processing before storing a smaller subset of the incoming data and/or presenting result data to end users. Generally, stream processing systems execute stream processing applications that are an assembled collection of data components (e.g., data sources and processing elements) interconnected by communication channels (e.g., streams). At run time, the assembly of data processing components, which together constitute a stream processing graph, are deployed to one or more computers connected by a network. The data leaving one or more data sources is then sent to one or more components, and the data produced by the components is sent to other components, according to the configuration of the processing graph.
[0007] The stream processing system can produce a variety of different results depending on how components of the application are interconnected, which components and which data sources are included in the processing graph, and how the components of the processing graph are configured. Generally, end users working with the system can easily describe their requirements on the outputs produced by the application, but the same users do not have the expertise required to select the components and connect them such that the resulting stream processing application would produce the required results.
[0008] Recent advances in Semantic Web technologies have provided formal methods and standards for representing knowledge. Resource Description Framework (RDF), W3C Recommendation 10 Feb. 2004, a description of which can be found on the world wide web, and more recently, Web Ontology Language (OWL), are standards that are used for describing ontologies. OWL is an extension of RDF that in addition to basic RDF includes inferencing capabilities provided by reasoners, for example, a Description Logic (DL) reasoner.
[0009] The knowledge represented in RDF or OWL can be queried using SPARQL Query Language for RDF, W3C Candidate Rec., which is a language for expressing queries against semantically described data (e.g., data described using RDF graphs). SPARQL queries are stated by designating result variables and by describing, using semantic graph patterns, the characteristics of things (e.g., RDF resources or OWL individuals) that could be suitable values for the results. The descriptions are expressed as a graph comprised of RDF triples, depicting the relationships connecting these variables with other variables of with other resources. If any subgraphs of the RDF graph are found to match the desired relationships, the corresponding assignment of variables is included in the result set of the query, with each assignment constituting a row in the result set.
[0010] Various stream processing architectures and systems exist or are being developed that provide a means of querying ephemeral streaming data. However, most of these systems assume that the input streams contain structured data. In addition, most of these systems focus on conventional relational operators and sliding-window operators. Relational and time-windowed analyses are necessary in a streaming environment. However, stream processing applications may need to perform other kinds of operations in order to process the likely unstructured, streaming data (e.g., raw sensor data, video or audio signals, etc.) into a meaningful response. Such operations include annotation, classification, transformation, aggregation, and filtering of specific kinds of data in the streams. While some of these operations are expressible in relational algebra, expressing all of the needed stream processing functions would require a user with needed deep knowledge of both problem and solution domains and could result in extremely detailed, possibly over-constrained queries/procedures that combine problem and solution descriptions.
[0011] Another challenge for stream processing systems lies in the construction of processing graphs that can satisfy user queries. With large numbers of disparate data sources and processing elements to choose from, we cannot expect the end-user to craft these graphs manually. The set of processing elements and data sources can also change dynamically as new sources are discovered or new processing elements are developed. Different end-users express widely varying queries, requiring a large number of different graphs to be constructed. Since there is an exponential number of possible graphs for a given number of data sources and processing elements, it is not feasible to pre-construct all the graphs, manually, to satisfy the wide variety of end-user queries.
Summary of the Invention
[0012] In an exemplary embodiment of the present invention, a method for constructing a stream processing request so that a stream processing application satisfying the stream processing request can be assembled, comprises: inputting a stream processing request, wherein the stream processing request includes a goal that is represented by a graph pattern that semantically describes a desired stream processing outcome; and assembling a stream processing graph, wherein the stream processing graph is assembled to include at least one processing element that satisfies the desired processing outcome by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an input of the at least one processing element and a graph pattern that semantically describes an output of the at least one processing element, or to include at least one data source by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an output of the at least one data source.
[0013] The stream processing request is encoded in a request specification language. The request specification language is an inquiry specification language (ISL).
[0014] The goal is a goal that requests production of data, a goal that requests an update of retained state information, a goal that requests installation of a processing element or a goal that requests removal of a processing element.
[0015] The method further comprises: deploying a stream processing application embodying the at least one processing element or the at least one data source; and operating the stream processing application.
[0016] Result data is produced when operating the stream processing application. The result data is an end result of the operated stream processing application or an intermediate result of the operated stream processing application, wherein the intermediate result is an output of a data source or an output of a processing element.
[0017] When the goal is a goal that requests the production of data, the result data includes an element that is a requested data item. The element is expressed as a variable. The element is defined in a where clause. The where clause explicitly references the variable. The where clause includes an assertion that constrains a type of data item acceptable as an element.
[0018] The assertion refers to a class description in an ontology description language. The ontology description language is a Resource Description Framework (RDF) or Web Ontology Language (OWL).
[0019] When the goal is a goal that requests the production of data, the stream processing request further includes a disposition that semantically describes a means of handling the result data. The disposition includes a condition expression that defines a condition under which the disposition is to occur. The condition expression is a Boolean expression. The disposition indicates that the result data is to be conveyed to a network destination, the result data is to be retained for further processing, the result is available for retrieval or the result data is to be conveyed to an external data store.
[0020] The stream processing request further includes a constraint that is represented by a graph pattern that semantically describes constraints on the assembly of the stream processing graph.
[0021] The constraint establishes a preference on the inclusion of a data source that is to feed data to the processing graph, the inclusion of an algorithm or a processing element that is to be used in the processing graph or the interconnection of processing elements in the processing graph. The constraint is a hard constraint or a soft constraint.
[0022] In an exemplary embodiment of the present invention, a system for constructing a declarative description of a stream processing requests so that a stream processing application satisfying the stream processing request can be assembled, comprises: a memory device for storing a program; a processor in communication with the memory device, the processor operative with the program to: receive and compile a stream processing request, wherein the stream processing request includes a goal that is represented by a graph pattern that semantically describes a desired stream processing outcome; and assemble a stream processing graph that satisfies the desired processing outcome, wherein the stream processing graph is assembled to include at least one processing element by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an input of the at least one processing element and a graph pattern that semantically describes an output of the at least one processing element, or to include at least one data source by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an output of the at least one data source.
[0023] In an exemplary embodiment of the present invention, a computer program product comprising a computer useable medium having computer program logic recorded thereon for constructing a declarative description of a stream processing requests so that a stream processing application satisfying the stream processing request can be assembled, the computer program logic comprises: program code for receiving and compiling a stream processing request, wherein the stream processing request includes a goal that is represented by a graph pattern that semantically describes a desired stream processing outcome; and program code for assembling a stream processing graph that satisfies the desired processing outcome, wherein the stream processing graph is assembled to include at least one processing element by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an input of the at least one processing element and a graph pattern that semantically describes an output of the at least one processing element, or to include at least one data source by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an output of the at least one data source.
[0024] The foregoing features are of representative embodiments and are presented to assist in understanding the invention. It should be understood that they are not intended to be considered limitations on the invention as defined by the claims, or limitations on equivalents to the claims. Therefore, this summary of features should not be considered dispositive in determining equivalents. Additional features of the invention will become apparent in the following description, from the drawings and from the claims.
Brief Description of the Drawings
[0025] FIG. 1 illustrates a stream processing graph according to an exemplary embodiment of the present invention;
[0026] FIG. 2 illustrates a domain ontology fragment according to an exemplary embodiment of the present invention;
[0027] FIG. 3 illustrates a data source semantic description according to an exemplary embodiment of the present invention;
[0028] FIG. 4 illustrates a component semantic description according to an exemplary embodiment of the present invention;
[0029] FIG. 5 illustrates a data source connected to a component according to an exemplary embodiment of the present invention;
[0030] FIG. 6 illustrates a semantic planner according to an exemplary embodiment of the present invention;
[0031] FIG. 7A illustrates a stream processing graph assembled according to an exemplary embodiment of the present invention;
[0032] FIG. 7B illustrates the stream processing graph of FIG. 7A with semantic annotations according to an exemplary embodiment of the present invention;
[0033] FIG. 8 illustrates a System S Stream Processing Core (SPC) in which an exemplary embodiment of the present invention may be implemented; and
[0034] FIG. 9 illustrates an XML Schema syntax of an Inquiry Specification Language (ISL) according to an exemplary embodiment of the present invention.
Detailed Description of Exemplary Embodiments
[0035] In accordance with an exemplary embodiment of the present invention, a method for conveying a desired outcome of one or more stream processing applications, using semantic descriptions of processing goals plus semantically described constraints on potential solutions is provided. The corresponding semantic descriptions, when specified according to the method and interpreted in the presence of semantically described stream processing components, are used by a planner/compiler to automatically assemble an information processing application to fulfill the request.
[0036] In this embodiment, semantic graph patterns are used to convey a user's goals and for constraining the means by which the outcomes are pursued, constraining, for example, both the data sources that are or are not to be drawn upon and the processing methods that are or are not to be used. In this manner, the goals and constraints prepared by the user do not convey in any direct way the mechanism by which the request is to be satisfied. This allows an automated stream processing application planner the freedom and flexibility to select from many alternative data sources and processing methods the ones that are best suited to request and best suited to the computational resources at the time of the request. In this way, stream processing components not envisioned by the user can be applied, potentially providing a higher quality result (or a result consuming fewer computational resources, or satisfying any of a number of desired processing characteristics) than can be selected by the user.
[0037] It is to be understood that since the principal type of request for information processing actions is the production of information content, the following description of exemplary embodiments of the present invention will focus on how the method is used to describe information production goals. However, since other types of outcomes (e.g., the modification of stored data or the initiation of a process) are also in the realm of desired outcomes, several other types of stream processing goals are envisioned for use with the present invention. Further, since the set of all processing outcomes is never completely known, the method provides a means of extending the set of defined outcomes, as well as a means of extending the set of constraints that may be imposed on the solutions.
[0038] In accordance with another exemplary embodiment of the present invention, a method for semantically describing stream processing components, which can be dynamically added to a system embodying the present invention, is provided. In accordance with yet another exemplary embodiment of the present invention, a method and system for processing all of these descriptions by using a planner/compiler is provided. Here, the planner/compiler interprets the desired outcomes, the descriptions of candidate data sources and processing methods, and produces one or more stream processing applications believed to be responsive to the semantically expressed intent.
[0039] Since a processing graph will be referred to when describing exemplary embodiments of the present invention, a description of a processing graph is now provided.
Processing Graph
[0040] A processing request is a semantically-expressed request for some processing to be performed in a stream processing system, by a stream processing application. Typically, this involves the observation and analysis of streaming data. Processing is performed, on-the-fly, on data from streaming data sources, producing a desired effect, for example, the production of requested information.
[0041] A running stream processing application observes data on streams emanating from a number of streaming data sources. On rare occasions, the data observed is exactly the data desired, but most often some amount of processing is required to identify and/or formulate the desired result. With structure, prepared source data such as that found on a Really Simple Syndication (RSS) feed, little or no data preparation is required before analytic processing can proceed. At the other extreme, the streaming data might be unstructured, requiring some amount of conditioning, classification, filtration, etc., before analytic processing can proceed.
[0042] To accommodate this spectrum of processing needs, processing is assumed to use multiple, stream-connectable software modules called processing elements. For a given request, it is possible to configure a collection of data sources and processing elements into a processing graph 100 (see FIG. 1 ) that can achieve the goal for the processing request.
[0043] A single request might draw from one or more data sources, and may filter, transform, aggregate, correlate, etc., the data to provide the desired result. Consider, for example, a stock prediction model (isolating the top thread in FIG. 1 ) that draws upon a single Trades data stream and applies a Trade Analytics component and a Stock Price Predictor component to produce a single Stock Price Prediction. In order to improve the accuracy of prediction, the application may analyze data from Trades, TV News, and Radio sources (as shown in FIG. 1 ), with the Stock Price Predictor component basing a prediction on feeds from each of the analytic chains, each conveying some information about the company in question.
[0044] As can be gleaned, for a given request, any number of such graphs could be assembled, each consuming possibly different amounts of computational resources, and each producing some desired result, at different levels of result quality. Manually assembling such a graph from a large library of components can be a daunting task. Preparing many such graphs in order to choose the top performers for given resource consumption levels is not practicable. Thus, a means of automatically assembling such processing graphs, given a machine-interpretable specification of the request's goal and a collection of machine-interpretable descriptions of the data sources and processing elements, that could, when properly assembled, be used to produce the desired results was developed.
[0045] It is to be understood that all stream processing applications process streams of data. In most cases, data streams are produced. Any streaming data observed by or produced by a stream processing application is potentially accessible as result data, whether it be some intermediate result (primarily intended as an input to another downstream component) or a declared result produced in response to a stream processing request. Any described result data corresponds to a stream in the stream processing application that produces the data. However, since stream processing requests may request outcomes other than information production, it is conceivable that some stream processing applications will observe and process streaming data but not produce any streams that are of interest to the requestor.
[0046] A description of the exemplary embodiments of the present invention will now be provided in the following order: Specification of Processing Requests; Modeling Components using Semantic Graph Transformations; and Method and System for Automatic Composition of Stream Processing Applications.
Specification of Processing Requests
[0047] Users convey to a system embodying the present invention their desired stream processing outcomes via processing requests. Processing requests are expressed via request specifications encoded in a request specification language. The request specification language is a machine-interpretable encoding of the request. The specific encoding format is not important, so long as the requisite elements are described and conveyed, with enough formal, machine-interpretable descriptive content, so that they can be interpreted by a request compiler/planner. When feasible, the compiler automatically assembles an application believed capable of achieving the processing outcome conveyed in the request specification.
[0048] A request specification is a declarative semantic expression of the desired effects of running a stream processing application and the constraints under which the application is assembled. Request specifications carry the least amount of description needed to convey intent, without unnecessary detail of how the request is to be carried out. A request specification can be automatically transformed by a request compiler into an application that is represented as a processing graph.
[0049] Request specifications are built from semantic graph expressions, which are to be evaluated according to a semantic model of the concepts from a domain or domains of interest. Users first create such semantic models using an ontology description language such as Web Ontology Language-Description Logic (OWL-DL), W3C Rec. 10 Feb. 2004 (a copy of which is incorporated by reference herein in its entirety), describing the concept classes in their domain of interest and potential/required relationships between individuals/elements in those concept classes. Based on one or more of these semantic models, a user describing some stream processing outcome crafts a request goal as one more graph patterns expressed, for example, in SPARQL, that define and convey the intent of their request, along with additional constraints and/or preferences on how their request is to be satisfied. These constraints are also described using graph patterns.
[0050] Request specifications are authored by a user or some user agent and convey, at the very least, an expression of the goals for the processing request, for example, the goal of producing a notification that a particular company's stock value is anticipated to change by an amount greater than 5% of its current value, or non-information-production goals such as the goal of having a piece of software installed or having a particular device configured. The request specification may also contain constraints on how that goal is to be achieved, for example, to avoid the use of video surveillance cameras as data sources or to favor the use of K-means clustering algorithms.
[0051] The goals, along with the accompanying constraints, are processed by a stream processing application compiler, for example, a specialized artificial intelligence (AI) planner that treats these constrained goal specifications as end effects, deriving from them stream processing graphs, which are stream processing applications capable of achieving the user's intended stream processing outcome.
[0052] For example, consider a simple request to watch for factors that might anticipate a significant change in a company's stock price. The request might be expressed informally as “watch for changes greater than 5 percent in the stock price of company Breakfast Foods Group (ticker symbol BFG).”
[0053] BFG stock price prediction might be expressed as:
[0054]
| Request BFGStockActivityPrediction | |
| Produce | |
| Result | |
| With Elements | |
| ?PredictedStockPrice, | |
| ?PredictedPercentageChange | |
| Where | |
| ?Company | a BreakfastFoodsCompany ; |
| hasTicker BFG ; | |
| hasStockPricePrediction ?Prediction . | |
| ?Prediction | a :StockPricePrediction ; |
| hasPredictedStockPrice ?PredictedStockPrice ; | |
| hasPercentChange ?PredictedPercentageChange . | |
| ?PredictedStockPrice | |
| a :MonetaryAmount . | |
| ?PredictedPercentageChange | |
| a :PercentChange . | |
[0055] The request “BFG Stock Activity Prediction” has one goal, that is, to produce one result with two result elements, the variables ?PredictedStockPrice and ?PredictedPercentageChange.
[0056] The request is written with a domain ontology in mind as shown, for example, by a domain ontology fragment 200 in FIG. 2 , and states, that for a Breakfast Foods Company with Ticker symbol BFG, the elements ?PredictedStockPrice and ?PredictedPercentageChange are part of a ?Prediction associated with the company.
[0057] Produce goals optionally describe result disposition specifications, which are descriptions of what to do with the resulting data. Some result data is surfaced for further processing, some retained for later reference, some for export to external stores (database (DB), knowledgebase (KB), . . . ), and some for external reference, for example, via notification.
[0058] Results can be dealt with in a number of ways according to a set of disposition instructions. For example, to notify some interested person or their agent of the result, to persist the result for some specified amount of time, or to stream the result to some IP port on some remote host, etc. Multiple dispositions can be expressed for each declared result, and any disposition can be conditionally applied.
[0059] In the following produce goal, the result is persisted for one month (six months if the PredictedPercentageChange>=5 percentage points), and the inquirer will be notified via a default mechanism of any PredictedPercentageChange>=5 percentage points.
[0060]
| Request BFGStockActivityPrediction | |
| Produce | |
| Result | |
| With Elements | |
| ?PredictedStockPrice, | |
| ?PredictedPercentageChange | |
| With Dispositions | |
| persist for 1 month, | |
| notify if ?PredictedPercentageChange >= 5, | |
| persist for 6 months | |
| if ?PredictedPercentageChange >= 5 | |
[0061] Note that the request shown above neither specifies nor constrains the components to be used in the processing graph. This approach favors discovery of components, for example, individual algorithms or processing subgraphs, in an attempt to avoid over-constrained specifications. User designation of components is optional; the absence of such designations enables the request compiler to identify sources and methods that users may not have been aware of, or that may produce higher quality results than those produced by user-specified sources and methods.
[0062] However, a request specification can include constraints regarding various plan elements. Constraints convey a requestor's instructions to Prefer, Avoid, etc., specified plan elements such as Data Sources, Methods, etc. These expressions provide indirect guidance to the compiler (as soft constraints) on the assembly of processing graphs. Say, for example, a custom developed algorithm for interpreting stock ticker data is strongly preferred, or the use of any surveillance video is to be avoided:
[0063]
| Request BFGStockActivityPrediction | |
| Produce | |
| ... | |
| Prefer | |
| Method ?M | |
| Where | |
| ?M implementsAlgorithm | |
| ProprietaryTradesAnalysisAlgorithm . | |
| DataSource ?STDFeed | |
| Where | |
| ?STD produces StockTickerData . | |
| Avoid | |
| DataSource ?SVFeed | |
| Where | |
| ?SVFeed produces SurveillanceVideo . | |
[0064] Constraints can be either hard (e.g., absolute), or soft (e.g., preferences). Hard constraints specifically require or prohibit some element or property of the solution. Soft constraints provide less strict guidance as to the composition of the processing graph. The use of preferences rather than absolute designations allows for the discovery of better alternative solutions in the context of user preferences and is thus favored for this method. Using only soft constraints, the request specification can guide choices a compiler might make, requiring user knowledge only of the items to be constrained but not of how the processing graph is assembled. But, because hard constraints are sometimes required, the method also provides a means of expressing such constraints.
[0065] The ontology in this example defines a property of Company called hasStockPricePrediction with a range StockPricePrediction. This value of this property is not likely to be available from a data source. More likely, a combination of components capable of producing such a result would be needed to establish that relation and populate the remainder of the price prediction submodel, for example, the hasPredictedStockPrice and the hasPercentChange properties.
[0066] While subtle, this is a key element for operator extensibility. For example, rather than enriching a language with function calls accessing user-provided code modules, request specifications declaratively express the goal or goals of analysis via concepts and relations in the ontologies. So, rather than calling a function to perform a task, request specifications describe a result that can be achieved by assembling a processing graph that can produce the result. Thus, a goal-specified, declarative description is used, rather than a function invoked in a query expression. Further, instead of requiring the requestor to describe the operations needed to calculate a ?PredictedPercentChange, some processing graph is automatically assembled to produce the result, composed from the needed operators, for example, the data sources and software components that jointly surface the requested data.
[0067] Request specifications can be expressed and conveyed in a textual form, as depicted in the BFG example above. Since request specifications are expected to be produced and consumed mostly by tools, the predominant representation is expected to be an XML encoding, conformant to an XML Schema, W3C Rec. 28 Oct. 2004, a copy of which is incorporated by reference herein in its entirety.
Modeling Components Using Semantic Graph Transformations
[0068] For stream processing graph assembly to be automatable, machine-interpretable semantic descriptions of components' functional characteristics are needed. Here, the focus is on black-box descriptions of each component, providing semantic descriptions of the input requirements and output capabilities of each component and the output capabilities of each data source. Any machine-interpretable description of a component's functional capabilities can be considered, so long as there is a means by which those descriptions can be used by a planner/compiler to create a suitable processing graph.
[0069] Inputs and outputs are modeled using semantic graph patterns. These graphs describe the objects conveyed between components and describe relationships with other specified objects. The graphs associated with a given component's inputs describe constraints that input data must satisfy in order for the component to work correctly. Hence, the descriptions are used to determine which other components can provide input data to the component, forming the basis for automated assembly of processing graphs.
[0070] These descriptions are represented using a semantic description technique, for example, OWL-DL. Reasoning at an expressivity similar to DL reasoning is essential in the graph assembly process, if any but the most trivial matching is to be pursued.
[0071] Representation of Semantic Descriptions
[0072] Semantic descriptions consist of processing component descriptions and descriptions of the data produced/required by the components. Processing component descriptions are based on core concepts defined in the system ontologies, and the data descriptions are based on sets of domain and shared ontologies. The system ontologies define concepts such as DataSource, and SoftwareComponent, and the relations, produces, requires, and contains. Expressed below in RDF N3 format is an excerpt of an exemplary OWL representation:
[0073]
| :DataSource | a | owl:Class ; | |
| :produces | :Output Stream . | ||
| :SoftwareComponent | a | owl:Class ; | |
| :requires | :Input Stream ; | ||
| :produces | :Output Stream . | ||
| :Output | :contains | owl:Thing . | |
[0074] From these basic building blocks, specific Data Source, Software Component, Input and Output prototypes can be defined, each describing specific Data Source, Input, Output, and Software Component exemplars such as DataSource:HubbleEarthImageSource_1 and SoftwareComponent:ImagePatternRecognizer_1, and their respective inputs and outputs.
[0075] The contains relation for input and outputs, provides the mechanism for associating to a component semantic description of data to be carried on its inputs and/or outputs.
[0076] In FIG. 3 , HubbleEarthlmageSource_1, a DataSource 310, produces an Output 320 that contains HubbleEarthImage_1, an individual in the class InfraredImage:
[0077]
| :HubbleEarthImageSource_1 | ||
| a | :DataSource ; | |
| :produces | :HubbleEarthImageStream_1 . | |
| :HubbleEarthImageStream_1 | ||
| a | :OutputStream ; | |
| :contains | :HubbleEarthImage_1 . | |
| :HubbleEarthImage_1 | ||
| a | :InfraredImage ; | |
| :imageOf | :Earth ; | |
| :capturedBy | :Hubble ; | |
| a | :Variable ; | |
| a :Exemplar. | ||
[0078] The use of the double underscores (“_”) in _HubbleEarthImage_1 is a graphical shorthand indicating that Image_1 is also a Variable and an Exemplar, represented above as being of type Variable and of type Exemplar (both of which are special classes defined in the system ontology). The_HubbleEarthImage_1 is an Exemplar that can take the value of an individual in the class InfraredImage and that has the appropriate captured By and image Of properties associated therewith. Note that Hubble and Earth do not really appear in the output; instead, they are semantic descriptions of the_HubbleEarthImage_1 data, which appears in the output. Hence, the contains relation is a special relation, that is, only those data items that the output explicitly describes using the contains relation are actually contained in the output. The remainder of the objects (Earth), while not contained in the output, form a rich semantic description of the objects contained in the output, for example, _HubbleEarthImage_1.
[0079] Software components are described as requiring some number of inputs and producing some number of outputs. An ImagePatternRecognizer processing component, for example, ImagePatternRecognizer_1 410 in FIG. 4 , is defined as requiring one input stream 420 containing ?Image_2, an Image, and as producing a single output stream 430 containing ?Image_2, and a Keyword_Keyword_1, such that ?Image_2 is describedBy Keyword_1. Here the “?” preceding Image_2 is a graphical notation that Image_2 is a Variable (not an Exemplar). This means that the ImagePatterRecognizer_1 requires an input object represented by a variable ?Image_2 and produces the same ?Imagee_2 as an output object annotated by a new thing, for example, _Keyword_1.
[0080] The ImagePatternRecognizer_1 is defined to perform a few functions, that is, it conveys a known Image from input to output, it creates a new object (Exemplar), for example, a Keyword, and it establishes a new relation, describedBy.
Method and System for Automatic Composition of Stream Processing Applications
[0081] In order to connect two components together, it is first determined if the output of a first component can be connected to the input of a second component, and once the components are connected to each other, the resulting output produced by the second software component is then determined.
[0082] Given the descriptions of inputs and outputs of components, a process for determining if an output of a first component can be matched to an input of a second component will now be described. The component matching problem is treated as a graph embedding problem in which the question, “Can the graph describing the input be embedded in a graph describing another component's output?” is answered. This approach is different from traditional approaches where matching is generally based on simple type-checking alone. The graph embedding approach is more powerful, building on the expressivity of semantic graphs.
[0083] To formally describe the component matching problem, let GI=(VI, CI, EI) represent the input graph where VI is the set of variable modules, CI is the set of non-variable of constant nodes, and EI is the set of edges of the form {u, p, v} where node u is related to node v through property p. Similarly, let GO=(VO, CO, EO) represent the output graph. Note that GI and GO are directed graphs.
[0084] GI can be embedded in GO if there exists a graph homomorphism f: GI→GO, that is, there is a mapping f: VI∪C1→VO∪CO such that if {u, p, v}εEI then {f(u), f(p), f(v)}εEO. In addition, for any xεCI,f(x)=x. This means that constant nodes can only be mapped to equivalent constant nodes in the other graph, while variable nodes can be mapped to other variable nodes or constant nodes.
[0085] In addition, DL reasoning is applied to the output graphs to enable more flexible matching. In other words, graph GO is expanded with the results of DL, reasoning to create graph G′O. Graph GI is then checked to see if it can be embedded in G′O. The use of reasoning provides a matching process that is capable of connecting components, even if the inputs and outputs are described using different terms. DL reasoning allows inferring new facts based on definitions in the ontology such as subclass and subproperty relationships, transitive, symmetric, inverse and functional properties, property restrictions, equality and inequality statements, etc.
[0086] For example, as shown in FIG. 5 , an output graph 510 from HubbleEarthImageSource_1 310 is first expanded to include the results of DL reasoning. As a result, a type link is added from _HubbleEarthImage_1 to Image (this is obtained from the subclass relationship between InfraredImage and Image). Also, a “depictedIn” link is added from Earth to _HubbleEarthImage_1 (depictedIn defined as an inverse property of imageOf). Next, the matching process finds a homomorphism from an input graph 520 of the ImagePatternRecognizer 410 to the output graph 510 of HubbleEarthImageSource_1. In this homomorphism, ?Image_2 is mapped to _HubbleEarthImage_1 (since they are both variables) and Image is mapped to Image (since they are both the same concept). Hence, the matching process determines that there is a match.
[0087] Determining the Output of a Component
[0088] To help determine the output of a component as a result of drawing data from the outputs of other components, a formal functional model of the component is defined. In the model, the component can be viewed as performing a graph transformation on the semantic graphs on the inputs to produce semantic graphs on the outputs.
[0089]
[0090] The component implements a graph transformation described in the OWL ontology: pe: L → R .
[0091] Note that there may be an overlap between L and R . Now assume that the m input graphs have been matched to m outputs generated by other components, that is, Li is matched to Xi for i=1 . . . m. The outputs Yj coming from this component are determined as a result of connecting the inputs Xi to the component using a graph homomorphism,
[0092]
[0093] In the model of the components, f satisfies the following properties (for i=1 . . . m and j=1 . . . n):
[0094] 1. f(Li)⊂Xi. This is acquired from the previous step that matched the components.
[0095] 2. f(Rj)⊂Yj.
[0096] 3. f( L \ R )=f( X \ Y ) and f( R \ L )=f( Y \ X ), where “\” represents the graph difference operation. This means that exactly that part of X is deleted which is matched by elements of L not in R , and exactly that part of Y is created that is matched by elements new in R .
[0097] Using properties 2 and 3, the outputs, Yj, of a component can be determined as a result of connecting Xi to the component. An example of this process is shown in FIG. 5 , where the output 430 of the ImagePatternRecognizer_1 410 is generated based on the input 320 that is connected to the ImagePatternRecognizer_1 410.
[0098] Composition Process
[0099] A semantic planner for automatically generating stream processing graphs from processing requests and semantic descriptions of components will now be discussed. The semantic planner enhances traditional AI planning techniques to plan on domains expressed in ontologies. Processing requests, in this case, user queries, are expressed as semantic graph patterns. The planner recursively connects components to each other using the methods described above until it arrives at an outcome description that can be matched to the request specification, or until no new output descriptions can be produced. In addition, the planner satisfies various constraints such as privacy and security, and produces optimal plans for a given resource consumption range.
[0100] As shown in FIG. 6 , an exemplary semantic planner 600 consists of three main components: a Stream Processing Planning Language (SPPL) Generator, a DL Reasoner and a Plan Solver. The SPPL Generator takes OWL files describing processing components and data sources and compiles them into a planning domain represented in the intermediate language SPPL as described, for example, in A. Riabov, Z. Liu, Planning for Stream Processing Systems, in Proceeding of AAAI-2005, July 2005, a copy of which is incorporated by reference herein in its entirety.
[0101] The SPPL Generator makes use of the DL Reasoner to make inferences about the software component descriptions and inserts these inferences as facts into the domain description. In addition to semantic descriptions of inputs and outputs, the planning domain also includes descriptions of other compositional/operational constraints such as security and privacy constraints. In addition to creating the domain file, the SPPL Generator translates each stream query into a goal description in SPPL. The Plan Solver then parses the generated domain and problem SPPL files and produces optimal plans using a backward-chaining branch and bound algorithm as described, for example, A. Riabov, Z. Liu, Planning for Stream Processing Systems, in Proceeding of AAAI-2005, July 2005. The Plan Solver solves the graph embedding problem by deducing appropriate mappings of variables in the input graph to nodes in the output graph. In this planning process multi-objective optimization is carried out including, for example, computational cost and result quality. A Minerva Reasoner, which is a highly scalable reasoner, operating on a description logic program (DLP), which is an expressive subset of DL, may be used as the DL Reasoner.
[0102] When the planner 600 is given a processing request, the planner 600 searches for multiple alternative plans, visiting processing component descriptions and traversing potentially large associated input and output description graphs many times. Incurring the overhead of DL reasoning on each visit could have a huge negative impact on performance. This is overcome by adopting a two-phase approach, performing a priori reasoning over graphs of asserted and inferred facts, caching expanded graphs for later use during query compilation. Because the products of the reasoning have been cached, no DL reasoning need be used while searching for viable processing graphs.
[0103] An example of a stream processing graph 700 generated by the semantic planner 600 in response to a request for hurricane associated images is shown in FIG. 7A . It is to be understood that although only one processing graph is shown in FIG. 7A , the semantic planner 600 can assemble several alternative processing graphs. The processing graph 700 shown in FIG. 7A draws on two data sources 710 feeding three operators/components 720 to produce a sink including hurricane-associated images 730, for example, images that contain possible storm pattern and images that were taken around that same time a hurricane was reported. FIG. 7B depicts the same processing graph as shown in FIG. 7A ; however, here, semantic graphs describing each data source's outputs 710_out, each component's inputs 720_in and outputs 720_out and the sink's inputs 730_in are provided.
[0104] As can be gleaned from a review of FIG. 7B , it can be difficult to select from among a large set of data sources and processing components to compose such a graph manually. For example, even with the relatively small number of operators depicted in the processing graph 700, the work needed to identify appropriate elements and to match outputs to inputs can be daunting, especially for matches requiring reasoning. Since most processing graphs involve many more operators, manual composition of even one graph is tedious and manual composition of multiple, alternative processing graphs is impracticable. Hence, automated compilation approaches such as planning are essential for compiling processing requests into processing graphs.
[0105] It is to be understood that a target environment for above referenced embodiments is a System S Stream Processing Core (SPC) 800 (see FIG. 8 ), which is a scalable distributed runtime for stream processing of unstructured data. The SPC 800 provides a set of components for managing stream processing applications under heavy workload. Processing graphs submitted to the SPC 800 are described in a Job Description Language (JDL), specifying the set of processing element (PE) instances to be deployed and the data stream connections between them. The runtime environment on each of the SPC nodes includes a Data Fabric for managing data flows and a PE Controller that manages execution of PEs deployed on the node. Structured and/or unstructured data is sent between the PEx, packaged in Stream Data Object (SDO) format. A Graph Manager component controls I/O channels of the data fabric, and a Resource Manager manages dynamic allocation of PE instances to nodes, subject to various resource constraints.
[0106] FIG. 9 illustrates an XML Schema syntax 900 of an Inquiry Specification Language (ISL) according to an exemplary embodiment of the present invention. Below is the XML Schema definition for an XML syntax of the ISL. It is to be understood that XML documents conveying inquiry specifications are encoded according to the syntax defined in the ISL XML Schema.
[0107]
| <xs:schema |
| targetNamespace=“http://www.ibm.com/research/distillery/inq/isl/1.0” |
| xmlns:xs=“http://www.w3.org/2001/XMLSchema” |
| xmlns=“http://www.ibm.com/research/distillery/inq/isl/1.0” |
| elementFormDefault=“qualified” attributeFormDefault=“unqualified”> |
| <xs:element name=“Inquiry” type=“Inquiry”> |
| <xs:annotation> |
| <xs:documentation>The Inquiry described by this ISL |
| specification.</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:complexType name=“Inquiry”> |
| <xs:annotation> |
| <xs:documentation>The type for an inquiry |
| specification.</xs:documentation> |
| </xs:annotation> |
| <xs:sequence> |
| <xs:element name=“Goals” type=“GoalExpression”/> |
| <xs:element name=“Constraints” type=“ConstraintExpression” |
| minOccurs=“0”/> |
| <xs:element name=“OperationalParameters” |
| type=“OperationalParameters” minOccurs=“0”> |
| <xs:annotation> |
| <xs:documentation>Items passed to the planner(s) and/or the runtime, |
| providing values/functions needed to plan/shcedule/deploy the inquiry. Limited set for ISL |
| 1.0 - to expand as knowledge of paramenters</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| </xs:sequence> |
| <xs:attribute name=“comment” type=“xs:string”/> |
| <xs:attribute name=“name” type=“xs:string” use=“required”/> |
| </xs:complexType> |
| <xs:element name=“Goal” type=“InquiryGoal” abstract=“true”> |
| <xs:annotation> |
| <xs:documentation>Abstract element. To be substituted by any defined |
| type of goal element.</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:complexType name=“InquiryGoal” abstract=“true”> |
| <xs:annotation> |
| <xs:documentation>Base type for inquiry goals. Abstract, intended to be |
| extended.</xs:documentation> |
| </xs:annotation> |
| </xs:complexType> |
| <xs:complexType name=“GoalExpression”> |
| <xs:annotation> |
| <xs:documentation>Making room for a richer goal expression language. |
| FOr now, simply a conjunction of goals.</xs:documentation> |
| </xs:annotation> |
| <xs:sequence> |
| <xs:annotation> |
| <xs:documentation>Conjoined (ANDed) goals. Conjunction will suffice |
| for our current planning needs. We may need to consider full boolean expxressions to |
| express various goal combinations, and/or preference weighting to convey semantics other |
| than conjoined non-optional goals. </xs:documentation> |
| </xs:annotation> |
| <xs:element ref=“Goal” maxOccurs=“unbounded”/> |
| </xs:sequence> |
| </xs:complexType> |
| <xs:complexType name=“GraphPattern”> |
| <xs:annotation> |
| <xs:documentation>Any graph pattern, expressed in some interpretable |
| language. For ISL1.0, it's SPARQL WHERE graph patterns.</xs:documentation> |
| </xs:annotation> |
| <xs:simpleContent> |
| <xs:extension base=“xs:string”/> |
| </xs:simpleContent> |
| </xs:complexType> |
| <xs:complexType name=“BooleanExpression”> |
| <xs:annotation> |
| <xs:documentation>Any boolean expression, expressed in some |
| interpretable language. For ISL 1.0, it's the SPARQL FILTER Expression sublanguage. |
| </xs:documentation> |
| </xs:annotation> |
| <xs:simpleContent> |
| <xs:extension base=“xs:string”/> |
| </xs:simpleContent> |
| </xs:complexType> |
| <xs:element name=“PlanElement” type=“PlanElement” abstract=“true”> |
| <xs:annotation> |
| <xs:documentation>Abstract element for constrained Plan elements. To be |
| substituted by specific kinds of plan elements (e.g., DataSource, |
| Method).</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:complexType name=“PlanElementConstraint”> |
| <xs:sequence> |
| <xs:element ref=“PlanElement” maxOccurs=“unbounded”/> |
| <xs:element ref=“Where” minOccurs=“0”/> |
| </xs:sequence> |
| <xs:attribute name=“weight” type=“xs:decimal” use=“required”/> |
| </xs:complexType> |
| <xs:element name=“Where” type=“GraphPattern”> |
| <xs:annotation> |
| <xs:documentation>The graph pattern providing the semantic description |
| of the named elements (variables) above. </xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:complexType name=“ResultDisposition”> |
| <xs:sequence> |
| <xs:element name=“if” type=“BooleanExpression” minOccurs=“0”/> |
| </xs:sequence> |
| </xs:complexType> |
| <xs:complexType name=“Notification”> |
| <xs:complexContent> |
| <xs:extension base=“ResultDisposition”> |
| <xs:sequence> |
| <xs:element name=“Recipient” minOccurs=“0” |
| maxOccurs=“unbounded”> |
| <xs:annotation> |
| <xs:documentation>Recipients specified in the Inquiry, |
| providing initial set of subscribers to notification. Others could be added (subject to |
| credential-clearining planning), and any can be removed.</xs:documentation> |
| </xs:annotation> |
| <xs:complexType> |
| <xs:sequence> |
| <xs:element name=“UserName” type=“xs:string” |
| minOccurs=“0”/> |
| <xs:element name=“mBox” type=“xs:anyURI”/> |
| </xs:sequence> |
| </xs:complexType> |
| </xs:element> |
| <xs:element name=“Priority” type=“xs:decimal” minOccurs=“0”/> |
| <xs:element name=“MessageString” type=“xs:string” |
| minOccurs=“0”/> |
| </xs:sequence> |
| </xs:extension> |
| </xs:complexContent> |
| </xs:complexType> |
| <xs:element name=“Disposition” type=“ResultDisposition” abstract=“true”> |
| <xs:annotation> |
| <xs:documentation>Plugins for various types of result |
| disposition</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:element name=“Notify” substitutionGroup=“Disposition”> |
| <xs:annotation> |
| <xs:documentation>Send all ResultElements to external notification |
| service. |
| Notificiation mechanism TBD . If external, ResultElementSet required to carry all |
| variables in notify “if” clause.</xs:documentation> |
| </xs:annotation> |
| <xs:complexType> |
| <xs:complexContent> |
| <xs:extension base=“Notification”/> |
| </xs:complexContent> |
| </xs:complexType> |
| </xs:element> |
| <xs:element name=“Export” type=“ExportDisposition”> |
| <xs:annotation> |
| <xs:documentation>ISL 2.0: Export from SPC - no presumption of |
| retention - simply export. Valid?</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:complexType name=“ExportDisposition”> |
| <xs:complexContent> |
| <xs:extension base=“ResultDisposition”/> |
| </xs:complexContent> |
| </xs:complexType> |
| <xs:element name=“Disposition2.0” type=“ResultDisposition”/> |
| <xs:element name=“ExportToDB” type=“ExportToDBDisposition” |
| substitutionGroup=“Disposition2.0”> |
| <xs:annotation> |
| <xs:documentation>ISL 2.0:Store all ResultElements to external |
| DB</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:element name=“Produce” type=“ProducesGoalExpression” |
| substitutionGroup=“Goal”> |
| <xs:annotation> |
| <xs:documentation>The primary means of identifying the data to be |
| sought/produced by and inquiry, since Distillery's raison d'etre is streaming data |
| analysis.</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:element name=“PersistWithNotification” type=“PersistWithNotification”/> |
| <xs:complexType name=“PersistWithNotification”> |
| <xs:complexContent> |
| <xs:extension base=“Notification”> |
| <xs:sequence> |
| <xs:element name=“RetentionValue” type=“RetentionValue”/> |
| </xs:sequence> |
| </xs:extension> |
| </xs:complexContent> |
| </xs:complexType> |
| <xs:element name=“Constraint” type=“PlanElementConstraint” |
| abstract=“true”> |
| <xs:annotation> |
| <xs:documentation>Abstract element capturing the constraint type. |
| Specific constraint types substitute for this element.</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:element name=“Avoid” type=“PlanElementConstraint” |
| substitutionGroup=“Constraint”> |
| <xs:annotation> |
| <xs:documentation>Avoid the plan element(s) described within. |
| </xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:element name=“Prefer” type=“PlanElementConstraint” |
| substitutionGroup=“Constraint”> |
| <xs:annotation> |
| <xs:documentation>Prefer the plan elements defined within |
| </xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:complexType name=“ResultSetWithDisposition”> |
| <xs:sequence> |
| <xs:element name=“withElements”> |
| <xs:annotation> |
| <xs:documentation>Set of elements comprising a complete result set. |
[0108] If a result set with more or fewer elements is needed, create another.
[0109]
| Post 1.0: optional elements</xs:documentation> |
| </xs:annotation> |
| <xs:complexType> |
| <xs:sequence> |
| <xs:element name=“ResultElement” type=“VariableName” |
| maxOccurs=“unbounded”> |
| <xs:annotation> |
| <xs:documentation>Each element corresponds to a variable in |
| the Where clause.</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| </xs:sequence> |
| </xs:complexType> |
| </xs:element> |
| <xs:element name=“withDispositions” minOccurs=“0”> |
| <xs:annotation> |
| <xs:documentation>Result Dispositions are the handling of result sets. |
| To get results to be, e.g., persisted, notified, etc., apply one or more dispositions. This set is |
| extensible, based on the kinds of dispositions defined for the |
| application.</xs:documentation> |
| </xs:annotation> |
| <xs:complexType> |
| <xs:sequence> |
| <xs:element ref=“Disposition” maxOccurs=“unbounded”/> |
| </xs:sequence> |
| </xs:complexType> |
| </xs:element> |
| </xs:sequence> |
| </xs:complexType> |
| <xs:complexType name=“RetentionValue”> |
| <xs:simpleContent> |
| <xs:extension base=“xs:decimal”/> |
| </xs:simpleContent> |
| </xs:complexType> |
| <xs:complexType name=“ProducesGoalExpression”> |
| <xs:complexContent> |
| <xs:extension base=“InquiryGoal”> |
| <xs:sequence> |
| <xs:element name=“Result” maxOccurs=“unbounded”> |
| <xs:complexType> |
| <xs:complexContent> |
| <xs:extension base=“ResultSetWithDisposition”> |
| <xs:attribute name=“comment” type=“xs:string” |
| use=“optional”/> |
| </xs:extension> |
| </xs:complexContent> |
| </xs:complexType> |
| </xs:element> |
| <xs:element ref=“Where”/> |
| </xs:sequence> |
| </xs:extension> |
| </xs:complexContent> |
| </xs:complexType> |
| <xs:element name=“DataSource” substitutionGroup=“PlanElement”> |
| <xs:annotation> |
| <xs:documentation>Named Data Source to be avoided or preferred in the |
| inquiry. The name is a variable (?DS1), which is defined in the Where |
| clause</xs:documentation> |
| </xs:annotation> |
| <xs:complexType> |
| <xs:simpleContent> |
| <xs:restriction base=“PlanElement”/> |
| </xs:simpleContent> |
| </xs:complexType> |
| </xs:element> |
| <xs:element name=“Method” type=“PlanElement” |
| substitutionGroup=“PlanElement”> |
| <xs:annotation> |
| <xs:documentation>Named Method (PE or collection of PEs) to be avoided |
| or preferred in the inquiry. The name is a variable (?ME1), which is defined in the Where |
| clause</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:complexType name=“PlanElement”> |
| <xs:simpleContent> |
| <xs:extension base=“xs:string”/> |
| </xs:simpleContent> |
| </xs:complexType> |
| <xs:complexType name=“ExportToDBDisposition”> |
| <xs:complexContent> |
| <xs:extension base=“ExportDisposition”> |
| <xs:sequence> |
| <xs:element name=“StoreToDBScript” type=“xs:string”> |
| <xs:annotation> |
| <xs:documentation>May contain references to ResultElement |
| variables, which would need binding prior to execution.</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| </xs:sequence> |
| </xs:extension> |
| </xs:complexContent> |
| </xs:complexType> |
| <xs:element name=“Persist” type=“PersistDisposition” |
| substitutionGroup=“Disposition”> |
| <xs:annotation> |
| <xs:documentation>ISL 1.0: |
| Assume default result persistence for results. This disposition provides a means of |
| overriding default persistence and retention attributes (as defined in JDL). |
| Should eventually be policy-driven. |
| With experience we can abstract this to more general disposition statements, such |
| as AdjustRetention and SetRetention.</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:complexType name=“PersistDisposition”> |
| <xs:complexContent> |
| <xs:extension base=“ResultDisposition”> |
| <xs:sequence> |
| <xs:element name=“for” type=“xs:duration”/> |
| <xs:element name=“RetentionAttributes” type=“xs:string” |
| minOccurs=“0”/> |
| </xs:sequence> |
| </xs:extension> |
| </xs:complexContent> |
| </xs:complexType> |
| <xs:simpleType name=“VariableName”> |
| <xs:restriction base=“xs:string”> |
| <xs:pattern |
| value=“\?[A-Za-zÀ-ÖØ-öø-˿Ͱ |
| ;-ͽͿ-῿‌-‍⁰-↏Ⰰ |
| ;-⿯、-퟿豈-﷏ﷰ-�][A-Za-z |
| 0-9\-_·̀-ͯ‿-⁀À-ÖØ |
| ;-öø-˿Ͱ-ͽͿ-῿‌ |
| ;-‍⁰-↏Ⰰ-⿯、-퟿豈- |
| ﷏ﷰ-�]*”/> |
| </xs:restriction> |
| </xs:simpleType> |
| <xs:complexType name=“ConstraintExpression”> |
| <xs:sequence> |
| <xs:element ref=“Constraint” minOccurs=“0” maxOccurs=“unbounded”/> |
| </xs:sequence> |
| </xs:complexType> |
| <xs:complexType name=“OperationalParameters”> |
| <xs:sequence> |
| <xs:element name=“RiskMax” type=“xs:nonNegativeInteger” |
| minOccurs=“0”> |
| <xs:annotation> |
| <xs:documentation>The maximum risk allowable for this inquiry. |
| </xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| <xs:element name=“ResourceUtilizationMax” |
| type=“xs:nonNegativeInteger” minOccurs=“0”> |
| <xs:annotation> |
| <xs:documentation>The maximum resource utilization for this |
| inquiry</xs:documentation> |
| </xs:annotation> |
| </xs:element> |
| </xs:sequence> |
| </xs:complexType> |
| <xs:element name=“StreamOut” type=“StreamOutDisposition” |
| substitutionGroup=“Disposition”/> |
| <xs:complexType name=“StreamOutDisposition”> |
| <xs:complexContent> |
| <xs:extension base=“ResultDisposition”> |
| <xs:sequence> |
| <xs:element name=“Destination” maxOccurs=“unbounded”> |
| <xs:complexType> |
| <xs:sequence> |
| <xs:element name=“Host” type=“xs:string”/> |
| <xs:element name=“Port” type=“xs:integer” |
| maxOccurs=“unbounded”/> |
| </xs:sequence> |
| </xs:complexType> |
| </xs:element> |
| </xs:sequence> |
| </xs:extension> |
| </xs:complexContent> |
| </xs:complexType> |
| </xs:schema> |
[0110] In accordance with an exemplary embodiment of the present invention, a means of describing processing outcomes in such a way that stream processing applications that satisfy these requests can be generated is provided. In this way, stream processing applications can be assembled more dynamically (in seconds or minutes as opposed to days or months), taking into account many more considerations (security, privacy, resource availability and consumption, etc.) than most users could fathom, let alone have the time or patience to accommodate. A key characteristic of the request specification, called an inquiry specification in the stream processing environment, is its declarative nature.
[0111] By using the present invention, a user can describe solely the intended processing outcome, not needing to know nor be required to express the details of how the processing outcome is to be fulfilled. The method has the effect of preventing over-specification of stream processing requests. Thus, an application planner can discover better ways of accommodating the request, better data sources to draw from, better algorithms to apply, and the assembly of more effective and/or efficient applications than the requester might envision. Here, users need only describe their requests and convey their constraints (if any) on how the request is to be fulfilled, and need a mechanism, preferably automated, whereby various ways to fulfill their request can be generated, compared, pruned, and applied.
[0112] By providing a means of conveying the goals for processing outcome and doing so using semantic descriptions built according to an explicitly represented semantic model, the user is freed from the burden of knowing and applying some set of operators to produce some outcome. This allows the work of two different groups of people, those conveying their request and those developing and describing stream processing application components, to proceed in parallel. The present invention makes this possible by allowing the first group to convey their requests without having any knowledge of which data sources or processing methods are available for use or how they must be assembled.
[0113] Request specifications are semantically described, expressed by graph patterns represented as triple patterns, describing both the goal of the processing request and the constraints on the resultant processing graphs. Expressivity is similar to that of the SPARQL RDF query language, a language used to encode the triple patterns. Request specifications are different from SPARQL queries in that they express outcomes beyond those of information production, and are used not as input to a query processor but for matching the outcomes to components in automatically assembled processing graphs.
[0114] In the case of information production requests, it is to be understood that the semantic-based approach to querying stream processing systems described above uses an inquiry specification language (ISL) for semantically specifying streams. The ISL, which is the IBM System S Inquiry Specification Language, is built on existing technologies including XML Schema, for the top-level encoding of request specifications, OWL-DL for representing the domain and system concepts and relations to the semantic schema for the data being queried, and SPARQL Query Language for RDF to capture the semantic expression of Where clauses. The ISL XML Schema makes use of the XML Substitution Group mechanism for extensibility of key specification elements such as new types of goals, preferences, or result dispositions.
[0115] It should also be understood that the present invention may be implemented in various forms of hardware, software, firmware, special purpose processors, or a combination thereof. In one embodiment, the present invention may be implemented in software as an application program tangibly embodied on a program storage device (e.g., magnetic floppy disk, RAM, CD ROM, DVD, ROM, and flash memory). The application program may be uploaded to, and executed by, a machine comprising any suitable architecture.
[0116] It is to be further understood that because some of the constituent system components and method steps depicted in the accompanying figures may be implemented in software, the actual connections between the system components (or the process steps) may differ depending on the manner in which the present invention is programmed. Given the teachings of the present invention provided herein, one of ordinary skill in the art will be able to contemplate these and similar implementations or configurations of the present invention.
[0117] It should also be understood that the above description is only representative of illustrative embodiments. For the convenience of the reader, the above description has focused on a representative sample of possible embodiments, a sample that is illustrative of the principles of the invention. The description has not attempted to exhaustively enumerate all possible variations. That alternative embodiments may not have been presented for a specific portion of the invention, or that further undescribed alternatives may be available for a portion, is not to be considered a disclaimer or those alternate embodiments. Other applications and embodiments can be implemented without departing from the spirit and scope of the present invention.
[0118] It is therefore intended, that the invention not be limited to the specifically described embodiments, because numerous permutations and combinations of the above and implementations involving non-inventive substitutions for the above can be created, but the invention is to be defined in accordance with the claims that follow. It can be appreciated that many of those undescribed embodiments are within the literal scope of the following claims, and that others are equivalent.
Claims
What is claimed is:
1. A method for constructing a stream processing request so that a stream processing application satisfying the stream processing request can be assembled, comprising:
inputting a stream processing request, wherein the stream processing request includes a goal that is represented by a graph pattern that semantically describes a desired stream processing outcome; and
assembling a stream processing graph, wherein the stream processing graph is assembled to include at least one processing element that satisfies the desired processing outcome by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an input of the at least one processing element and a graph pattern that semantically describes an output of the at least one processing element, or to include at least one data source by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an output of the at least one data source,
wherein the method is performed using a processor.
2. The method of claim 1, wherein the stream processing request is encoded in a request specification language.
3. The method of claim 2, wherein the request specification language is an inquiry specification language (ISL).
4. The method of claim 1, wherein the goal is a goal that requests production of data, a goal that requests an update of retained state information, a goal that requests installation of a processing element or a goal that requests removal of a processing element.
5. The method of claim 1, wherein the method further comprises:
deploying a stream processing application embodying the at least one processing element or the at least one data source; and
operating the stream processing application.
6. The method of claim 5, wherein result data is produced when operating the stream processing application.
7. The method of claim 6, wherein the result data is an end result of the operated stream processing application or an intermediate result of the operated stream processing application, wherein the intermediate result is an output of a data source or an output of a processing element.
8. The method of claim 6, wherein when the goal is a goal that requests the production of data, the result data includes an element that is a requested data item.
9. The method of claim 8, wherein the element is expressed as a variable.
10. The method of claim 9, wherein the element is defined in a where clause.
11. The method of claim 10, wherein the where clause explicitly references the variable.
12. The method of claim 10, wherein the where clause includes an assertion that constrains a type of data item acceptable as an element.
13. The method of claim 12, wherein the assertion refers to a class description in an ontology description language.
14. The method of claim 13, wherein the ontology description language is a Resource Description Framework (RDF) or Web Ontology Language (OWL).
15. The method of claim 6, wherein when the goal is a goal that requests the production of data, the stream processing request further includes a disposition that semantically describes a means of handling the result data.
16. The method of claim 15, wherein the disposition includes a condition expression that defines a condition under which the disposition is to occur.
17. The method of claim 16, wherein the condition expression is a Boolean expression.
18. The method of claim 15, wherein the disposition indicates that the result data is to be conveyed to a network destination, the result data is to be retained for further processing, the result is available for retrieval or the result data is to be conveyed to an external data store.
19. The method of claim 1, wherein the stream processing request further includes a constraint that is represented by a graph pattern that semantically describes constraints on the assembly of the stream processing graph.
20. The method of claim 19, wherein the constraint establishes a preference on the inclusion of a data source that is to feed data to the processing graph, the inclusion of an algorithm or a processing element that is to be used in the processing graph or the interconnection of processing elements in the processing graph.
21. The method of claim 19, wherein the constraint is a hard constraint or a soft constraint.
22. A system for constructing a declarative description of a stream processing request so that a stream processing application satisfying the stream processing request can be assembled, comprising:
a memory device for storing a program;
a processor in communication with the memory device, the processor operative with the program to:
receive and compile a stream processing request, wherein the stream processing request includes a goal that is represented by a graph pattern that semantically describes a desired stream processing outcome; and
assemble a stream processing graph that satisfies the desired processing outcome, wherein the stream processing graph is assembled to include at least one processing element by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an input of the at least one processing element and a graph pattern that semantically describes an output of the at least one processing element, or to include at least one data source by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an output of the at least one data source.
23. A computer program product comprising a non-transitory computer useable medium having computer program logic recorded thereon for constructing a declarative description of a stream processing request so that a stream processing application satisfying the stream processing request can be assembled, the computer program logic comprising:
program code for receiving and compiling a stream processing request, wherein the stream processing request includes a goal that is represented by a graph pattern that semantically describes a desired stream processing outcome; and
program code for assembling a stream processing graph that satisfies the desired processing outcome, wherein the stream processing graph is assembled to include at least one processing element by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an input of the at least one processing element and a graph pattern that semantically describes an output of the at least one processing element, or to include at least one data source by associating the graph pattern that semantically describes the desired processing outcome with a graph pattern that semantically describes an output of the at least one data source.
Patent Citations (10)
| Patent | Date | Inventor | Cited By |
|---|---|---|---|
| US2004/0138936(A1) | 2004-07-01 | Johnson et al. | Examiner |
| US2007/0023515(A1) | 2007-02-01 | Urken | Examiner |
| US2007/0156430(A1) | 2007-07-01 | Kaetker et al. | Applicant |
| US2007/0162893(A1) | 2007-07-01 | Moosmann et al. | Applicant |
| US2007/0168303(A1) | 2007-07-01 | Moosmann et al. | Applicant |
| US2007/0174811(A1) | 2007-07-01 | Kaetker et al. | Applicant |
| US2007/0186209(A1) | 2007-08-01 | Kaetker et al. | Applicant |
| US2007/0220046(A1) | 2007-09-01 | Moosmann et al. | Applicant |
| US2007/0265862(A1) | 2007-11-01 | Freund et al. | Applicant |
| US2010/0191521(A1) | 2010-07-01 | Huet et al. | Examiner |
Non-Patent Literature (30)
- M. Sullivan. Tribeca: A stream database manager for network traffic analysis, In Proc. of the 22nd Intl. Conf. on Very Large Data Bases, Sep. 1996.Applicant
- M. LeLarge, Z. Liu, and A. Riabov. Automatic composition of secure workflows. In ATC-06, 2006.Applicant
- J. Ambite and C. Knoblock. Flexible and scalable query planning in distributed and heterogeneous environments. In AIPS'98, Jun. 1998.Applicant
- H.Wang and C. Zaniolo: ATLaS: A Native Extension of SQL for Data Mining and Stream Computations, UCLA CS Dept., Technical Report, Aug. 2002.Applicant
- M. A. Hammad, W. G. Aref, and A. K. Elmagarmid. Stream window join: Tracking moving objects in sensor-network databases. In Proc. of the 15th SSDBM Conference, Jul. 2003.Applicant
- C. Cranor et al. Gigascope: A stream database for network applications. In SIGMOD, 2003.Applicant
- S. Chandrasekaran et al. TelegraphCQ: Continuous Dataflow Processing for an Uncertain World. CIDR, 2003.Applicant
- D. J. Abadi, et al: Aurora: A new model and architecture for data stream management, VLDB J. 12(2): 120-139 (2003).Applicant
- Sheshagiri, M., desJardins, M., Finin, T.: A planner for composing services described in DAML-S. In: Web Services and Agent-based Engineering—AAMAS'03.Applicant
- L'Ecu'E, F., L'Eger, A.: A formal model for semantic web service composition. In: ISWC. (2006).Applicant
- Sirin, E., Parsia, B.: Planning for Semantic Web Services. In: Semantic Web Services Workshop at 3rd ISWC.Applicant
- B. Parsia and E. Sirin. Pellet An OWL DL reasoner. In the Semantic Web—ISWC 2004, 2004.Applicant
- N. Jain et al., Design, Implementation, and evaluation of the linear road benchmark on the stream processing core. In SIGMOD'06, Jun. 2006.Applicant
- A. Riabov, Z. Liu, Planning for Stream Processing Systems, in Proceedings of AAAAI-2005, Jul. 2005.Applicant
- Y. Gil,, E. Deelman, J. Blythe, C. Kesselman, and H. Tangmunarunkit. Artificial intelligence and grids: Workflow planning and beyond. IEEE Intelligent Systems, Jan. 2004.Applicant
- D. B. Terry et al. Continuous queries over append-only databases. In SIGMOD, pp. 321-330, 1992.Applicant
- C-N. Hsu and C . A. Knoblock. Semantic query optimization for query plans of heterogeneous multi-database systems, IEEE Transactions on Knowledge and Data Engineering, 12(6):959-978, Nov./Dec. 2000.Applicant
- R. Ginis, R. Strom: An Autonomic Messaging Middleware with Stateful Stream Transformation, Proceedings of the International Conference on Autonomic Computing (ICAC'04).Applicant
- A. Arasu, S. Babu, J. Widom. The CQL continuous query language: Semantic foundations and query execution. Technical Report 2003-67, Stanford University, 2003.Applicant
- D.J. Abadi et al. The Design of the Borealis Stream Processing Engine (CIDR), Jan. 2005, Asilomar, CA.Applicant
- Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: ISWC. (2004).Applicant
- Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services In: WWW. (2002).Applicant
- Heflin, J., Munoz-Avila, H.: Low-based agent planning for the semantic web. In: Ontologies and the Semantic Web, 2002 AAAI Workshop.Applicant
- Zhou, J., Ma, L., Liu, Q., Zhang, L., Yu, Y., Pan, Y.: Minerva: A scalable OWL ontology storage and inference system. In: 1st Asian Semantic Web Symp. (2004).Applicant
- H. Knublauch, M. A. Musen, and A. L. Rector. Editing description logic ontologies with the protege owl plugin. Whistler, BC, Canada, 2004.Applicant
- M. Stonebraker, U.çetintemel, S.B. Zdonik: The 8 reqirements of real-time stream processing. SIGMOD Record 34(4): 42-47 (2005).Applicant
- Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW'03. 48-57.Applicant
- European Office Action dated Aug. 18, 2010 in corresponding European Appln. No. 08 807 375.4-2212.Applicant
- Nokia; “Nokia N95 User guide” Internet Citation, [Online] Aug. 2007, pp. 1-138, XP002498111 Retrieved from the Internet: [retrieved on Oct. 1, 2008].Applicant
- “Adobe PFD Security — Understanding and Using Security Features with Adobe Reader and Adobe Acrobat” Internet Citation, [Online] EX003013727 Retrieved from the Internet: [retrieve on Jan. 1, 2007].Applicant