Given a library of converters with known behaviors, an integration engine must determine which are useful in a given scenario and produce a plan for how they can be used to achieve specified goals. This report documents the algorithm implemented by the AMIS3 integration engine. First, the problem is formalized and shown to be NP-hard. Then, the algorithm is explained and shown to be correct for all deterministic scenarios. Next, the behavior for nondeterministic scenarios is discussed. Finally, an alternate approach is outlined.
Automated Composition of Conversion Software, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.7099
(Accessed December 2, 2023)