A Formal Model for Service Mediators
In this paper we present a model of service mediators, which are high-level specifications of service-based applications. These mediators...
Content-Based Validation of Business Process Modifications
Researchers become increasingly interested in developing tools for evaluating the correctness of business process models. We present a methodology...
Reusing Legacy Systems in a Service-Oriented Architecture: A Model-Based Analysis
Nowadays, organizations face great technological and business challenges. A clear example of this situation is the transformation of businesses...
Design by Selection: A Reuse-Based Approach for Business Process Modeling
During business process design, working procedures in organizations are represented by process models. It is an important task in...
System Identification for Adaptive Software Systems: A Requirements Engineering Perspective
Control Theory and feedback control in particular have been steadily gaining momentum in software engineering for adaptive systems. Feedback...
Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information
Safety-critical systems are often subject to certification as a way to ensure that the safety risks associated with their...
Merging Relational Views: A Minimization Approach
Schema integration is the procedure to integrate several inter-related schemas to produce a unified schema, called the mediated schema....
Ontology Evolution in Data Integration: Query Rewriting to the Rescue
The evolution of ontologies is an undisputed necessity in ontology-based data integration. In such systems ontologies are used as...
Object-Oriented XML Keyword Search
Existing LCA-based XML keyword search approaches are not aware of the significance of using semantics of object to improve...
A Hidden Markov Model Approach to Keyword-Based Search over Relational Databases
We present a novel method for translating keyword queries over relational databases into SQL queries with the same intended...
