INPUT/OUTPUT AUTóMATAS COMO LENGUAJE DE DEFINICIóN DE ARQUITECTURAS

an architectural description language (adl) must be able to model software components, connectors and configurations with a series of well defined characteristics. input/output automata (ioa) were not created as an adl but as a specification language for asinchronoust concurrent systems. in this paper we show how ioa can be used as an adl with multiple advantages.