Mediators to Support Interoperability

For more info about our services contact : help@bestpfe.com

Table of contents

Contents
List of Figures
List of Tables
1 Introduction
1.1 Motivation
1.2 Case Studies
1.3 Influences
1.4 Contributions
1.5 Thesis Outline
2 Interoperability: A Landscape of the Research Field
2.1 The Software Architecture Perspective: Understanding Interoperability
2.1.1 Formal Reasoning about Interoperability
2.1.2 Mediators to Support Interoperability
2.1.3 Mediation in Ubiquitous Computing Environments
2.2 The Middleware Perspective: Implementing Mediators
2.2.1 Universal Middleware
2.2.2 Middleware Bridges
2.2.3 Service Buses
2.3 The Formal Methods Perspective: Synthesising Mediators
2.3.1 Mediator Synthesis Using a Specification of the Composed System
2.3.2 Mediator Synthesis Using a Partial Specification
2.4 The Semantic Web Perspective: Mediation at Runtime
2.4.1 Ontological Modelling and Reasoning
2.4.2 Semantic Web Services
2.4.3 Semantic Mediation Bus
2.5 Summary
3 Achieving Eternal Interoperability: The Role of Automated Mediator Synthesis
3.1 The Connect Approach to Eternal Interoperability
3.2 Modelling Components
3.3 Emergent Middleware
3.4 Emergent Middleware Enablers
3.4.1 Discovery Enabler: Locating Components
3.4.2 Learning Enabler: Completing Component Models
3.4.3 Synthesis Enabler: Synthesising Mediators
3.5 Summary
4 Automated Synthesis of Mediators
4.1 The File Management Example
4.2 Specification of Interface Matching
4.2.1 One-to-One Matching
4.2.2 One-to-Many Matching
4.2.3 Many-to-Many Matching
4.3 Computation of Interface Matching using Constraint Programming
4.3.1 Complexity of Interface Matching
4.3.2 Interface Matching as a Constraint Satisfaction Problem
4.3.3 Leveraging Constraint Programming for Ontological Reasoning
4.4 Synthesising Correct-by-Construction Mediators
4.5 Summary
5 From Abstract to Concrete Mediators
5.1 The Case of the Same Middleware
5.1.1 From Ontological Relations to Data Translation Functions
5.1.2 Application to the File Management Example
5.2 The Case of Different Middleware Based on the Same Interaction Pattern
5.2.1 Ontology-based Modelling of Middleware Interaction Patterns
5.2.2 Application to the Weather Example
5.3 The Case of Middleware Based on Different Interaction Patterns
5.3.1 Coordination across Interaction Patterns
5.3.2 Application to the Positioning Example
5.4 Summary
6 Implementation & Assessment
6.1 The MICS tool
6.2 Case Studies
6.2.1 Instant Messaging: One-to-One Matching
6.2.2 File Management: One-to-Many Matching
6.2.3 Purchase Order: Mediation of Semantic Web Services
6.2.4 Event Management: Unified Application-Middleware Mediation
6.2.5 GMES: Runtime Mediation
6.3 Performance of MICS
6.4 Summary
7 Conclusion
7.1 Contributions
7.2 Future Work
7.2.1 Mediator Synthesis as a Service
7.2.2 Mediator Evolution
7.3 One More Thing
Appendix A FSP Syntax & Semantics
Appendix B DL Syntax & Semantics
References