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

• Autores: María Cecilia Bastarrica, David Gómez, Cristian Wilckens
• Localización: Revista de la Facultad de Ingeniería - Universidad de Tarapacá, ISSN-e 0718-1337, ISSN 0717-1072, Vol. 13, Nº. 1, 2005, págs. 77-88
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen

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