Trading Off Concurrency to Generate Behavioral Adapters

Autor:	Marc Voorhoeve, Arjan J. Mooij
Rok vydání:	2009
Předmět:	Concurrency control Automatic Generation Control Computer science Distributed computing Concurrency Key (cryptography) Concurrent computing Petri net Application software computer.software_genre computer Automaton
Zdroj:	ACSD
DOI:	10.1109/acsd.2009.13
Popis:	Adapters are used to establish proper interaction betweensystems that have been developed independently. We study anapproach for generating behavioral adapters, and proposesome substantial improvements regarding the computationtime and the complexity of the result. The key insight is toeliminate and introduce concurrency at appropriate placesin the generation process. Finally we discuss how ourmodifications affect the behavior of the generated adapters.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5ebd318f36ae0d9a37459d02ed533d82 https://doi.org/10.1109/acsd.2009.13 Zobrazit plný text záznamu