Synthesizing Cost-Minimal Partners for Services [chapter]

Jan Sürmeli, Marvin Triebel
2013 Lecture Notes in Computer Science  
Adapter synthesis bridges incompatibilites between loosely coupled, stateful services. Formally, adapter synthesis reduces to partner synthesis. Beside an adapter, a partner could be a configurator or serve as an ingredient in solutions for discovery and substitution. We synthesize a cost-minimal partner for a given service based on additional behaviorial constraints. We consider the worst case total costs, specifying individual transition costs as natural numbers. In this paper, we sketch our
more » ... ormal approach, and briefly discuss our implementation.
doi:10.1007/978-3-642-45005-1_49 fatcat:u32fsroczzenfmuvv63i5hwqx4