Reducing Adapter Synthesis to Controller Synthesis

Gierds, Christian; Mooij, Arjan J.; Wolf, Karsten

doi:10.1109/tsc.2010.57

Cited by 43 publications

(32 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The approach works by assigning to loops a fixed number of iterations, whereas we do not impose any restriction, and peers may loop infinitely. Gierds and colleagues [18] present an approach for specifying behavioural adapters based on domain-specific transformation rules that reflect the elementary operations that adapters can perform. The authors also present a novel way to synthesise complex adapters that adhere to these rules by consistently separating data and control, and by using existing controller synthesis algorithms.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Model-Based Adaptation of Software Communicating via FIFO Buffers

Canal

Salaün

2015

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual functionality is as required for the new system, but that present interface mismatch, which leads to deadlock or other undesirable behaviour when combined. Adaptation techniques aim at automatically generating new components called adapters. All the interactions among peers pass through the adapter, which acts as an orchestrator and makes the involved peers work correctly together by compensating for mismatch. Most of the existing solutions in this field assume that peers interact synchronously using rendezvous communication. However, many application areas rely on asynchronous communication models where peers interact exchanging messages via buffers. Generating adapters in this context becomes a difficult problem because peers may exhibit cyclic behaviour, and their composition often results in infinite systems. In this paper, we present a method for automatically generating adapters in asynchronous environments where peers interact using FIFO buffers.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Model-Based Adaptation of Software Communicating via FIFO Buffers

Canal

Salaün

2015

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

show abstract

“…The approach works by assigning to loops a fixed number of iterations, whereas we do not impose any restriction, and peers may loop infinitely. Gierds and colleagues [12] present an approach for specifying behavioural adapters based on domain-specific transformation rules that reflect the elementary operations that adapters can perform. The authors also present a novel way to synthesise complex adapters that adhere to these rules by consistently separating data and control, and by using existing controller synthesis algorithms.…”

Section: Related Workmentioning

confidence: 99%

“…All interactions pass through the adapter, which acts as an orchestrator and makes the involved peers work correctly together by compensating for mismatch. Many solutions have been proposed since the seminal work by Yellin and Strom [22], see, e.g., [3,5,20,15,12,13]. Most existing approaches assume that peers interact using synchronous communication, that is rendez-vous synchronizations.…”

Section: Introductionmentioning

confidence: 99%

Adaptation of Asynchronously Communicating Software

Canal

Salaün

2014

Service-Oriented Computing

View full text Add to dashboard Cite

Abstract. Software adaptation techniques aim at generating new components called adapters, which make a set of services work correctly together by compensating for existing mismatch. Most approaches assume that services interact synchronously using rendez-vous communication.In this paper, we focus on asynchronous communication, where services interact exchanging messages via buffers. We overview a method for automatically generating adapters in such asynchronous environments.

show abstract

“…And, while interoperability in the early days of distributed systems was essentially relying on the definition of standards, the increasing complexity and diversity of networked systems has led to the introduction of various interoperability solutions [3]. In particular, today's solutions allow connecting networked systems in a nonintrusive way, i.e., without requiring to modify the systems [4], [5], [6], [7], [8]. These solutions typically use intermediary software entities whose name differ in the literature, e.g., mediators [9], wrappers [4], mediating adapters [5], or binding components [10].…”

Section: Introductionmentioning

confidence: 99%

Leveraging the Service Bus Paradigm for Computer-Mediated Social Communication Interoperability

Angarita

Georgantas²,

Parra³

et al. 2017

2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Society Track (ICSE-SEIS)

View full text Add to dashboard Cite

Abstract-Computer-mediated communication can be defined as any form of human communication achieved through computer technology. From its beginnings, it has been shaping the way humans interact with each other, and it has influenced many areas of society. There exist a plethora of communication services enabling computer-mediated social communication (e.g., Skype, Facebook Messenger, Telegram, WhatsApp, Twitter, Slack, etc.). Based on personal preferences, users may prefer a communication service rather than another. As a result, users sharing same interests may not be able to interact since they are using incompatible technologies. To tackle this interoperability barrier, we propose the Social Communication Bus, a middleware solution targeted to enable the interaction between heterogeneous communication services. More precisely, the contribution of this paper is threefold: (i), we propose a survey of the various forms of computer-mediated social communication, and we make an analogy with the computing communication paradigms; (ii), we revisit the eXtensible Service Bus (XSB) that supports interoperability across computing interaction paradigms to provide a solution for computer-mediated social communication interoperability; and (iii), we present Social-MQ, an implementation of the Social Communication Bus that has been integrated into the AppCivist platform for participatory democracy.

show abstract

Reducing Adapter Synthesis to Controller Synthesis

Cited by 43 publications

References 26 publications

Model-Based Adaptation of Software Communicating via FIFO Buffers

Model-Based Adaptation of Software Communicating via FIFO Buffers

Adaptation of Asynchronously Communicating Software

Leveraging the Service Bus Paradigm for Computer-Mediated Social Communication Interoperability

Contact Info

Product

Resources

About