Authors
Valérie Issarny, Amel Bennaceur
Publication date
2013
Journal
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 11
Pages
168-196
Publisher
Springer Berlin Heidelberg
Description
Software systems are increasingly composed of independently-developed components, which are often systems by their own. This composition is possible only if the components are interoperable, i.e., are able to work together in order to achieve some user task(s). However, interoperability is often hampered by the differences in the data types, communication protocols, and middleware technologies used by the components involved. In order to enable components to interoperate despite these differences, mediators that perform the necessary data translations and coordinate the components’ behaviours appropriately, have been introduced. Still, interoperability remains a critical challenge for today’s and even more tomorrow’s distributed systems that are highly heterogeneous and dynamic. This chapter introduces the fundamental principles and solutions underlaying interoperability in software systems with …
Total citations
2013201420152016201720182019202020212022256611222
Scholar articles
V Issarny, A Bennaceur - Formal Methods for Components and Objects: 11th …, 2013