Title :
Trading Off Concurrency to Generate Behavioral Adapters
Author :
Mooij, Arjan J. ; Voorhoeve, Marc
Author_Institution :
Dept. of Math. & Comput. Sci., Tech. Univ. Eindhoven, Eindhoven, Netherlands
Abstract :
Adapters are used to establish proper interaction between systems that have been developed independently. We study an approach for generating behavioral adapters, and propose some substantial improvements regarding the computation time and the complexity of the result. The key insight is to eliminate and introduce concurrency at appropriate places in the generation process. Finally we discuss how our modifications affect the behavior of the generated adapters.
Keywords :
computational complexity; concurrency control; behavioral adapters; concurrency; generation process; Application software; Automata; Automatic control; Automatic generation control; Communication system control; Computer science; Concurrent computing; Engines; Mathematics; System recovery;
Conference_Titel :
Application of Concurrency to System Design, 2009. ACSD '09. Ninth International Conference on
Conference_Location :
Augsburg
Print_ISBN :
978-0-7695-3697-2
DOI :
10.1109/ACSD.2009.13
