Resumen de Inut/output autómatas como lenguaje de definición de arquitecturas

María Cecilia Bastarrica, David Gómez, Cristian Wilckens

• 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.