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

Un lenguaje de descripción de arquitecturas (ADL) debe ser capaz de modelar componentes, conectores y configuraciones de software con una serie de características. Los Input/Output Autómatas (IOA) no fueron creados como un ADL sino como un lenguaje para especificación de sistemas concurrentes asincrónicos. Este artículo muestra cómo IOA puede también ser usado como ADL con múltiples ventajas. 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.