DocumentCode
1954580
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
fYear
2009
fDate
1-3 July 2009
Firstpage
109
Lastpage
118
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2009. ACSD '09. Ninth International Conference on
Conference_Location
Augsburg
ISSN
1550-4808
Print_ISBN
978-0-7695-3697-2
Type
conf
DOI
10.1109/ACSD.2009.13
Filename
5291054
Link To Document