Towards An Architecture For Runtime Interoperability

ISoLA'10: Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II(2010)

引用 15|浏览24
暂无评分
摘要
Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computing environments. This challenge is exasperated by the highly heterogeneous technologies employed by each of the interacting parties, i.e., in terms of hardware, operating system, middleware protocols, and application protocols. This paper introduces CONNECT, a software framework which aims to resolve this interoperability challenge in a fundamentally different way. CONNECT dynamically discovers information about the running systems, uses learning to build a richer view of a system's behaviour and then uses synthesis techniques to generate a connector to achieve interoperability between heterogeneous systems. Here, we introduce the key elements of CONNECT and describe its application to a distributed marketplace application involving heterogeneous technologies.
更多
查看译文
关键词
heterogeneous system,heterogeneous technology,CONNECT dynamically,application protocol,fundamental challenge,interoperability challenge,marketplace application,interacting party,key element,middleware protocol,runtime interoperability
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要