9033123
Process Aggregation Using Web Services
This paper examines the opportunities and challenges related to data and process integration architectures in the context of Web Services. A primary goal of most enterprises in today's economic environment is to improve productivity by streamlining and aggregating business processes. This paper illustrates how integration architectures based on Web Services offer new opportunities to improve productivity that are expedient and economical. First, the paper introduces the technical standards associated with Web Services and provides business example for illustration. Abstracting from this example, we introduce a concept we call Process Aggregation that incorporates data aggregation and workflow to improve productivity. We show that Web Services will have a major impact on Process Aggregation, making it both faster and less expensive to implement. Finally, we suggest some research directions relating to the Process Aggregation challenges facing Web Services that are not currently being addressed by standards bodies or software vendors. These include context mediation, trusted intermediaries, quality and source selection, licensing and payment mechanisms, and systems development tools.
41563606
Conceptualizing Semantic Interoperability: A Perspective From the Knowledge Level
Currently, there is a proliferation of database integration approaches in response to the need to achieve semantic interoperability in heterogeneous, distributed and autonomous environments. To date, however, we lack abstract, formal descriptions of the task of semantic interoperation, independent of idiosyncratic implementation details. Such abstract descriptions are needed to aid our understanding of these various complex systems that are being constructed. Therefore, we argue that a knowledge level perspective of interoperable systems is desirable. The knowledge level serves as an abstract specification of what a system should do and facilitates the design and analysis of complex systems. In this paper, we show how an interoperable system, based on the Context Interchange Architecture, may be specified in terms of first-order logic which is an ideal specification language at the knowledge level. This specification represents a theoretical ideal which serves to formalize and communicate the key ideas behind the Context Interchange Approach, unencumbered by the details, limitations and compromises of specific implementations. As such, it provides a rigorous basis for implementing such systems. Similar specifications may also be developed for other models of interoperable systems. As a result, we have a rigorous means of understanding, comparing and analyzing these complex systems.
1603358
A Procedure for Mediation of Queries to Sources in Disparate Contexts
This paper discusses the algorithm we are using for the mediation of queries to disparate information sources in a Context Interchange system, where information sources may have di erent interpretations arising from their respective context. Queries are assumed to be formulated without regard for semantic heterogeneity, and are rewritten to corresponding mediated queries by taking into account the semantics of data codi ed in axioms associated with sources and receivers (the corresponding context theories). Our approach draws upon recent advances in abductive logic programming and presents an integration of techniques for query rewriting and semantic query optimization. We also demonstrate how this can be e ciently implemented using the constraint logic programming system ECLiPSe.
11984448
Context interchange: overcoming the challenges of large-scale interoperable database systems in a dynamic environment
Research in database interoperability has primarily focused on circumventing schematic and semantic incompatibility arising from autonomy of the underlying databases. We argue that, while existing integration strategies might provide satisfactory support for small or static systems, their inadequacies rapidly become evident in large-scale interoperable database systems operating in a dynamic environment. This paper highlights the problem of receiver heterogeneity, scalability, and evolution which have received little attention in the literature, provides an overview of the Context Interchange approach to interoperability, illustrates why this is able to better circumvent the problems identified, and forges the connections to other works by suggesting how the context interchange framework differs from other integration approaches in the literature.
5683523
A Metadata Approach to Resolving Semantic Conflicts
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniques use these specifications along with conversion routines and query modification to guarantee correct data semantics. This work also examines the effect of changing data semantics. These changes may occur at the source of the data or they may be changes in the specifications of the dat,a semantics for the application, Methods are described for detecting these changes and for determining if the database can continue to supply meaningful data to the application. These methods for semanlic reconcilia2ion are necessary for determining logical connectivity between a data source (database) and a data receiver (application). Though described in terms of the source-receiver model, these techniques can also be used for semantic reconciliation and schema integration for multidatabase systems. Keywords[data dictionaries, heterogeneous databases, metadata, query modification, schema integration, semantic conflicts]
5563723
Data Integration Using Web Services
In this paper we examine the opportunities for data integration in the context of the emerging Web Services systems development paradigm. The paper introduces the programming standards associated with Web Services and provides an example of how Web Services can be used to unlock heterogeneous business systems to extract and integrate business data. We provide an introduction to the problems and research issues encountered when applying Web Services to data integration. We provide a formal definition of aggregation (as a type of data integration) and discuss the impact of Web Services on aggregation. We show that Web Services will make the development of systems for aggregation both faster and less expensive to develop. A system architecture for Web Services based aggregation is presented that is representative of products available from software vendors today. Finally, we highlight some of the challenges facing Web Services that are not currently being addressed by standards bodies or software vendors. These include context mediation, trusted intermediaries, quality and source selection, licensing and payment mechanisms, and systems development tools. We suggest some research directions for each of these challenges.
7986917
Translation Validation: From DC+ to C*
Translation validation is an alternative to the verification of translators (compilers, code generators). Rather than proving in advance that the compiler always produces a target code which correctly implements the source code (compiler verification), each individual translation (i.e. a run of the compiler) is followed by a validation phase which verifies that the target code produced on this run correctly implements the submitted source program. In order to be a practical alternative to compiler verification, a key feature of this validation is its full automation. 
 
In this paper we demonstrate the feasibility of translation validation for industrial code generators from DC+ -a widely used intermediate format for synchronous languages- to C. We explain the compilation pattern from DC+ to C and advocate new abstraction techniques for a fragment of first order logic as part of the automation of our approach.
15882359
Deciding Equality Formulas by Small Domains Instantiations
We introduce an efficient decision procedure for the theory of equality based on finite instantiations. When using the finite instantiations method, it is a common practice to take a range of [1..n] (where n is the number of input non-Boolean variables) as the range for all non-Boolean variables, resulting in a state-space of nn. Although various attempts to minimize this range were made, typically they either required various restrictions on the investigated formulas or were not very effective. In many cases, the nn state-space cannot be handled by BDD-based tools within a reasonable amount of time. In this paper we show that significantly smaller domains can be algorithmically found, by analyzing the structure of the formula. We also show an upper bound for the state-space based on this analysis. This method enabled us to verify formulas containing hundreds of integer and floating point variables.
8004380
A Well-Posed Numerical Method to Track Isolated Conformal Map Singularities in Hele-Shaw Flow
We present a new numerical method for calculating an evolving 2D Hele-Shaw interface when surface tension effects are neglected. In the case where the flow is directed from the less viscous fluid into the more viscous fluid, the motion of the interface is ill-posed; small deviations in the initial condition will produce significant changes in the ensuing motion. This situation is disastrous for numerical computation, as small roundoff errors can quickly lead to large inaccuracies in the computed solution. Our method of computation is most easily formulated using a conformal map from the fluid domain into a unit disk. The method relies on analytically continuing the initial data and equations of motion into the region exterior to the disk, where the evolution problem becomes well-posed. The equations are then numerically solved in the extended domain. The presence of singularities in the conformal map outside of the disk introduces specific structures along the fluid interface. Our method can explicitly track the location of isolated pole and branch point singularities, allowing us to draw connections between the development of interfacial patterns and the motion of singularities as they approach the unit disk. In particular, we are able to relate physical features such as finger shape, side-branch formation, and competition between fingers to the nature and location of the singularities. The usefulness of this method in studying the formation of topological singularities (self intersections of the interface) is also pointed out.
39950733
A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'
The decrease of nondeterminism development paradigm that underlies most refinement approaches for concurrent systems is contrasted with the less studied increase of parallelism paradigm used by many protocol designers. We show that the widely used refinement notion of Abadi & Lamport exclusively supports the first paradigm and formulate a generalization that allows derivations of systems applying both paradigms alternatively. We develop the proof technique delayed simulation to prove Abadi & Lamport refinement and its generalization.
37254437
Exact Solutions for the Evolution of a Bubble in Stokes Flow: A Cauchy Transform Approach
A Cauchy transform approach to the problem of determining the free surface evolution of a single bubble in Stokes flow is developed. A number of exact solutions to a class of problems have been derived in the literature using conformal mapping theory, and these solutions are retrieved and further generalized using the new formulation. Certain quantities which are conserved by the dynamics are also identified, the existence of which had not previously been pointed out. A principal purpose of this paper is to use the new formulation to understand when it is possible to externally specify the evolution of the bubble area in such classes of exact solution. It is found to be possible only for certain types of far-field boundary conditions.